http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60485
Bug ID: 60485 Summary: field-sensitive points-to confused by pointer offsetting Product: gcc Version: 4.9.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: rguenth at gcc dot gnu.org extern void abort (void); struct S { int *i[4]; int *p1; int *p2; int *p3; int *p4; }; int **b; int main() { int i = 1; struct S s; s.p3 = &i; int **p; if (b) p = b; else p = &s.i[2]; p += 4; if (!b) **p = 0; if (i != 0) abort (); return i; }