|
111
|
1 /* { dg-do compile } */
|
|
|
2 /* { dg-options "-O2 -fdisable-tree-evrp -fdump-tree-vrp1" } */
|
|
|
3
|
|
|
4 struct A
|
|
|
5 {
|
|
|
6 int a;
|
|
|
7 int b;
|
|
|
8 };
|
|
|
9
|
|
|
10 int
|
|
|
11 foo (struct A *p, struct A *q)
|
|
|
12 {
|
|
|
13 int *r = 0;
|
|
|
14
|
|
|
15 if (p)
|
|
|
16 {
|
|
|
17 if (p == q)
|
|
|
18 {
|
|
|
19 /* This should be folded to 'if (1)' because q is [p, p]
|
|
|
20 and p is ~[0, 0]. */
|
|
|
21 if (q)
|
|
|
22 r = &q->a;
|
|
|
23
|
|
|
24 /* This should be folded to 'if (1)' because q should be
|
|
|
25 ~[0, 0] and thus &q->a should be ~[0, 0]. */
|
|
|
26 if (r)
|
|
|
27 return 5;
|
|
|
28 }
|
|
|
29 }
|
|
|
30
|
|
|
31 return q->a;
|
|
|
32 }
|
|
|
33
|
|
|
34 /* { dg-final { scan-tree-dump-times "Folding predicate q_.*to 1" 1 "vrp1" } } */
|
|
|
35 /* { dg-final { scan-tree-dump-times "Folding predicate r_.*to 1" 1 "vrp1" } } */
|
