https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113707
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- It shows two issues. One we do too many LC-SSA preserving avails, the other that eliminate_avail can result in different answers for the same name dependent on later avails - that's of course not OK.