https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88936
--- Comment #12 from Richard Biener <rguenth at gcc dot gnu.org> --- Created attachment 46146 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=46146&action=edit final fix I am testing the following now which should do less work (but waste more UIDs to be less conservative). The ipa-pta-3.c testcase is no longer affected, we're more optimistically identifying candidates by just looking at a variables function parameter solutions and globals for locals recursively reaching a function.