1  /* { dg-do compile } */
       2  /* { dg-skip-if "" { *-*-* } { "-O0" } { "" } } */
       3  /* { dg-additional-options "-fdump-tree-fre1" } */
       4  
       5  int x;
       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" } } */