1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-vrp1-blocks-vops-details -fdelete-null-pointer-checks" } */
3 
4 void arf (void);
5 
6 void
fu(char * p,int x)7 fu (char *p, int x)
8 {
9   if (x)
10    *p = 69;
11   if (p)
12     arf ();
13 }
14 
15 /* { dg-final { scan-tree-dump-times "Threaded jump" 1 "vrp1" { target { ! keeps_null_pointer_checks } } } } */
16 /* { dg-final { scan-tree-dump-times "Threaded jump" 0 "vrp1" { target {   keeps_null_pointer_checks } } } } */
17 
18