[Bug ipa/97403] New: Ancestor jump function should be generalized

[hubicka at gcc dot gnu.org via Gcc-bugs]

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

            Bug ID: 97403
           Summary: Ancestor jump function should be generalized
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ipa
          Assignee: unassigned at gcc dot gnu.org
          Reporter: hubicka at gcc dot gnu.org
                CC: marxin at gcc dot gnu.org
  Target Milestone: ---

In the following we should be able to propagate through test in ipa-cp, but we
are not.

struct foo {int bar};
__attribute__ ((noinline))
test2(int *p)
{ 
  return *p;
}
__attribute__ ((noinline))
test (struct foo *array)
{ 
  return test2 (&array[4].bar);
}
main()
{ 
  const struct foo array[5]={{1},{2},{3},{4},{5}};
  test(array);
}