1  /* { dg-do run } */
       2  /* { dg-options "-O2" } */
       3  
       4  static int cnt = 0;
       5  
       6  #define LL_MIN ((long long)(-__LONG_LONG_MAX__ - 1))
       7  
       8  #define SC1 (LL_MIN + 5)
       9  #define UC1 ((1ULL << (__LONG_LONG_WIDTH__ - 1)) | 5ULL)
      10  #define UC2 (~UC1)
      11  
      12  long long __attribute__ ((noinline, noclone))
      13  f1 (long long a)
      14  {
      15    long long x;
      16    if (__builtin_add_overflow (a, SC1, &x)) cnt++;
      17    return x;
      18  }
      19  
      20  unsigned long long __attribute__ ((noinline, noclone))
      21  f2 (unsigned long long a)
      22  {
      23    unsigned long long x;
      24    if (__builtin_add_overflow (a, UC1, &x))
      25      cnt++;
      26    return x;
      27  }
      28  
      29  int main ()
      30  {
      31    if (f1 (-5) != LL_MIN) __builtin_abort ();
      32    if (cnt != 0) __builtin_abort ();
      33    f1 (-6);
      34    if (cnt != 1) __builtin_abort ();
      35    cnt = 0;
      36    if (f2 (UC2) != ~0ULL) __builtin_abort ();
      37    if (cnt != 0) __builtin_abort ();
      38    if (f2 (UC2 + 1) != 0) __builtin_abort ();
      39    if (cnt != 1) __builtin_abort ();
      40    return 0;
      41  }