1 /* { dg-do run } */ 2 /* { dg-options "-O2 -fgimple" } */ 3 4 __attribute__((noipa)) 5 void __GIMPLE (ssa,startwith("evrp")) foo(int x,int minus_1)6foo (int x, int minus_1) 7 { 8 int tem; 9 unsigned int _1; 10 unsigned int _2; 11 12 __BB(2): 13 tem_4 = minus_1_3(D); 14 tem_5 = tem_4 + 2; 15 _1 = (unsigned int) x_6(D); 16 _2 = _1 + 2147483647u; 17 if (_2 > 1u) 18 goto __BB3; 19 else 20 goto __BB6; 21 22 __BB(3): 23 if (x_6(D) <= tem_5) 24 goto __BB4; 25 else 26 goto __BB6; 27 28 __BB(4): 29 if (x_6(D) > 5) 30 goto __BB5; 31 else 32 goto __BB6; 33 34 __BB(5): 35 __builtin_exit (0); 36 37 __BB(6): 38 return; 39 40 } 41 42 int main()43main() 44 { 45 foo (10, 100); 46 __builtin_abort (); 47 } 48