/* { dg-do run } */
/* { dg-options "-O2" } */

static int cnt = 0;

#define LL_MIN ((long long)(-__LONG_LONG_MAX__ - 1))

#define SC1 (LL_MIN + 5)
#define UC1 ((1ULL << (__LONG_LONG_WIDTH__ - 1)) | 5ULL)
#define UC2 (~UC1)

long long __attribute__ ((noinline, noclone))
f1 (long long a)
{
  long long x;
  if (__builtin_add_overflow (a, SC1, &x)) cnt++;
  return x;
}

unsigned long long __attribute__ ((noinline, noclone))
f2 (unsigned long long a)
{
  unsigned long long x;
  if (__builtin_add_overflow (a, UC1, &x))
    cnt++;
  return x;
}

int main ()
{
  if (f1 (-5) != LL_MIN) __builtin_abort ();
  if (cnt != 0) __builtin_abort ();
  f1 (-6);
  if (cnt != 1) __builtin_abort ();
  cnt = 0;
  if (f2 (UC2) != ~0ULL) __builtin_abort ();
  if (cnt != 0) __builtin_abort ();
  if (f2 (UC2 + 1) != 0) __builtin_abort ();
  if (cnt != 1) __builtin_abort ();
  return 0;
}