1 /* { dg-do compile } */
2 /* { dg-skip-if "" { *-*-* } { "-O0" } { "" } } */
3 /* { dg-additional-options "-fdump-tree-fre1" } */
4 
5 int x;
main()6 int main()
7 {
8   x = 0;
9   int z = x;
10   int w = 1;
11   for (int i = 0; i < 32; ++i)
12     {
13       if (z)
14 	w = 2;
15       else
16 	w = 1;
17       if (w == 2)
18 	__builtin_abort ();
19     }
20   return w;
21 }
22 
23 /* { dg-final { scan-tree-dump-not "abort" "fre1" } } */
24