https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105458
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Last reconfirmed| |2022-05-03 CC| |aldyh at gcc dot gnu.org, | |amacleod at redhat dot com Ever confirmed|0 |1 Target Milestone|--- |12.0 Status|UNCONFIRMED |NEW Keywords| |ice-checking --- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- Confirmed. There is the unfolded t3_t > t3_6 which eventually makes us run into the assert. We shouldn't assert that everything is correctly folded so we have to be forgiving here (maybe just not registering anything here). It might be that when setting name1 == name2 that we'd run into compile-time issues. Andrew should know how to avoid this ICE best. <bb 3> [local count: 117688337]: _7 = t3_6 > t3_6; _8 = t3_6 == j4_5(D); _9 = _8 | _7; if (_9 != 0) goto <bb 4>; [7.19%] else goto <bb 10>; [92.81%]