https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97403

--- Comment #1 from Jan Hubicka <hubicka at ucw dot cz> ---
In general it seems to me that ancestor fuction does not serve much use:
it could be replaced by passthrough with POINTER_PLUS parameter and
handle same information.

However it may make sense to have special prupose pointer jump function
that can be used to reprsent more pointer specific stuff.  One thing
that would be useful for modref is to keep information that base pointer
is parameter even though the offset is unknown. Such as in

int c;
foo(int *a)
{
   bar(a+c);
}

Reply via email to