1  int foo (int b)
       2  {
       3    if (b == (int)0x80000000)
       4      return __builtin_abs (b);
       5    return 0;
       6  }