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


1
2
3
4
5
6
7
8
9
10
11
12
13
14

/* { dg-do compile } */
/* { dg-options "-O1 -ftree-vrp -fdump-tree-vrp-alias" } */

signed char arr[240];
void foo (void)
{

  unsigned short i, length = 200;

  for (i = 1; (int)i < (length - 1); i++)
    arr[i] = -1;
}

/* { dg-final { scan-tree-dump-not "RANGE \\\[0, 65535\\\]" "vrp1" } } */