https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109732
--- Comment #10 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Created attachment 54998 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54998&action=edit Gimple testcase that fails at runtime too -O1 -fgimple -fdisable-tree-ethread -fdisable-tree-fre1 The thing is you need the false edge to be the first successor edge of BB2. So you have to get forwprop to swap the edges from being true and false. Also gimple front-end does not like bool constants that well.
