------- Comment #3 from rguenth at gcc dot gnu dot org 2006-07-25 13:43 ------- Simpler testcase:
void foo(int* dest) { for (;;) *(volatile int *)dest = *(volatile int *)dest; } .066.crited: # SMT.4_3 = PHI <SMT.4_4(2), SMT.4_5(3)>; <L0>:; # VUSE <SMT.4_3>; D.1990_2 = *dest_1; # SMT.4_5 = V_MAY_DEF <SMT.4_3>; *dest_1 = D.1990_2; goto <bb 3> (<L0>); -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28479