1  /* { dg-do run } */
       2  /* { dg-additional-options "-fno-tree-scev-cprop" } */
       3  
       4  unsigned char c;
       5  void __attribute__((noipa))
       6  e()
       7  {
       8    do
       9      {
      10      }
      11    while (++c);
      12  }
      13  int main()
      14  {
      15    e();
      16    if (c != 0)
      17      __builtin_abort ();
      18    return 0;
      19  }