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