https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94675
Jeffrey A. Law <law at redhat dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |law at redhat dot com
--- Comment #7 from Jeffrey A. Law <law at redhat dot com> ---
Backwards jump threading (where we'd like to handle this) doesn't handle the
cast assignment (and assignments in general). I've hesitated adding this
capability because it'll duplicate a lot of the work done by Ranger.
So the threadable path is left in the IL when VRP1 runs, thus generating the
false positive. I'd really like to see those warnings move out of VRP, or at
least deferred until VRP2 where the dead paths have been cleaned up.
