https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94675
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed|2020-04-21 00:00:00 |2023-5-14
--- Comment #25 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Hmm,
At VRP, we have:
_6 = &c + _2;
We know after that statement, _2 should have a range of [0,1] because we know
the size of _6 is 1 byte. If we use that information afterwards, VRP should be
able to optimize the rest.
