int main (void)
{
  int a = 0x7fffffff + x;
  int b = 0x7fffffff + y;
  int f = (unsigned int) a >= (unsigned int) b;
  if ( f != 1 ) { __builtin_abort(); }
  return 0;
}


/*
% clang-3.9 test.c -O1
% ./a.out             
zsh: abort      ./a.out

% clang-3.9 -v
clang version 3.9.0 (trunk 259289)
Target: x86_64-apple-darwin14.5.0
Thread model: posix
*/