[Bug tree-optimization/90437] Overflow detection too late for VRP

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90437

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
   Target Milestone|---                         |12.0
             Status|NEW                         |RESOLVED

--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Fixed on the trunk in EVRP even:
Predicate evaluates to: DON'T KNOW
Not folded
Folding statement: _1 = a_3(D) + b_4(D);
 Registering value_relation (_1 >= a_3(D)) (bb6) at _1 = a_3(D) + b_4(D);
 Registering value_relation (_1 >= b_4(D)) (bb6) at _1 = a_3(D) + b_4(D);
Not folded
Folding statement: *c_6(D) = _1;
Not folded
Folding statement: _8 = _1 < a_3(D);
 folding with relation _1 >= a_3(D)
Queued stmt for removal.  Folds to: 0
Folding statement: return _8;
Folded into: return 0;