https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92131
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |8.4
Summary|incorrect assumption that |[8/9/10 Regression]
|(ao >= 0) is always false |incorrect assumption that
| |(ao >= 0) is always false
--- Comment #16 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
At least on the #c0 testcase with -O2 this started with r254954, but has been
latent before (as in, I believe intersection with a non-VARYING range and these
, sym - 1 upper bound would run into the same issue).
I'm afraid I'm not familiar with symbolic handling in VRP enough, so will not
work on this PR further and will defer to those that are familiar with it.
