1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-vrp1 -fdelete-null-pointer-checks" } */
3
4 struct A
5 {
6 int a;
7 int b;
8 };
9
10 int
foo(struct A * p,struct A * q)11 foo (struct A *p, struct A *q)
12 {
13 int x = p->a;
14 if (p == q)
15 return q->a;
16
17 /* We should fold this to 'if (1)' but the assertion for 'p == q'
18 was overwriting the assertion 'p != 0' from the first dereference
19 of 'p'. */
20 if (p)
21 return x + p->b;
22 }
23 /* Target disabling -fdelete-null-pointer-checks should not fold check */
24 /* { dg-final { scan-tree-dump-times "Folding predicate p_.*to 1" 1 "vrp1" { target { ! keeps_null_pointer_checks } } } } */
25 /* { dg-final { scan-tree-dump-times "Folding predicate p_.*to 1" 0 "vrp1" { target { keeps_null_pointer_checks } } } } */
26