https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93917
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2020-02-25
Blocks| |85316
Ever confirmed|0 |1
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
VRP indeed doesn't start with SSA_NAME_RANGE_INFOs range but with UNDEF
and if not "interesting" it sets defs to varying which doesn't retain
the IL present range either.
Referenced Bugs:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
[Bug 85316] [meta-bug] VRP range propagation missed cases
