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