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
foo(int a)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" } } */
21