// { dg-do run }
// { dg-require-effective-target lp64 }
// { dg-options "-O2 -fwrapv" }

typedef long long int int64;
#define INT64CONST(x) (x##LL)
/* -9223372036854775808ULL */
#define INT64_MIN (-INT64CONST(0x7FFFFFFFFFFFFFFF) - 1)

static void __attribute__((noipa)) foo(int64 arg1, int64 arg2) {
  int64 a1 = -arg1;
  int64 a2 = (arg2 < 0) ? arg2 : -arg2;

  if (a1 > a2) {
    int64 swap = arg1;
    arg1 = arg2;
    arg2 = swap;
  }

  if (arg1 == INT64_MIN && arg2 == -1) return;

  __builtin_abort();
}

int main() {
  foo(-1, INT64_MIN);
  return 0;
}