1 /* { dg-do run } */
2 /* { dg-additional-options "-fwrapv" } */
3 
4 static void __attribute__((noinline,noclone))
func(void)5 func(void)
6 {
7   signed char c = 0;
8 
9   for(; c >= 0; c++);
10 
11   if(c != -128)
12     __builtin_abort();
13 }
14 
main(int argc,char * argv[])15 int main(int argc, char* argv[])
16 {
17   func();
18   return 0;
19 }
20