gcc/testsuite/c-c++-common/ubsan/overflow-negate-2.c

   1 /* { dg-do run } */
   2 /* { dg-options "-fsanitize=signed-integer-overflow -Wno-unused-variable" } */
   3
   4 #define SCHAR_MIN (-__SCHAR_MAX__ - 1)
   5 #define SHRT_MIN (-__SHRT_MAX__ - 1)
   6 #define INT_MIN (-__INT_MAX__ - 1)
   7 #define LONG_MIN (-__LONG_MAX__ - 1L)
   8 #define LLONG_MIN (-__LONG_LONG_MAX__ - 1LL)
   9
  10 #define CHECK(A, B) ({ if ((A) != (B)) __builtin_abort (); })
  11
  12 int
  13 main (void)
  14 {
  15   volatile signed char c = -SCHAR_MIN;
  16   CHECK (c, -128);
  17
  18   volatile short s = -SHRT_MIN;
  19   CHECK (s, -32768);
  20
  21   volatile int i = INT_MIN;
  22   i = -(unsigned) i;
  23   CHECK (i, -0x80000000);
  24
  25   volatile long int li = LONG_MIN;
  26   li = -(unsigned long) li;
  27 #if __LONG_MAX__ == 2147483647L
  28   CHECK (li, -0x80000000L);
  29 #elif __LONG_MAX__ == 9223372036854775807L
  30   CHECK (li, -0x8000000000000000L);
  31 #endif
  32
  33   volatile long long lli = LLONG_MIN;
  34   lli = -(unsigned long long) lli;
  35   CHECK (lli, -0x8000000000000000L);
  36
  37   return 0;
  38 }