1 /* { dg-do compile } */
2 /* { dg-skip-if "" { *-*-* } { "-O0" } { "" } } */
3 /* { dg-additional-options "-fstrict-aliasing -fdump-tree-fre1" } */
4 
5 float f;
foo(int * p,int * q)6 int foo(int *p, int *q)
7 {
8   *p = 0;
9   if (*p)
10     *q = 1;
11   else
12     f = 8.0f;
13   return *p;
14 }
15 
16 /* { dg-final { scan-tree-dump "return 0;" "fre1" } } */
17