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