1 /* { dg-do run } */
2 /* { dg-options "-fdump-tree-ealias -Wno-attributes" } */
3 /* { dg-skip-if "" { *-*-* } { "-O0" } { "" } } */
4
5 struct X
6 {
7 long l1;
8 struct Y
9 {
10 long l2;
11 int *p;
12 } y;
13 };
14 int i;
15 static int __attribute__((always_inline))
foo(struct X * x)16 foo (struct X *x)
17 {
18 struct Y y = x->y;
19 /* In the inlined instance the dereferenced pointer needs to point to i. */
20 *y.p = 0;
21 i = 1;
22 return *y.p;
23 }
24 extern void abort (void);
main()25 int main()
26 {
27 struct X x;
28 x.y.p = &i;
29 if (foo(&x) != 1)
30 abort ();
31 return 0;
32 }
33
34 /* { dg-final { scan-tree-dump "y.* = { i }" "ealias" } } */
35 /* { dg-final { scan-tree-dump "y.*, points-to vars: { D..... }" "ealias" } } */
36