1  /* { dg-do compile } */
       2  /* { dg-options "-fdump-tree-gimple -Wno-int-to-pointer-cast" } */
       3  
       4  #include <stdint.h>
       5  
       6  void f1();
       7  void f2();
       8  
       9  void
      10  foo (int a)
      11  {
      12    if ((int *) a == 0)
      13      {
      14        f1 ();
      15        if (a)
      16  	f2 (); 
      17      }
      18  }
      19  
      20  /* { dg-final { scan-tree-dump "if \\(a == 0\\)" "gimple" } } */