https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100263
--- Comment #4 from Stefan Schulze Frielinghaus <stefansf at linux dot ibm.com> --- You are right. I got lured by the fact that the assignments c__lsm.20_94 = 1; and c__lsm_flag.21_95 = 1; of bb5 are "moved" into the PHI as e.g. # c__lsm.20_51 = PHI <c__lsm.20_50(41), 1(5)> # c__lsm_flag.21_53 = PHI <c__lsm_flag.21_52(41), 1(5)> I will have a look at the RTL output then.