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); }