https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116057
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Priority|P3 |P2 Summary|[12/13/14/15 Regression] |[12/13/14 Regression] SLP |SLP can introduces |can introduces partialized |partialized unintialized |unintialized vectors |vectors | Known to work| |15.0 --- Comment #13 from Richard Biener <rguenth at gcc dot gnu.org> --- This fixed the CCP issue. I think there's a SLP issue as well in that it inserts the uninit use where it wasn't used before. Ideally we'd insert this invariant only on the edge 3->4 - I will see if I can fix that as well.