gcc/testsuite/gcc.c-torture/compile/abs.c

foo (a)
{
  return __builtin_abs (a);
}

main ()
{
  printf ("%d %d\n", foo (0x80000000), foo (12));
}