https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116747
--- Comment #7 from Andrew Pinski <pinskia at gcc dot gnu.org> --- So reading the code: Check that there are no read-after-write or write-after-write dependencies in THEN_BB. /* Check that there are no read-after-write or write-after-write dependencies in ELSE_BB. */ Should have caught this case but for some reason it is not.