1 /* { dg-do run } */
2 /* { dg-options "-fdump-tree-alias" } */
3 /* { dg-skip-if "" { *-*-* } { "-O0" "-fno-fat-lto-objects" } { "" } } */
4
5 extern void abort (void);
6 struct X {
7 int *p;
8 int *q;
9 int *r;
10 };
11 int __attribute__((noinline))
foo(int i,int j,int k,__SIZE_TYPE__ off)12 foo(int i, int j, int k, __SIZE_TYPE__ off)
13 {
14 struct X x;
15 int **p, *q;
16 x.p = &i;
17 x.q = &j;
18 x.r = &k;
19 p = &x.q;
20 p += off;
21 /* *p points to { i, j, k } */
22 q = *p;
23 return *q;
24 }
main()25 int main()
26 {
27 if (foo(1, 2, 3, -1) != 1)
28 abort ();
29 if (foo(1, 2, 3, 0) != 2)
30 abort ();
31 if (foo(1, 2, 3, 1) != 3)
32 abort ();
33 return 0;
34 }
35
36 /* { dg-final { scan-tree-dump "q_\[0-9\]* = { i j k }" "alias" } } */
37