https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99755
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
Blocks| |85316
Status|UNCONFIRMED |NEW
Last reconfirmed| |2021-03-25
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed. We have no good notion of predicate combinations, their "range" or
how other ranges depend on predicates.
It would be interesting to see how LLVM arrives at a folded f2().
Referenced Bugs:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
[Bug 85316] [meta-bug] VRP range propagation missed cases
