1 /* { dg-do run } */
2 /* { dg-options "-fdump-tree-alias" } */
3 /* { dg-skip-if "" { *-*-* } { "-O0" "-fno-fat-lto-objects" } { "" } } */
4
5 typedef __INTPTR_TYPE__ intptr_t;
6
7 int i;
8 void __attribute__((noinline))
foo(long b,intptr_t q)9 foo(long b, intptr_t q)
10 {
11 int *y;
12 int **a = &y, **x;
13 int ***p;
14 if (b)
15 p = (int ***)q;
16 else
17 p = &a;
18 x = *p;
19 *x = &i; /* *ANYTHING = &i has to make sure that y points to i. */
20 *y = 0;
21 }
22 extern void abort (void);
main()23 int main()
24 {
25 i = 1;
26 foo (0, 0);
27 if (i != 0)
28 abort ();
29 return 0;
30 }
31
32 /* { dg-final { scan-tree-dump "y.._. = { i }" "alias" } } */
33 /* { dg-final { scan-tree-dump "y.._., points-to NULL, points-to vars: { D..... }" "alias" } } */
34