|
111
|
1 /* { dg-do compile } */
|
|
|
2 /* { dg-options "-fdump-tree-gimple" } */
|
|
|
3
|
|
|
4 struct f
|
|
|
5 {
|
|
|
6 int i;
|
|
|
7 int j;
|
|
|
8 };
|
|
|
9
|
|
|
10 struct g
|
|
|
11 {
|
|
|
12 int i;
|
|
|
13 struct f j;
|
|
|
14 struct f *k;
|
|
|
15 };
|
|
|
16
|
|
|
17 int foo(struct f *x, struct f *y)
|
|
|
18 {
|
|
|
19 return &x->j == &y->j; /* x == y */
|
|
|
20 }
|
|
|
21
|
|
|
22 struct f y;
|
|
|
23 int bar(struct f *x)
|
|
|
24 {
|
|
|
25 return &x->j == &y.j; /* x == &y */
|
|
|
26 }
|
|
|
27
|
|
|
28 struct g yy;
|
|
|
29 int foobar(struct g *x)
|
|
|
30 {
|
|
|
31 return &x->j.i == &yy.j.i; /* x == &yy */
|
|
|
32 }
|
|
|
33 int foobar2(struct g *x)
|
|
|
34 {
|
|
|
35 return &x->k->i == &yy.k->i; /* x->k == yy.k */
|
|
|
36 }
|
|
|
37
|
|
|
38 /* { dg-final { scan-tree-dump-times "x == y" 1 "gimple" } } */
|
|
|
39 /* { dg-final { scan-tree-dump-times "x == &y" 2 "gimple" } } */
|
|
|
40 /* { dg-final { scan-tree-dump "x->k" "gimple" } } */
|
|
|
41 /* { dg-final { scan-tree-dump "yy.k" "gimple" } } */
|
