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
      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" } } */