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" } } */