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
fk(unsigned int sf)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 }
23