1 /* { dg-do compile } */ 2 /* { dg-options "-O2 -fdump-tree-vrp1" } */ 3 4 unsigned char c[0xFF]; f(void)5void 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" } } */ 20