1 /* { dg-do compile } */
2 /* { dg-options "-O1 -ftree-vrp -fdump-tree-vrp-alias" } */
3 
4 signed char arr[240];
foo(void)5 void 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