| /* { dg-do run } */ |
| |
| struct S { int s; ~S () {} } s; |
| |
| void __attribute__((noipa)) |
| foo (int flag) |
| { |
| s.s = 1; |
| // We have to makes sure to not make the inlined CLOBBER |
| // unconditional but we have to remove it to be able |
| // to elide the branch |
| if (!flag) |
| return; |
| s.~S(); |
| } |
| |
| void __attribute__((noipa)) |
| bar (int flag) |
| { |
| s.s = 1; |
| // CD-DCE chooses an arbitrary path, try to present it |
| // with all variants |
| if (flag) |
| s.~S(); |
| } |
| |
| int |
| main () |
| { |
| foo (0); |
| if (s.s != 1) |
| __builtin_abort (); |
| bar (0); |
| if (s.s != 1) |
| __builtin_abort (); |
| return 0; |
| } |
