1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-ccp1-details" } */
3 
4 #include <stdint.h>
5 
6 void f1();
7 void f2();
8 
9 void
foo(int * a)10 foo (int *a)
11 {
12   int cst = 0;
13   if ((intptr_t) a == cst)
14     {
15       f1 ();
16       if (a)
17 	f2 ();
18     }
19 }
20 
21 /* { dg-final { scan-tree-dump "gimple_simplified to if \\(a_\[0-9\]*\\(D\\) == 0B\\)" "ccp1" } } */
22