| // { dg-do compile } | |
| // { dg-options "-O2 -fdump-tree-cddce1" } | |
| struct Bar | |
| { | |
| int i; | |
| ~Bar() { } | |
| }; | |
| void bar_dtor_loop(Bar* p, unsigned int n) | |
| { | |
| if (p) { | |
| Bar* e = p + n; | |
| while (e > p) { | |
| --e; | |
| e->~Bar(); | |
| } | |
| } | |
| } | |
| // The clobber in ~Bar should persist but those inlined into | |
| // bar_dtor_loop not, nor should the loop therein | |
| // { dg-final { scan-tree-dump-times "CLOBBER" 1 "cddce1" } } | |
| // { dg-final { scan-tree-dump-times "if" 0 "cddce1" } } |