https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125513
Drea Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |17.0
Blocks| |85316
--- Comment #1 from Drea Pinski <pinskia at gcc dot gnu.org> ---
How is _72 defined?
Why did fhe ranger not figure it out is nonnegative on its own?
That is what logic in gimple_stmt_nonnegative_p figures out that fact but the
ranger does not have.
Referenced Bugs:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
[Bug 85316] [meta-bug] VRP range propagation missed cases
