1  /* Ensure we don't ICE when tracking optimization record scopes within
       2     the vectorizer.  */
       3  /* { dg-do compile } */
       4  /* { dg-options "-O1 -fsave-optimization-record -ftree-vectorize -fno-tree-scev-cprop -fno-tree-sink" } */
       5  
       6  void
       7  fk (unsigned int sf)
       8  {
       9    for (;;)
      10      {
      11        if (sf != 0)
      12          {
      13            while (sf != 0)
      14              ++sf;
      15  
      16            while (sf < 8)
      17              ++sf;
      18          }
      19  
      20        ++sf;
      21      }
      22  }