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