https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94675
--- Comment #8 from rguenther at suse dot de <rguenther at suse dot de> --- On Tue, 21 Apr 2020, law at redhat dot com wrote: > 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. We've moved the warning to VRP1 only because at VRP2 time all the loop opts have been run and esp. unrolling is prone to "thread" unreachable cases.
