https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111591
--- Comment #30 from Richard Biener <rguenth at gcc dot gnu.org> --- Created attachment 56175 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56175&action=edit prototype patch This is an (untested) fix, API wise needs some cleanup still. It's the most simple fix that doesn't completely give up on TBAA.
