1  // { dg-do compile }
       2  // { dg-options "-O2 -fno-tree-fre" }
       3  
       4  double m;
       5  int n;
       6  
       7  void
       8  foo (void)
       9  {
      10    static double a[] = { 0.0 / 0.0, 0.0 };
      11    int i;
      12  
      13    for (i = 0; i < n; ++i)
      14      if (m >= a[i])
      15        __builtin_abort ();
      16  }