https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58821
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Resolution|--- |FIXED Known to work| |7.5.0 Status|NEW |RESOLVED --- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- This now works, at least GCC 7+. I believe we fix this up in if-conversion via is_cond_scalar_reduction & friends which was added 2014.