On Fri, Jan 29, 2021 at 4:30 PM Andrew MacLeod via Gcc-patches
wrote:
>
> Ranger spends a lot of time tracking pointer type ssa_names which are
> initialized to non-null, ie (a_2 = &foo). This turns out to be a waste
> of effort.
>
> Pointers can effectively have one of 3 values we care about: VA
Ranger spends a lot of time tracking pointer type ssa_names which are
initialized to non-null, ie (a_2 = &foo). This turns out to be a waste
of effort.
Pointers can effectively have one of 3 values we care about: VARYING,
[0,0], or [1, +INF]. If an ssa_name is globally [0,0] or [1, +INF],
