https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90949
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P3 |P2
CC| |rguenth at gcc dot gnu.org
Target Milestone|--- |9.2
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Hmm, non-nullness isn't properly tracked by PTA but I remember somebody added
computing pt.null from VRP. But before that PTA info was flow-insensitive
and thus we didn't have to be careful with propagating it. After this change
it _is_ now flow-sensitive and we at least have to reset null-ness info
(set pi->pt.null to 1). There's helpers to reset flow-sensitive info on
SSA names/stmts. And the issue is latent since the introduction of
{set,get}_ptr_nonnull.
