https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91789
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Severity|normal |enhancement
--- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
We have in evrp:
Registering value_relation (b_2(D) >= a_3(D)) on (2->4)
...
Relational : (b_2(D) >= a_3(D))
<bb 4> :
if (a_3(D) < 0)
goto <bb 5>; [INV]
else
goto <bb 6>; [INV]
4->5 (T) a_3(D) : int [-INF, -1]
4->6 (F) a_3(D) : int [0, +INF]
But then we don't update the value relationship for what we had for b_2 for the
branch where a_3 >= 0, we should also a range for b_2(D) of [0, +INF] for 4->6.
