https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85803
--- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> --- One possible mitigation would be to DFS walk the CFG to find the virtual operands "live" at CFG dead-ends (that includes endless loops, see PR104763) and handle those specially, requiring the ref_may_alias_global_p check for those. Note that the case of an endless loop is somewhat special since the store is dead there since there is no way to reach a load from that point with C standard methods.
