re PR tree-optimization/47155 (ccp caused miscompilation)
[platform/upstream/gcc.git] / gcc / testsuite / gcc.c-torture / execute / pr47155.c
1 /* PR tree-optimization/47155 */
2
3 unsigned int a;
4 static signed char b = -127;
5 int c = 1;
6
7 int
8 main (void)
9 {
10   a = b <= (unsigned char) (-6 * c);
11   if (!a)
12     __builtin_abort ();
13   return 0;
14 }