1 /* { dg-do run } */ 2 /* { dg-additional-options "-fwrapv" } */ 3 4 static void __attribute__((noinline,noclone)) func(void)5func(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[])15int main(int argc, char* argv[]) 16 { 17 func(); 18 return 0; 19 } 20