1 int s = 200; 2 int __attribute__((noinline)) foo(void)3 foo (void) 4 { 5 return (signed char) (s - 100) - 5; 6 } 7 int main(void)8 main (void) 9 { 10 if (foo () != 95) 11 abort (); 12 exit (0); 13 } 14