gcc/testsuite/gcc.c-torture/execute/20050410-1.c

void abort (void);
void exit (int);

int s = 200;
int __attribute__((noinline))
foo (void)
{
  return (signed char) (s - 100) - 5;
}
int
main (void)
{
  if (foo () != 95)
    abort ();
  exit (0);
}