1 /* Verify that <stdint.h> is present and follows the C99 requirements.
2 If this test fails because of the header being missing on a
3 particular target, this indicates GCC has not been correctly
4 configured regarding what version of <stdint.h> to install or what
5 the <stdint.h> types are on that target. If GCC is wrapping a
6 system copy of the header and some tests fail because of bugs in
7 that copy, they should be fixed with fixincludes (and the bugs
8 reported to maintainer of that copy if still present in the latest
9 version). */
10 /* { dg-do compile } */
11 /* { dg-options "-std=iso9899:1999 -pedantic-errors -fhosted" } */
12
13 #include <limits.h>
14 #include <stdint.h>
15 /* This and the later SIG_ATOMIC_* tests should be appropriately
16 conditioned for any freestanding targets with no <signal.h>. */
17 #ifndef SIGNAL_SUPPRESS
18 #include <signal.h>
19 #endif
20
21 /* Note that some of these conditions assume two's complement and no
22 padding bits; GCC only supports two's complement, and no supported
23 target has padding bits in any integer type of the standard
24 widths. */
25 #define CHECK_SIGNED(TYPE) \
26 do { TYPE a; int b[(TYPE)-1 < 0 ? 1 : -1]; } while (0)
27 #define CHECK_UNSIGNED(TYPE) \
28 do { TYPE a; int b[(TYPE)-1 < 0 ? -1 : 1]; } while (0)
29 #define CHECK_WIDTH_EQUALS(TYPE, WIDTH) \
30 do { int a[sizeof(TYPE) * CHAR_BIT == (WIDTH) ? 1 : -1]; } while (0)
31 #define CHECK_WIDTH_AT_LEAST(TYPE, WIDTH) \
32 do { int a[sizeof(TYPE) * CHAR_BIT >= (WIDTH) ? 1 : -1]; } while (0)
33 #define CHECK_WIDTH_ORDER(TYPE1, TYPE2) \
34 do { int a[sizeof(TYPE2) >= sizeof(TYPE1) ? 1 : -1]; } while (0)
35 #define CHECK_EXPR_TYPE(TYPE, EXPR) \
36 do { __typeof__(EXPR) a; __typeof__((TYPE)0 + 0) *b = &a; } while (0)
37 #define UNSIGNED_MAX_COND(TYPE, EXPR) \
38 ((EXPR) == (TYPE)-1)
39 #define SIGNED_MIN_MAX_COND(TYPE, MIN, MAX) \
40 ((MIN) == -(MAX)-1 \
41 && ((MAX) & 1) \
42 && ((((MAX) >> 1) + 1) >> (sizeof(TYPE) * CHAR_BIT - 2)) == 1)
43 #define MIN_MAX_COND(TYPE, MIN, MAX) \
44 ((TYPE)-1 < 0 \
45 ? SIGNED_MIN_MAX_COND(TYPE, (MIN), (MAX)) \
46 : ((MIN) == 0 && UNSIGNED_MAX_COND(TYPE, (MAX))))
47 #define CHECK_SIGNED_LIMITS(TYPE, MIN, MAX) \
48 CHECK_SIGNED(TYPE); \
49 CHECK_EXPR_TYPE(TYPE, (MIN)); \
50 CHECK_EXPR_TYPE(TYPE, (MAX)); \
51 do { int a[SIGNED_MIN_MAX_COND(TYPE, (MIN), (MAX)) ? 1 : -1]; } while (0)
52 #define CHECK_SIGNED_LIMITS_2(TYPE, MIN, MAX, MINBD, MAXBD) \
53 CHECK_SIGNED(TYPE); \
54 CHECK_EXPR_TYPE(TYPE, (MIN)); \
55 CHECK_EXPR_TYPE(TYPE, (MAX)); \
56 do { int a[(SIGNED_MIN_MAX_COND(TYPE, (MIN), (MAX)) \
57 && (MIN) <= (MINBD) \
58 && (MAX) >= (MAXBD)) ? 1 : -1]; } while (0)
59 #define CHECK_UNSIGNED_LIMITS(TYPE, MAX) \
60 CHECK_UNSIGNED(TYPE); \
61 CHECK_EXPR_TYPE(TYPE, (MAX)); \
62 do { int a[UNSIGNED_MAX_COND(TYPE, (MAX)) ? 1 : -1]; } while (0)
63 #define CHECK_UNSIGNED_LIMITS_2(TYPE, MAX, MAXBD) \
64 CHECK_UNSIGNED(TYPE); \
65 CHECK_EXPR_TYPE(TYPE, (MAX)); \
66 do { int a[(UNSIGNED_MAX_COND(TYPE, (MAX)) \
67 && (MAX) >= (MAXBD)) ? 1 : -1]; } while (0)
68 #define CHECK_LIMITS_2(TYPE, MIN, MAX, SMINBD, SMAXBD, UMAXBD) \
69 do { int a[(MIN_MAX_COND(TYPE, (MIN), (MAX)) \
70 && ((TYPE)-1 < 0 \
71 ? ((MIN) <= (SMINBD) && (MAX) >= (SMAXBD)) \
72 : (MAX) >= (UMAXBD))) ? 1 : -1]; } while (0)
73 #define CHECK_CONSTS(TYPE, MACRO) \
74 CHECK_EXPR_TYPE(TYPE, MACRO(01)); \
75 CHECK_EXPR_TYPE(TYPE, MACRO(2)); \
76 CHECK_EXPR_TYPE(TYPE, MACRO(0x3)); \
77 do { int a[(MACRO(12) == 12 \
78 && MACRO(012) == 012 \
79 && MACRO(0x12) == 0x12) ? 1 : -1]; } while (0);
80
81 void
test_exact(void)82 test_exact (void)
83 {
84 #ifdef INT8_MIN
85 CHECK_WIDTH_EQUALS(int8_t, 8);
86 CHECK_SIGNED_LIMITS(int8_t, INT8_MIN, INT8_MAX);
87 #else
88 CHECK_WIDTH_AT_LEAST(int_least8_t, 9);
89 #endif
90 #ifdef INT16_MIN
91 CHECK_WIDTH_EQUALS(int16_t, 16);
92 CHECK_SIGNED_LIMITS(int16_t, INT16_MIN, INT16_MAX);
93 #else
94 CHECK_WIDTH_AT_LEAST(int_least16_t, 17);
95 #endif
96 #ifdef INT32_MIN
97 CHECK_WIDTH_EQUALS(int32_t, 32);
98 CHECK_SIGNED_LIMITS(int32_t, INT32_MIN, INT32_MAX);
99 #else
100 CHECK_WIDTH_AT_LEAST(int_least32_t, 33);
101 #endif
102 #ifdef INT64_MIN
103 CHECK_WIDTH_EQUALS(int64_t, 64);
104 CHECK_SIGNED_LIMITS(int64_t, INT64_MIN, INT64_MAX);
105 #else
106 CHECK_WIDTH_AT_LEAST(int_least64_t, 65);
107 #endif
108 #ifdef UINT8_MAX
109 CHECK_WIDTH_EQUALS(uint8_t, 8);
110 CHECK_UNSIGNED_LIMITS(uint8_t, UINT8_MAX);
111 #else
112 CHECK_WIDTH_AT_LEAST(uint_least8_t, 9);
113 #endif
114 #ifdef UINT16_MAX
115 CHECK_WIDTH_EQUALS(uint16_t, 16);
116 CHECK_UNSIGNED_LIMITS(uint16_t, UINT16_MAX);
117 #else
118 CHECK_WIDTH_AT_LEAST(uint_least16_t, 17);
119 #endif
120 #ifdef UINT32_MAX
121 CHECK_WIDTH_EQUALS(uint32_t, 32);
122 CHECK_UNSIGNED_LIMITS(uint32_t, UINT32_MAX);
123 #else
124 CHECK_WIDTH_AT_LEAST(uint_least32_t, 33);
125 #endif
126 #ifdef UINT64_MAX
127 CHECK_WIDTH_EQUALS(uint64_t, 64);
128 CHECK_UNSIGNED_LIMITS(uint64_t, UINT64_MAX);
129 #else
130 CHECK_WIDTH_AT_LEAST(uint_least64_t, 65);
131 #endif
132 }
133
134 void
test_least(void)135 test_least (void)
136 {
137 CHECK_WIDTH_AT_LEAST(int_least8_t, 8);
138 CHECK_WIDTH_ORDER(int_least8_t, int_fast8_t);
139 CHECK_SIGNED_LIMITS(int_least8_t, INT_LEAST8_MIN, INT_LEAST8_MAX);
140 CHECK_WIDTH_AT_LEAST(int_least16_t, 16);
141 CHECK_WIDTH_ORDER(int_least16_t, int_fast16_t);
142 CHECK_SIGNED_LIMITS(int_least16_t, INT_LEAST16_MIN, INT_LEAST16_MAX);
143 CHECK_WIDTH_AT_LEAST(int_least32_t, 32);
144 CHECK_WIDTH_ORDER(int_least32_t, int_fast32_t);
145 CHECK_SIGNED_LIMITS(int_least32_t, INT_LEAST32_MIN, INT_LEAST32_MAX);
146 CHECK_WIDTH_AT_LEAST(int_least64_t, 64);
147 CHECK_WIDTH_ORDER(int_least64_t, int_fast64_t);
148 CHECK_SIGNED_LIMITS(int_least64_t, INT_LEAST64_MIN, INT_LEAST64_MAX);
149 CHECK_WIDTH_AT_LEAST(uint_least8_t, 8);
150 CHECK_WIDTH_ORDER(uint_least8_t, uint_fast8_t);
151 CHECK_UNSIGNED_LIMITS(uint_least8_t, UINT_LEAST8_MAX);
152 CHECK_WIDTH_AT_LEAST(uint_least16_t, 16);
153 CHECK_WIDTH_ORDER(uint_least16_t, uint_fast16_t);
154 CHECK_UNSIGNED_LIMITS(uint_least16_t, UINT_LEAST16_MAX);
155 CHECK_WIDTH_AT_LEAST(uint_least32_t, 32);
156 CHECK_WIDTH_ORDER(uint_least32_t, uint_fast32_t);
157 CHECK_UNSIGNED_LIMITS(uint_least32_t, UINT_LEAST32_MAX);
158 CHECK_WIDTH_AT_LEAST(uint_least64_t, 64);
159 CHECK_WIDTH_ORDER(uint_least64_t, uint_fast64_t);
160 CHECK_UNSIGNED_LIMITS(uint_least64_t, UINT_LEAST64_MAX);
161 }
162
163 void
test_fast(void)164 test_fast (void)
165 {
166 CHECK_WIDTH_AT_LEAST(int_fast8_t, 8);
167 CHECK_SIGNED_LIMITS(int_fast8_t, INT_FAST8_MIN, INT_FAST8_MAX);
168 CHECK_WIDTH_AT_LEAST(int_fast16_t, 16);
169 CHECK_SIGNED_LIMITS(int_fast16_t, INT_FAST16_MIN, INT_FAST16_MAX);
170 CHECK_WIDTH_AT_LEAST(int_fast32_t, 32);
171 CHECK_SIGNED_LIMITS(int_fast32_t, INT_FAST32_MIN, INT_FAST32_MAX);
172 CHECK_WIDTH_AT_LEAST(int_fast64_t, 64);
173 CHECK_SIGNED_LIMITS(int_fast64_t, INT_FAST64_MIN, INT_FAST64_MAX);
174 CHECK_WIDTH_AT_LEAST(uint_fast8_t, 8);
175 CHECK_UNSIGNED_LIMITS(uint_fast8_t, UINT_FAST8_MAX);
176 CHECK_WIDTH_AT_LEAST(uint_fast16_t, 16);
177 CHECK_UNSIGNED_LIMITS(uint_fast16_t, UINT_FAST16_MAX);
178 CHECK_WIDTH_AT_LEAST(uint_fast32_t, 32);
179 CHECK_UNSIGNED_LIMITS(uint_fast32_t, UINT_FAST32_MAX);
180 CHECK_WIDTH_AT_LEAST(uint_fast64_t, 64);
181 CHECK_UNSIGNED_LIMITS(uint_fast64_t, UINT_FAST64_MAX);
182 }
183
184 void
test_ptr(void)185 test_ptr (void)
186 {
187 #ifdef INTPTR_MIN
188 CHECK_SIGNED_LIMITS_2(intptr_t, INTPTR_MIN, INTPTR_MAX, -0x7fff, 0x7fff);
189 #endif
190 #ifdef UINTPTR_MAX
191 CHECK_UNSIGNED_LIMITS_2(uintptr_t, UINTPTR_MAX, 0xffffU);
192 #endif
193 }
194
195 void
test_max(void)196 test_max (void)
197 {
198 CHECK_WIDTH_AT_LEAST(intmax_t, 64);
199 CHECK_WIDTH_ORDER(long long, intmax_t);
200 CHECK_WIDTH_ORDER(int_fast8_t, intmax_t);
201 CHECK_WIDTH_ORDER(int_fast16_t, intmax_t);
202 CHECK_WIDTH_ORDER(int_fast32_t, intmax_t);
203 CHECK_WIDTH_ORDER(int_fast64_t, intmax_t);
204 CHECK_SIGNED_LIMITS(intmax_t, INTMAX_MIN, INTMAX_MAX);
205 CHECK_WIDTH_AT_LEAST(uintmax_t, 64);
206 CHECK_WIDTH_ORDER(unsigned long long, uintmax_t);
207 CHECK_WIDTH_ORDER(uint_fast8_t, uintmax_t);
208 CHECK_WIDTH_ORDER(uint_fast16_t, uintmax_t);
209 CHECK_WIDTH_ORDER(uint_fast32_t, uintmax_t);
210 CHECK_WIDTH_ORDER(uint_fast64_t, uintmax_t);
211 CHECK_UNSIGNED_LIMITS(uintmax_t, UINTMAX_MAX);
212 }
213
214 void
test_misc_limits(void)215 test_misc_limits (void)
216 {
217 /* { dg-bogus "size" "ptrdiff is 16bits" { xfail avr-*-* } 218 } */
218 CHECK_SIGNED_LIMITS_2(__PTRDIFF_TYPE__, PTRDIFF_MIN, PTRDIFF_MAX, -65535L, 65535L);
219 #ifndef SIGNAL_SUPPRESS
220 CHECK_LIMITS_2(sig_atomic_t, SIG_ATOMIC_MIN, SIG_ATOMIC_MAX, -127, 127, 255);
221 #endif
222 CHECK_UNSIGNED_LIMITS_2(__SIZE_TYPE__, SIZE_MAX, 65535U);
223 CHECK_LIMITS_2(__WCHAR_TYPE__, WCHAR_MIN, WCHAR_MAX, -127, 127, 255);
224 CHECK_LIMITS_2(__WINT_TYPE__, WINT_MIN, WINT_MAX, -32767, 32767, 65535);
225 }
226
227 void
test_constants(void)228 test_constants (void)
229 {
230 CHECK_CONSTS(int_least8_t, INT8_C);
231 CHECK_CONSTS(int_least16_t, INT16_C);
232 CHECK_CONSTS(int_least32_t, INT32_C);
233 CHECK_CONSTS(int_least64_t, INT64_C);
234 CHECK_CONSTS(intmax_t, INTMAX_C);
235 CHECK_CONSTS(uint_least8_t, UINT8_C);
236 CHECK_CONSTS(uint_least16_t, UINT16_C);
237 CHECK_CONSTS(uint_least32_t, UINT32_C);
238 CHECK_CONSTS(uint_least64_t, UINT64_C);
239 CHECK_CONSTS(uintmax_t, UINTMAX_C);
240 #if INT8_C(12) != 12
241 #error "INT8_C not usable in #if"
242 #endif
243 #if INT16_C(12) != 12
244 #error "INT16_C not usable in #if"
245 #endif
246 #if INT32_C(12) != 12
247 #error "INT32_C not usable in #if"
248 #endif
249 #if INT64_C(12) != 12
250 #error "INT64_C not usable in #if"
251 #endif
252 #if INTMAX_C(12) != 12
253 #error "INTMAX_C not usable in #if"
254 #endif
255 #if UINT8_C(12) != 12
256 #error "UINT8_C not usable in #if"
257 #endif
258 #if UINT16_C(12) != 12
259 #error "UINT16_C not usable in #if"
260 #endif
261 #if UINT32_C(12) != 12
262 #error "UINT32_C not usable in #if"
263 #endif
264 #if UINT64_C(12) != 12
265 #error "UINT64_C not usable in #if"
266 #endif
267 #if UINTMAX_C(12) != 12
268 #error "UINTMAX_C not usable in #if"
269 #endif
270 }
271