1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-vrp1" } */
       3  
       4  unsigned char c[0xFF];
       5  void f(void)
       6  {
       7    unsigned char i;
       8    c[128] = 128;
       9    i = 0;
      10    while (1)
      11    {
      12      /* This predicate should not be folded out.  */
      13      if (((signed char) i) < 0) break;
      14      c[i] = ' ';
      15      i++;
      16    }
      17  }
      18  
      19  /* { dg-final { scan-tree-dump-times "Folding predicate " 0 "vrp1" } } */