1  /* { dg-do compile } */
       2  /* { dg-additional-options "-funswitch-loops" } */
       3  
       4  int Get_Spline_Val_sp_0, Get_Spline_Val_k;
       5  double Get_Spline_Val_p, Get_Spline_Val_se_0_0_0;
       6  double *Get_Spline_Val_v;
       7  void Get_Spline_Val() {
       8    int i;
       9    for (;;)
      10      if (i > Get_Spline_Val_sp_0)
      11        Get_Spline_Val_k = Get_Spline_Val_se_0_0_0;
      12      else if (Get_Spline_Val_sp_0 == 1)
      13        Get_Spline_Val_v[Get_Spline_Val_k] = Get_Spline_Val_p;
      14  }