/* { dg-do run } */ | |
/* { dg-options "-O2 -fno-tree-sra -fipa-pta -fdump-ipa-pta2" } */ | |
struct X | |
{ | |
long l1; | |
struct Y | |
{ | |
long l2; | |
int *p; | |
} y; | |
}; | |
int i; | |
static int __attribute__((noinline)) | |
foo (struct X *x) | |
{ | |
struct Y y = x->y; | |
*y.p = 0; | |
i = 1; | |
return *y.p; | |
} | |
extern void abort (void); | |
int main() | |
{ | |
struct X x; | |
x.y.p = &i; | |
if (foo(&x) != 1) | |
abort (); | |
return 0; | |
} | |
/* { dg-final { scan-ipa-dump "y.\[0-9\]*\\\+\[0-9\]* = { i }" "pta2" } } */ |