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