1 /* { dg-do compile } */ 2 /* { dg-options "-O1 -ftree-vrp -fdump-tree-vrp-alias" } */ 3 4 signed char arr[240]; foo(void)5void foo (void) 6 { 7 8 unsigned short i, length = 200; 9 10 for (i = 1; (int)i < (length - 1); i++) 11 arr[i] = -1; 12 } 13 14 /* { dg-final { scan-tree-dump-not "RANGE \\\[0, 65535\\\]" "vrp1" } } */ 15