annotate gcc/testsuite/gcc.dg/tree-ssa/pta-ptrarith-2.c @ 152:2b5abeee2509

update gcc11
author anatofuz
date Mon, 25 May 2020 07:50:57 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* { dg-do compile } */
kono
parents:
diff changeset
2 /* { dg-options "-O2 -fno-tree-forwprop -fno-tree-ccp -fdump-tree-ealias" } */
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 extern void abort (void);
kono
parents:
diff changeset
5 struct X {
kono
parents:
diff changeset
6 int *p;
kono
parents:
diff changeset
7 int *q;
kono
parents:
diff changeset
8 int *r;
kono
parents:
diff changeset
9 };
kono
parents:
diff changeset
10 int __attribute__((noinline))
kono
parents:
diff changeset
11 foo(int i, int j, int k, int off)
kono
parents:
diff changeset
12 {
kono
parents:
diff changeset
13 struct X x;
kono
parents:
diff changeset
14 int **p, *q;
kono
parents:
diff changeset
15 x.p = &i;
kono
parents:
diff changeset
16 x.q = &j;
kono
parents:
diff changeset
17 x.r = &k;
kono
parents:
diff changeset
18 p = &x.q;
kono
parents:
diff changeset
19 p -= 1;
kono
parents:
diff changeset
20 /* *p points to { i } */
kono
parents:
diff changeset
21 q = *p;
kono
parents:
diff changeset
22 return *q;
kono
parents:
diff changeset
23 }
kono
parents:
diff changeset
24
kono
parents:
diff changeset
25 /* { dg-final { scan-tree-dump "q_. = { i }" "ealias" } } */