https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107709
--- Comment #3 from Andrew Macleod ---
we might be able to provide a lightweight ranger based query to determine if an
ssa_name is non-null in a block.. in fact.. we may not need anything special.
/* Create a new ranger instance and associate
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107709
--- Comment #2 from Andrew Macleod ---
(In reply to Richard Biener from comment #1)
> IVOPTs is usually quite careful with this and the infer of non-NULL from
> ptr + CST is new - that introduced a new undefinedness in GIMPLE. The
> workaround
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107709
Richard Biener changed:
What|Removed |Added
CC||jakub at gcc dot gnu.org
--- Comment #
