1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
/* { dg-do run } */
/* { dg-options "-O0" } */
#include <limits.h>
#define ABS(x) (((x) >= 0) ? (x) : -(x))
#define DEF_TEST(TYPE) \
void foo_##TYPE (signed TYPE x, unsigned TYPE y){ \
TYPE t = ABS (x); \
if (t != y) \
__builtin_abort (); \
} \
DEF_TEST (char);
DEF_TEST (short);
DEF_TEST (int);
DEF_TEST (long);
int main ()
{
foo_char (SCHAR_MIN + 1, SCHAR_MAX);
foo_char (0, 0);
foo_char (-1, 1);
foo_char (1, 1);
foo_char (SCHAR_MAX, SCHAR_MAX);
foo_int (-1, 1);
foo_int (0, 0);
foo_int (INT_MAX, INT_MAX);
foo_int (INT_MIN + 1, INT_MAX);
foo_short (-1, 1);
foo_short (0, 0);
foo_short (SHRT_MAX, SHRT_MAX);
foo_short (SHRT_MIN + 1, SHRT_MAX);
foo_long (-1, 1);
foo_long (0, 0);
foo_long (LONG_MAX, LONG_MAX);
foo_long (LONG_MIN + 1, LONG_MAX);
return 0;
}
|