gcc/testsuite/gcc.dg/tree-ssa/loop-41.c

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