1/* { dg-do run } */ 2/* { dg-options "-fsanitize=signed-integer-overflow -Wno-unused-variable -fno-sanitize-recover=signed-integer-overflow" } */ 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 12int 13main (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 return 0; 37} 38