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