gcc/testsuite/gcc.dg/pr101938.c

   1 // { dg-do run }
   2 // { dg-require-effective-target lp64 }
   3 // { dg-options "-O2 -fwrapv" }
   4
   5 typedef long long int int64;
   6 #define INT64CONST(x) (x##LL)
   7 /* -9223372036854775808ULL */
   8 #define INT64_MIN (-INT64CONST(0x7FFFFFFFFFFFFFFF) - 1)
   9
  10 static void __attribute__((noipa)) foo(int64 arg1, int64 arg2) {
  11   int64 a1 = -arg1;
  12   int64 a2 = (arg2 < 0) ? arg2 : -arg2;
  13
  14   if (a1 > a2) {
  15     int64 swap = arg1;
  16     arg1 = arg2;
  17     arg2 = swap;
  18   }
  19
  20   if (arg1 == INT64_MIN && arg2 == -1) return;
  21
  22   __builtin_abort();
  23 }
  24
  25 int main() {
  26   foo(-1, INT64_MIN);
  27   return 0;
  28 }