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