On Tue, Mar 30, 2021 at 1:39 PM Erick Ochoa wrote:
>
> > If the global is module local we should initialize it with NULL, yes. If
> > it is
> > not module local it should be initialized with NONLOCAL (that's both what
> > should currently happen correctly - it's needed for non-field-sensitive in
> If the global is module local we should initialize it with NULL, yes. If it
> is
> not module local it should be initialized with NONLOCAL (that's both what
> should currently happen correctly - it's needed for non-field-sensitive init
> as well).
>
Awesome, thanks Richard! One more question:
On Tue, Mar 30, 2021 at 10:52 AM Erick Ochoa via Gcc wrote:
>
> Hi,
>
> I am looking at the points-to analysis in GCC and I found the
> following comment in tree-ssa-structalias.c:
>
> /* Collect field information. */
> if (use_field_sensitive
> && var_can_have_subvars (decl)
> /*
