https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68871
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |missed-optimization
Status|UNCONFIRMED |NEW
Last reconfirmed| |2015-12-14
Ever confirmed|0 |1
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
The issue here is that IPA "nonlocal" (during propagation) means not unit-local
while "nonlocal" in non-IPA PTA (and in the SSA name points-to info) means
not function-local. We "mix" both when translating IPA "nonlocal" to actual
points-to info.
The solution is to define a single terminology that covers both PTA and
IPA PTA which means separating IPA_NONLOCAL, NONLOCAL, IPA_ESCAPED and ESCAPED
and accordingly adjust pt query helpers.
We already have the global ipa_escaped set but don't yet have ipa_nonlocal
in struct pt_solution.
