1 /* { dg-do run } */ 2 /* { dg-additional-options "-fgimple" } */ 3 4 int __attribute__((noipa)) bar(int cond,int val)5__GIMPLE(ssa,startwith("dom")) bar(int cond, int val) 6 { 7 int i; 8 9 __BB(3): 10 if (0 != 0) 11 goto __BB6; 12 else 13 goto __BB2; 14 15 __BB(2): 16 if (cond_5(D) != 0) 17 goto __BB4; 18 else 19 goto __BB5; 20 21 __BB(4): 22 i_6 = val_2(D); 23 i_1 = val_2(D) > 0 ? i_6 : 0; 24 goto __BB5; 25 26 __BB(5): 27 i_3 = __PHI (__BB4: i_1, __BB2: 0); 28 return i_3; 29 30 __BB(6): 31 i_4 = 1; 32 i_9 = 2; 33 goto __BB2; 34 } 35 main()36int main() 37 { 38 if (bar (1, 1) != 1) 39 __builtin_abort (); 40 return 0; 41 } 42