https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102844
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |aldyh at gcc dot gnu.org --- Comment #13 from Richard Biener <rguenth at gcc dot gnu.org> --- Aldyh might also have stumbled over code avoiding to thread across a SSA definition. Ah - I guess the block is recorded as "forwarder" (block with just a condition we are able to thread through) but it becomes a non-"forwarder" because later a SSA definition is inserted but the actual threading code will not copy those stmts (or verify they impose no problem)?