1  /* { dg-do compile } */
       2  /* { dg-options "-O1 -ftree-loop-vectorize -fno-tree-dce -fno-tree-scev-cprop" } */
       3  
       4  int m;
       5  
       6  __attribute__ ((noinline, returns_twice)) void
       7  empty (void)
       8  {
       9  }
      10  
      11  void
      12  foo (void)
      13  {
      14    while (m < 1)
      15      {
      16        empty ();
      17        ++m;
      18      }
      19  }