[Bug tree-optimization/105458] [12/13 Regression] ICE in set_relation, at value-relation.cc:609

["rguenth at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

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%]