|
111
|
1 /* Test for integer constant types. */
|
|
|
2
|
|
|
3 /* Origin: Joseph Myers <jsm28@cam.ac.uk>. */
|
|
|
4 /* { dg-do compile } */
|
|
|
5 /* { dg-options "-std=iso9899:1990 -pedantic-errors" } */
|
|
|
6
|
|
|
7 #include <limits.h>
|
|
|
8
|
|
|
9 /* Assertion that constant C is of type T. */
|
|
|
10 #define ASSERT_CONST_TYPE(C, T) \
|
|
|
11 do { \
|
|
|
12 typedef T type; \
|
|
|
13 typedef type **typepp; \
|
|
|
14 typedef __typeof__((C)) ctype; \
|
|
|
15 typedef ctype **ctypepp; \
|
|
|
16 typepp x = 0; \
|
|
|
17 ctypepp y = 0; \
|
|
|
18 x = y; \
|
|
|
19 y = x; \
|
|
|
20 } while (0)
|
|
|
21
|
|
|
22 /* (T *) if E is zero, (void *) otherwise. */
|
|
|
23 #define type_if_not(T, E) __typeof__(0 ? (T *)0 : (void *)(E))
|
|
|
24
|
|
|
25 /* (T *) if E is nonzero, (void *) otherwise. */
|
|
|
26 #define type_if(T, E) type_if_not(T, !(E))
|
|
|
27
|
|
|
28 /* Combine pointer types, all but one (void *). */
|
|
|
29 #define type_comb2(T1, T2) __typeof__(0 ? (T1)0 : (T2)0)
|
|
|
30 #define type_comb3(T1, T2, T3) type_comb2(T1, type_comb2(T2, T3))
|
|
|
31 #define type_comb4(T1, T2, T3, T4) \
|
|
|
32 type_comb2(T1, type_comb2(T2, type_comb2(T3, T4)))
|
|
|
33
|
|
|
34 /* (T1 *) if E1, otherwise (T2 *) if E2. */
|
|
|
35 #define first_of2p(T1, E1, T2, E2) type_comb2(type_if(T1, (E1)), \
|
|
|
36 type_if(T2, (!(E1) && (E2))))
|
|
|
37 /* (T1 *) if E1, otherwise (T2 *) if E2, otherwise (T3 *) if E3. */
|
|
|
38 #define first_of3p(T1, E1, T2, E2, T3, E3) \
|
|
|
39 type_comb3(type_if(T1, (E1)), \
|
|
|
40 type_if(T2, (!(E1) && (E2))), \
|
|
|
41 type_if(T3, (!(E1) && !(E2) && (E3))))
|
|
|
42 /* (T1 *) if E1, otherwise (T2 *) if E2, otherwise (T3 *) if E3, otherwise
|
|
|
43 (T4 *) if E4. */
|
|
|
44 #define first_of4p(T1, E1, T2, E2, T3, E3, T4, E4) \
|
|
|
45 type_comb4(type_if(T1, (E1)), \
|
|
|
46 type_if(T2, (!(E1) && (E2))), \
|
|
|
47 type_if(T3, (!(E1) && !(E2) && (E3))), \
|
|
|
48 type_if(T4, (!(E1) && !(E2) && !(E3) && (E4))))
|
|
|
49
|
|
|
50 /* Likewise, but return the original type rather than a pointer type. */
|
|
|
51 #define first_of2(T1, E1, T2, E2) \
|
|
|
52 __typeof__(*((first_of2p(T1, (E1), T2, (E2)))0))
|
|
|
53 #define first_of3(T1, E1, T2, E2, T3, E3) \
|
|
|
54 __typeof__(*((first_of3p(T1, (E1), T2, (E2), T3, (E3)))0))
|
|
|
55 #define first_of4(T1, E1, T2, E2, T3, E3, T4, E4) \
|
|
|
56 __typeof__(*((first_of4p(T1, (E1), T2, (E2), T3, (E3), T4, (E4)))0))
|
|
|
57
|
|
|
58 /* Types of constants according to the C90 rules. */
|
|
|
59 #define C90_UNSUF_DEC_TYPE(C) \
|
|
|
60 first_of3(int, (C) <= INT_MAX, \
|
|
|
61 long int, (C) <= LONG_MAX, \
|
|
|
62 unsigned long int, (C) <= ULONG_MAX)
|
|
|
63 #define C90_UNSUF_OCTHEX_TYPE(C) \
|
|
|
64 first_of4(int, (C) <= INT_MAX, \
|
|
|
65 unsigned int, (C) <= UINT_MAX, \
|
|
|
66 long int, (C) <= LONG_MAX, \
|
|
|
67 unsigned long int, (C) <= ULONG_MAX)
|
|
|
68 #define C90_SUFu_TYPE(C) \
|
|
|
69 first_of2(unsigned int, (C) <= UINT_MAX, \
|
|
|
70 unsigned long int, (C) <= ULONG_MAX)
|
|
|
71 #define C90_SUFl_TYPE(C) \
|
|
|
72 first_of2(long int, (C) <= LONG_MAX, \
|
|
|
73 unsigned long int, (C) <= ULONG_MAX)
|
|
|
74
|
|
|
75 /* Checks that constants have correct type. */
|
|
|
76 #define CHECK_UNSUF_DEC_TYPE(C) ASSERT_CONST_TYPE((C), C90_UNSUF_DEC_TYPE((C)))
|
|
|
77 #define CHECK_UNSUF_OCTHEX_TYPE(C) \
|
|
|
78 ASSERT_CONST_TYPE((C), C90_UNSUF_OCTHEX_TYPE((C)))
|
|
|
79 #define CHECK_SUFu_TYPE(C) ASSERT_CONST_TYPE((C), C90_SUFu_TYPE((C)))
|
|
|
80 #define CHECK_SUFl_TYPE(C) ASSERT_CONST_TYPE((C), C90_SUFl_TYPE((C)))
|
|
|
81 #define CHECK_SUFul_TYPE(C) ASSERT_CONST_TYPE((C), unsigned long int)
|
|
|
82
|
|
|
83 /* Check a decimal value, with all suffixes. */
|
|
|
84 #define CHECK_DEC_CONST(C) \
|
|
|
85 CHECK_UNSUF_DEC_TYPE(C); \
|
|
|
86 CHECK_SUFu_TYPE(C##u); \
|
|
|
87 CHECK_SUFu_TYPE(C##U); \
|
|
|
88 CHECK_SUFl_TYPE(C##l); \
|
|
|
89 CHECK_SUFl_TYPE(C##L); \
|
|
|
90 CHECK_SUFul_TYPE(C##ul); \
|
|
|
91 CHECK_SUFul_TYPE(C##uL); \
|
|
|
92 CHECK_SUFul_TYPE(C##Ul); \
|
|
|
93 CHECK_SUFul_TYPE(C##UL);
|
|
|
94
|
|
|
95 /* Check an octal or hexadecimal value, with all suffixes. */
|
|
|
96 #define CHECK_OCTHEX_CONST(C) \
|
|
|
97 CHECK_UNSUF_OCTHEX_TYPE(C); \
|
|
|
98 CHECK_SUFu_TYPE(C##u); \
|
|
|
99 CHECK_SUFu_TYPE(C##U); \
|
|
|
100 CHECK_SUFl_TYPE(C##l); \
|
|
|
101 CHECK_SUFl_TYPE(C##L); \
|
|
|
102 CHECK_SUFul_TYPE(C##ul); \
|
|
|
103 CHECK_SUFul_TYPE(C##uL); \
|
|
|
104 CHECK_SUFul_TYPE(C##Ul); \
|
|
|
105 CHECK_SUFul_TYPE(C##UL);
|
|
|
106
|
|
|
107 #define CHECK_OCT_CONST(C) CHECK_OCTHEX_CONST(C)
|
|
|
108 #define CHECK_HEX_CONST(C) \
|
|
|
109 CHECK_OCTHEX_CONST(0x##C); \
|
|
|
110 CHECK_OCTHEX_CONST(0X##C);
|
|
|
111
|
|
|
112 /* True iff "long" is at least B bits. This presumes that (B-2)/3 is at
|
|
|
113 most 31. */
|
|
|
114 #define LONG_AT_LEAST(B) \
|
|
|
115 (LONG_MAX >> ((B)-2)/3 >> ((B)-2)/3 >> ((B)-2 - ((B)-2)/3 - ((B)-2)/3))
|
|
|
116
|
|
|
117 #define LONG_HAS_BITS(B) (LONG_AT_LEAST((B)) && !LONG_AT_LEAST((B) + 1))
|
|
|
118
|
|
|
119 /* Decimal values that are large enough to be unsigned. Allow for up to
|
|
|
120 64 bits in long. */
|
|
|
121 #if LONG_HAS_BITS(32)
|
|
|
122 #define LARGE_UNSIGNED_DECIMAL 2147483648
|
|
|
123 #endif
|
|
|
124 #if LONG_HAS_BITS(33)
|
|
|
125 #define LARGE_UNSIGNED_DECIMAL 4294967296
|
|
|
126 #endif
|
|
|
127 #if LONG_HAS_BITS(34)
|
|
|
128 #define LARGE_UNSIGNED_DECIMAL 8589934592
|
|
|
129 #endif
|
|
|
130 #if LONG_HAS_BITS(35)
|
|
|
131 #define LARGE_UNSIGNED_DECIMAL 17179869184
|
|
|
132 #endif
|
|
|
133 #if LONG_HAS_BITS(36)
|
|
|
134 #define LARGE_UNSIGNED_DECIMAL 34359738368
|
|
|
135 #endif
|
|
|
136 #if LONG_HAS_BITS(37)
|
|
|
137 #define LARGE_UNSIGNED_DECIMAL 68719476736
|
|
|
138 #endif
|
|
|
139 #if LONG_HAS_BITS(38)
|
|
|
140 #define LARGE_UNSIGNED_DECIMAL 137438953472
|
|
|
141 #endif
|
|
|
142 #if LONG_HAS_BITS(39)
|
|
|
143 #define LARGE_UNSIGNED_DECIMAL 274877906944
|
|
|
144 #endif
|
|
|
145 #if LONG_HAS_BITS(40)
|
|
|
146 #define LARGE_UNSIGNED_DECIMAL 549755813888
|
|
|
147 #endif
|
|
|
148 #if LONG_HAS_BITS(41)
|
|
|
149 #define LARGE_UNSIGNED_DECIMAL 1099511627776
|
|
|
150 #endif
|
|
|
151 #if LONG_HAS_BITS(42)
|
|
|
152 #define LARGE_UNSIGNED_DECIMAL 2199023255552
|
|
|
153 #endif
|
|
|
154 #if LONG_HAS_BITS(43)
|
|
|
155 #define LARGE_UNSIGNED_DECIMAL 4398046511104
|
|
|
156 #endif
|
|
|
157 #if LONG_HAS_BITS(44)
|
|
|
158 #define LARGE_UNSIGNED_DECIMAL 8796093022208
|
|
|
159 #endif
|
|
|
160 #if LONG_HAS_BITS(45)
|
|
|
161 #define LARGE_UNSIGNED_DECIMAL 17592186044416
|
|
|
162 #endif
|
|
|
163 #if LONG_HAS_BITS(46)
|
|
|
164 #define LARGE_UNSIGNED_DECIMAL 35184372088832
|
|
|
165 #endif
|
|
|
166 #if LONG_HAS_BITS(47)
|
|
|
167 #define LARGE_UNSIGNED_DECIMAL 70368744177664
|
|
|
168 #endif
|
|
|
169 #if LONG_HAS_BITS(48)
|
|
|
170 #define LARGE_UNSIGNED_DECIMAL 140737488355328
|
|
|
171 #endif
|
|
|
172 #if LONG_HAS_BITS(49)
|
|
|
173 #define LARGE_UNSIGNED_DECIMAL 281474976710656
|
|
|
174 #endif
|
|
|
175 #if LONG_HAS_BITS(50)
|
|
|
176 #define LARGE_UNSIGNED_DECIMAL 562949953421312
|
|
|
177 #endif
|
|
|
178 #if LONG_HAS_BITS(51)
|
|
|
179 #define LARGE_UNSIGNED_DECIMAL 1125899906842624
|
|
|
180 #endif
|
|
|
181 #if LONG_HAS_BITS(52)
|
|
|
182 #define LARGE_UNSIGNED_DECIMAL 2251799813685248
|
|
|
183 #endif
|
|
|
184 #if LONG_HAS_BITS(53)
|
|
|
185 #define LARGE_UNSIGNED_DECIMAL 4503599627370496
|
|
|
186 #endif
|
|
|
187 #if LONG_HAS_BITS(54)
|
|
|
188 #define LARGE_UNSIGNED_DECIMAL 9007199254740992
|
|
|
189 #endif
|
|
|
190 #if LONG_HAS_BITS(55)
|
|
|
191 #define LARGE_UNSIGNED_DECIMAL 18014398509481984
|
|
|
192 #endif
|
|
|
193 #if LONG_HAS_BITS(56)
|
|
|
194 #define LARGE_UNSIGNED_DECIMAL 36028797018963968
|
|
|
195 #endif
|
|
|
196 #if LONG_HAS_BITS(57)
|
|
|
197 #define LARGE_UNSIGNED_DECIMAL 72057594037927936
|
|
|
198 #endif
|
|
|
199 #if LONG_HAS_BITS(58)
|
|
|
200 #define LARGE_UNSIGNED_DECIMAL 144115188075855872
|
|
|
201 #endif
|
|
|
202 #if LONG_HAS_BITS(59)
|
|
|
203 #define LARGE_UNSIGNED_DECIMAL 288230376151711744
|
|
|
204 #endif
|
|
|
205 #if LONG_HAS_BITS(60)
|
|
|
206 #define LARGE_UNSIGNED_DECIMAL 576460752303423488
|
|
|
207 #endif
|
|
|
208 #if LONG_HAS_BITS(61)
|
|
|
209 #define LARGE_UNSIGNED_DECIMAL 1152921504606846976
|
|
|
210 #endif
|
|
|
211 #if LONG_HAS_BITS(62)
|
|
|
212 #define LARGE_UNSIGNED_DECIMAL 2305843009213693952
|
|
|
213 #endif
|
|
|
214 #if LONG_HAS_BITS(63)
|
|
|
215 #define LARGE_UNSIGNED_DECIMAL 4611686018427387904
|
|
|
216 #endif
|
|
|
217 #if LONG_HAS_BITS(64)
|
|
|
218 #define LARGE_UNSIGNED_DECIMAL 9223372036854775808
|
|
|
219 #endif
|
|
|
220 #if LONG_AT_LEAST(65)
|
|
|
221 #error "extend this test to allow for long larger than 64 bits"
|
|
|
222 #endif
|
|
|
223
|
|
|
224 #define cat(x, y) x ## y
|
|
|
225 #define xcat(x, y) cat(x, y)
|
|
|
226
|
|
|
227 #define LARGE_UNSIGNED_DECIMALl xcat(LARGE_UNSIGNED_DECIMAL, l)
|
|
|
228 #define LARGE_UNSIGNED_DECIMALL xcat(LARGE_UNSIGNED_DECIMAL, L)
|
|
|
229 #define LARGE_UNSIGNED_DECIMALu xcat(LARGE_UNSIGNED_DECIMAL, u)
|
|
|
230 #define LARGE_UNSIGNED_DECIMALU xcat(LARGE_UNSIGNED_DECIMAL, U)
|
|
|
231 #define LARGE_UNSIGNED_DECIMALul xcat(LARGE_UNSIGNED_DECIMAL, ul)
|
|
|
232 #define LARGE_UNSIGNED_DECIMALuL xcat(LARGE_UNSIGNED_DECIMAL, uL)
|
|
|
233 #define LARGE_UNSIGNED_DECIMALUl xcat(LARGE_UNSIGNED_DECIMAL, Ul)
|
|
|
234 #define LARGE_UNSIGNED_DECIMALUL xcat(LARGE_UNSIGNED_DECIMAL, UL)
|
|
|
235
|
|
|
236 void
|
|
|
237 foo (void)
|
|
|
238 {
|
|
|
239 /* Decimal. */
|
|
|
240 /* Check all 2^n and 2^n - 1 up to 2^63 - 1. Check values that would be
|
|
|
241 unsigned separately since they generate a warning. */
|
|
|
242 CHECK_DEC_CONST(1);
|
|
|
243 CHECK_DEC_CONST(2);
|
|
|
244 CHECK_DEC_CONST(3);
|
|
|
245 CHECK_DEC_CONST(4);
|
|
|
246 CHECK_DEC_CONST(7);
|
|
|
247 CHECK_DEC_CONST(8);
|
|
|
248 CHECK_DEC_CONST(15);
|
|
|
249 CHECK_DEC_CONST(16);
|
|
|
250 CHECK_DEC_CONST(31);
|
|
|
251 CHECK_DEC_CONST(32);
|
|
|
252 CHECK_DEC_CONST(63);
|
|
|
253 CHECK_DEC_CONST(64);
|
|
|
254 CHECK_DEC_CONST(127);
|
|
|
255 CHECK_DEC_CONST(128);
|
|
|
256 CHECK_DEC_CONST(255);
|
|
|
257 CHECK_DEC_CONST(256);
|
|
|
258 CHECK_DEC_CONST(511);
|
|
|
259 CHECK_DEC_CONST(512);
|
|
|
260 CHECK_DEC_CONST(1023);
|
|
|
261 CHECK_DEC_CONST(1024);
|
|
|
262 CHECK_DEC_CONST(2047);
|
|
|
263 CHECK_DEC_CONST(2048);
|
|
|
264 CHECK_DEC_CONST(4095);
|
|
|
265 CHECK_DEC_CONST(4096);
|
|
|
266 CHECK_DEC_CONST(8191);
|
|
|
267 CHECK_DEC_CONST(8192);
|
|
|
268 CHECK_DEC_CONST(16383);
|
|
|
269 CHECK_DEC_CONST(16384);
|
|
|
270 CHECK_DEC_CONST(32767);
|
|
|
271 CHECK_DEC_CONST(32768);
|
|
|
272 CHECK_DEC_CONST(65535);
|
|
|
273 CHECK_DEC_CONST(65536);
|
|
|
274 CHECK_DEC_CONST(131071);
|
|
|
275 CHECK_DEC_CONST(131072);
|
|
|
276 CHECK_DEC_CONST(262143);
|
|
|
277 CHECK_DEC_CONST(262144);
|
|
|
278 CHECK_DEC_CONST(524287);
|
|
|
279 CHECK_DEC_CONST(524288);
|
|
|
280 CHECK_DEC_CONST(1048575);
|
|
|
281 CHECK_DEC_CONST(1048576);
|
|
|
282 CHECK_DEC_CONST(2097151);
|
|
|
283 CHECK_DEC_CONST(2097152);
|
|
|
284 CHECK_DEC_CONST(4194303);
|
|
|
285 CHECK_DEC_CONST(4194304);
|
|
|
286 CHECK_DEC_CONST(8388607);
|
|
|
287 CHECK_DEC_CONST(8388608);
|
|
|
288 CHECK_DEC_CONST(16777215);
|
|
|
289 CHECK_DEC_CONST(16777216);
|
|
|
290 CHECK_DEC_CONST(33554431);
|
|
|
291 CHECK_DEC_CONST(33554432);
|
|
|
292 CHECK_DEC_CONST(67108863);
|
|
|
293 CHECK_DEC_CONST(67108864);
|
|
|
294 CHECK_DEC_CONST(134217727);
|
|
|
295 CHECK_DEC_CONST(134217728);
|
|
|
296 CHECK_DEC_CONST(268435455);
|
|
|
297 CHECK_DEC_CONST(268435456);
|
|
|
298 CHECK_DEC_CONST(536870911);
|
|
|
299 CHECK_DEC_CONST(536870912);
|
|
|
300 CHECK_DEC_CONST(1073741823);
|
|
|
301 CHECK_DEC_CONST(1073741824);
|
|
|
302 CHECK_DEC_CONST(2147483647);
|
|
|
303 #if LONG_AT_LEAST(33)
|
|
|
304 CHECK_DEC_CONST(2147483648);
|
|
|
305 CHECK_DEC_CONST(4294967295);
|
|
|
306 #endif
|
|
|
307 #if LONG_AT_LEAST(34)
|
|
|
308 CHECK_DEC_CONST(4294967296);
|
|
|
309 CHECK_DEC_CONST(8589934591);
|
|
|
310 #endif
|
|
|
311 #if LONG_AT_LEAST(35)
|
|
|
312 CHECK_DEC_CONST(8589934592);
|
|
|
313 CHECK_DEC_CONST(17179869183);
|
|
|
314 #endif
|
|
|
315 #if LONG_AT_LEAST(36)
|
|
|
316 CHECK_DEC_CONST(17179869184);
|
|
|
317 CHECK_DEC_CONST(34359738367);
|
|
|
318 #endif
|
|
|
319 #if LONG_AT_LEAST(37)
|
|
|
320 CHECK_DEC_CONST(34359738368);
|
|
|
321 CHECK_DEC_CONST(68719476735);
|
|
|
322 #endif
|
|
|
323 #if LONG_AT_LEAST(38)
|
|
|
324 CHECK_DEC_CONST(68719476736);
|
|
|
325 CHECK_DEC_CONST(137438953471);
|
|
|
326 #endif
|
|
|
327 #if LONG_AT_LEAST(39)
|
|
|
328 CHECK_DEC_CONST(137438953472);
|
|
|
329 CHECK_DEC_CONST(274877906943);
|
|
|
330 #endif
|
|
|
331 #if LONG_AT_LEAST(40)
|
|
|
332 CHECK_DEC_CONST(274877906944);
|
|
|
333 CHECK_DEC_CONST(549755813887);
|
|
|
334 #endif
|
|
|
335 #if LONG_AT_LEAST(41)
|
|
|
336 CHECK_DEC_CONST(549755813888);
|
|
|
337 CHECK_DEC_CONST(1099511627775);
|
|
|
338 #endif
|
|
|
339 #if LONG_AT_LEAST(42)
|
|
|
340 CHECK_DEC_CONST(1099511627776);
|
|
|
341 CHECK_DEC_CONST(2199023255551);
|
|
|
342 #endif
|
|
|
343 #if LONG_AT_LEAST(43)
|
|
|
344 CHECK_DEC_CONST(2199023255552);
|
|
|
345 CHECK_DEC_CONST(4398046511103);
|
|
|
346 #endif
|
|
|
347 #if LONG_AT_LEAST(44)
|
|
|
348 CHECK_DEC_CONST(4398046511104);
|
|
|
349 CHECK_DEC_CONST(8796093022207);
|
|
|
350 #endif
|
|
|
351 #if LONG_AT_LEAST(45)
|
|
|
352 CHECK_DEC_CONST(8796093022208);
|
|
|
353 CHECK_DEC_CONST(17592186044415);
|
|
|
354 #endif
|
|
|
355 #if LONG_AT_LEAST(46)
|
|
|
356 CHECK_DEC_CONST(17592186044416);
|
|
|
357 CHECK_DEC_CONST(35184372088831);
|
|
|
358 #endif
|
|
|
359 #if LONG_AT_LEAST(47)
|
|
|
360 CHECK_DEC_CONST(35184372088832);
|
|
|
361 CHECK_DEC_CONST(70368744177663);
|
|
|
362 #endif
|
|
|
363 #if LONG_AT_LEAST(48)
|
|
|
364 CHECK_DEC_CONST(70368744177664);
|
|
|
365 CHECK_DEC_CONST(140737488355327);
|
|
|
366 #endif
|
|
|
367 #if LONG_AT_LEAST(49)
|
|
|
368 CHECK_DEC_CONST(140737488355328);
|
|
|
369 CHECK_DEC_CONST(281474976710655);
|
|
|
370 #endif
|
|
|
371 #if LONG_AT_LEAST(50)
|
|
|
372 CHECK_DEC_CONST(281474976710656);
|
|
|
373 CHECK_DEC_CONST(562949953421311);
|
|
|
374 #endif
|
|
|
375 #if LONG_AT_LEAST(51)
|
|
|
376 CHECK_DEC_CONST(562949953421312);
|
|
|
377 CHECK_DEC_CONST(1125899906842623);
|
|
|
378 #endif
|
|
|
379 #if LONG_AT_LEAST(52)
|
|
|
380 CHECK_DEC_CONST(1125899906842624);
|
|
|
381 CHECK_DEC_CONST(2251799813685247);
|
|
|
382 #endif
|
|
|
383 #if LONG_AT_LEAST(53)
|
|
|
384 CHECK_DEC_CONST(2251799813685248);
|
|
|
385 CHECK_DEC_CONST(4503599627370495);
|
|
|
386 #endif
|
|
|
387 #if LONG_AT_LEAST(54)
|
|
|
388 CHECK_DEC_CONST(4503599627370496);
|
|
|
389 CHECK_DEC_CONST(9007199254740991);
|
|
|
390 #endif
|
|
|
391 #if LONG_AT_LEAST(55)
|
|
|
392 CHECK_DEC_CONST(9007199254740992);
|
|
|
393 CHECK_DEC_CONST(18014398509481983);
|
|
|
394 #endif
|
|
|
395 #if LONG_AT_LEAST(56)
|
|
|
396 CHECK_DEC_CONST(18014398509481984);
|
|
|
397 CHECK_DEC_CONST(36028797018963967);
|
|
|
398 #endif
|
|
|
399 #if LONG_AT_LEAST(57)
|
|
|
400 CHECK_DEC_CONST(36028797018963968);
|
|
|
401 CHECK_DEC_CONST(72057594037927935);
|
|
|
402 #endif
|
|
|
403 #if LONG_AT_LEAST(58)
|
|
|
404 CHECK_DEC_CONST(72057594037927936);
|
|
|
405 CHECK_DEC_CONST(144115188075855871);
|
|
|
406 #endif
|
|
|
407 #if LONG_AT_LEAST(59)
|
|
|
408 CHECK_DEC_CONST(144115188075855872);
|
|
|
409 CHECK_DEC_CONST(288230376151711743);
|
|
|
410 #endif
|
|
|
411 #if LONG_AT_LEAST(60)
|
|
|
412 CHECK_DEC_CONST(288230376151711744);
|
|
|
413 CHECK_DEC_CONST(576460752303423487);
|
|
|
414 #endif
|
|
|
415 #if LONG_AT_LEAST(61)
|
|
|
416 CHECK_DEC_CONST(576460752303423488);
|
|
|
417 CHECK_DEC_CONST(1152921504606846975);
|
|
|
418 #endif
|
|
|
419 #if LONG_AT_LEAST(62)
|
|
|
420 CHECK_DEC_CONST(1152921504606846976);
|
|
|
421 CHECK_DEC_CONST(2305843009213693951);
|
|
|
422 #endif
|
|
|
423 #if LONG_AT_LEAST(63)
|
|
|
424 CHECK_DEC_CONST(2305843009213693952);
|
|
|
425 CHECK_DEC_CONST(4611686018427387903);
|
|
|
426 #endif
|
|
|
427 #if LONG_AT_LEAST(64)
|
|
|
428 CHECK_DEC_CONST(4611686018427387904);
|
|
|
429 CHECK_DEC_CONST(9223372036854775807);
|
|
|
430 #endif
|
|
|
431 /* Separate checks for values that are unsigned. */
|
|
|
432 CHECK_UNSUF_DEC_TYPE(LARGE_UNSIGNED_DECIMAL); /* { dg-warning "unsigned" "unsigned decimal no suffix" } */
|
|
|
433 CHECK_SUFl_TYPE(LARGE_UNSIGNED_DECIMALl); /* { dg-warning "unsigned" "unsigned decimal long suffix" } */
|
|
|
434 CHECK_SUFl_TYPE(LARGE_UNSIGNED_DECIMALL); /* { dg-warning "unsigned" "unsigned decimal long suffix" } */
|
|
|
435 CHECK_SUFu_TYPE(LARGE_UNSIGNED_DECIMALu);
|
|
|
436 CHECK_SUFu_TYPE(LARGE_UNSIGNED_DECIMALU);
|
|
|
437 CHECK_SUFul_TYPE(LARGE_UNSIGNED_DECIMALul);
|
|
|
438 CHECK_SUFul_TYPE(LARGE_UNSIGNED_DECIMALuL);
|
|
|
439 CHECK_SUFul_TYPE(LARGE_UNSIGNED_DECIMALUl);
|
|
|
440 CHECK_SUFul_TYPE(LARGE_UNSIGNED_DECIMALUL);
|
|
|
441 /* Octal and hexadecimal. */
|
|
|
442 /* Check all 2^n and 2^n - 1 up to 2^64 - 1. */
|
|
|
443 CHECK_OCT_CONST(0);
|
|
|
444 CHECK_HEX_CONST(0);
|
|
|
445 CHECK_OCT_CONST(01);
|
|
|
446 CHECK_HEX_CONST(1);
|
|
|
447 CHECK_OCT_CONST(02);
|
|
|
448 CHECK_HEX_CONST(2);
|
|
|
449 CHECK_OCT_CONST(03);
|
|
|
450 CHECK_HEX_CONST(3);
|
|
|
451 CHECK_OCT_CONST(04);
|
|
|
452 CHECK_HEX_CONST(4);
|
|
|
453 CHECK_OCT_CONST(07);
|
|
|
454 CHECK_HEX_CONST(7);
|
|
|
455 CHECK_OCT_CONST(010);
|
|
|
456 CHECK_HEX_CONST(8);
|
|
|
457 CHECK_OCT_CONST(017);
|
|
|
458 CHECK_HEX_CONST(f);
|
|
|
459 CHECK_OCT_CONST(020);
|
|
|
460 CHECK_HEX_CONST(10);
|
|
|
461 CHECK_OCT_CONST(037);
|
|
|
462 CHECK_HEX_CONST(1f);
|
|
|
463 CHECK_OCT_CONST(040);
|
|
|
464 CHECK_HEX_CONST(20);
|
|
|
465 CHECK_OCT_CONST(077);
|
|
|
466 CHECK_HEX_CONST(3f);
|
|
|
467 CHECK_OCT_CONST(0100);
|
|
|
468 CHECK_HEX_CONST(40);
|
|
|
469 CHECK_OCT_CONST(0177);
|
|
|
470 CHECK_HEX_CONST(7f);
|
|
|
471 CHECK_OCT_CONST(0200);
|
|
|
472 CHECK_HEX_CONST(80);
|
|
|
473 CHECK_OCT_CONST(0377);
|
|
|
474 CHECK_HEX_CONST(ff);
|
|
|
475 CHECK_OCT_CONST(0400);
|
|
|
476 CHECK_HEX_CONST(100);
|
|
|
477 CHECK_OCT_CONST(0777);
|
|
|
478 CHECK_HEX_CONST(1ff);
|
|
|
479 CHECK_OCT_CONST(01000);
|
|
|
480 CHECK_HEX_CONST(200);
|
|
|
481 CHECK_OCT_CONST(01777);
|
|
|
482 CHECK_HEX_CONST(3ff);
|
|
|
483 CHECK_OCT_CONST(02000);
|
|
|
484 CHECK_HEX_CONST(400);
|
|
|
485 CHECK_OCT_CONST(03777);
|
|
|
486 CHECK_HEX_CONST(7ff);
|
|
|
487 CHECK_OCT_CONST(04000);
|
|
|
488 CHECK_HEX_CONST(800);
|
|
|
489 CHECK_OCT_CONST(07777);
|
|
|
490 CHECK_HEX_CONST(fff);
|
|
|
491 CHECK_OCT_CONST(010000);
|
|
|
492 CHECK_HEX_CONST(1000);
|
|
|
493 CHECK_OCT_CONST(017777);
|
|
|
494 CHECK_HEX_CONST(1fff);
|
|
|
495 CHECK_OCT_CONST(020000);
|
|
|
496 CHECK_HEX_CONST(2000);
|
|
|
497 CHECK_OCT_CONST(037777);
|
|
|
498 CHECK_HEX_CONST(3fff);
|
|
|
499 CHECK_OCT_CONST(040000);
|
|
|
500 CHECK_HEX_CONST(4000);
|
|
|
501 CHECK_OCT_CONST(077777);
|
|
|
502 CHECK_HEX_CONST(7fff);
|
|
|
503 CHECK_OCT_CONST(0100000);
|
|
|
504 CHECK_HEX_CONST(8000);
|
|
|
505 CHECK_OCT_CONST(0177777);
|
|
|
506 CHECK_HEX_CONST(ffff);
|
|
|
507 CHECK_OCT_CONST(0200000);
|
|
|
508 CHECK_HEX_CONST(10000);
|
|
|
509 CHECK_OCT_CONST(0377777);
|
|
|
510 CHECK_HEX_CONST(1ffff);
|
|
|
511 CHECK_OCT_CONST(0400000);
|
|
|
512 CHECK_HEX_CONST(20000);
|
|
|
513 CHECK_OCT_CONST(0777777);
|
|
|
514 CHECK_HEX_CONST(3ffff);
|
|
|
515 CHECK_OCT_CONST(01000000);
|
|
|
516 CHECK_HEX_CONST(40000);
|
|
|
517 CHECK_OCT_CONST(01777777);
|
|
|
518 CHECK_HEX_CONST(7ffff);
|
|
|
519 CHECK_OCT_CONST(02000000);
|
|
|
520 CHECK_HEX_CONST(80000);
|
|
|
521 CHECK_OCT_CONST(03777777);
|
|
|
522 CHECK_HEX_CONST(fffff);
|
|
|
523 CHECK_OCT_CONST(04000000);
|
|
|
524 CHECK_HEX_CONST(100000);
|
|
|
525 CHECK_OCT_CONST(07777777);
|
|
|
526 CHECK_HEX_CONST(1fffff);
|
|
|
527 CHECK_OCT_CONST(010000000);
|
|
|
528 CHECK_HEX_CONST(200000);
|
|
|
529 CHECK_OCT_CONST(017777777);
|
|
|
530 CHECK_HEX_CONST(3fffff);
|
|
|
531 CHECK_OCT_CONST(020000000);
|
|
|
532 CHECK_HEX_CONST(400000);
|
|
|
533 CHECK_OCT_CONST(037777777);
|
|
|
534 CHECK_HEX_CONST(7fffff);
|
|
|
535 CHECK_OCT_CONST(040000000);
|
|
|
536 CHECK_HEX_CONST(800000);
|
|
|
537 CHECK_OCT_CONST(077777777);
|
|
|
538 CHECK_HEX_CONST(ffffff);
|
|
|
539 CHECK_OCT_CONST(0100000000);
|
|
|
540 CHECK_HEX_CONST(1000000);
|
|
|
541 CHECK_OCT_CONST(0177777777);
|
|
|
542 CHECK_HEX_CONST(1ffffff);
|
|
|
543 CHECK_OCT_CONST(0200000000);
|
|
|
544 CHECK_HEX_CONST(2000000);
|
|
|
545 CHECK_OCT_CONST(0377777777);
|
|
|
546 CHECK_HEX_CONST(3ffffff);
|
|
|
547 CHECK_OCT_CONST(0400000000);
|
|
|
548 CHECK_HEX_CONST(4000000);
|
|
|
549 CHECK_OCT_CONST(0777777777);
|
|
|
550 CHECK_HEX_CONST(7ffffff);
|
|
|
551 CHECK_OCT_CONST(01000000000);
|
|
|
552 CHECK_HEX_CONST(8000000);
|
|
|
553 CHECK_OCT_CONST(01777777777);
|
|
|
554 CHECK_HEX_CONST(fffffff);
|
|
|
555 CHECK_OCT_CONST(02000000000);
|
|
|
556 CHECK_HEX_CONST(10000000);
|
|
|
557 CHECK_OCT_CONST(03777777777);
|
|
|
558 CHECK_HEX_CONST(1fffffff);
|
|
|
559 CHECK_OCT_CONST(04000000000);
|
|
|
560 CHECK_HEX_CONST(20000000);
|
|
|
561 CHECK_OCT_CONST(07777777777);
|
|
|
562 CHECK_HEX_CONST(3fffffff);
|
|
|
563 CHECK_OCT_CONST(010000000000);
|
|
|
564 CHECK_HEX_CONST(40000000);
|
|
|
565 CHECK_OCT_CONST(017777777777);
|
|
|
566 CHECK_HEX_CONST(7fffffff);
|
|
|
567 CHECK_OCT_CONST(020000000000);
|
|
|
568 CHECK_HEX_CONST(80000000);
|
|
|
569 CHECK_OCT_CONST(037777777777);
|
|
|
570 CHECK_HEX_CONST(ffffffff);
|
|
|
571 #if LONG_AT_LEAST(33)
|
|
|
572 CHECK_OCT_CONST(040000000000);
|
|
|
573 CHECK_HEX_CONST(100000000);
|
|
|
574 CHECK_OCT_CONST(077777777777);
|
|
|
575 CHECK_HEX_CONST(1ffffffff);
|
|
|
576 #endif
|
|
|
577 #if LONG_AT_LEAST(34)
|
|
|
578 CHECK_OCT_CONST(0100000000000);
|
|
|
579 CHECK_HEX_CONST(200000000);
|
|
|
580 CHECK_OCT_CONST(0177777777777);
|
|
|
581 CHECK_HEX_CONST(3ffffffff);
|
|
|
582 #endif
|
|
|
583 #if LONG_AT_LEAST(35)
|
|
|
584 CHECK_OCT_CONST(0200000000000);
|
|
|
585 CHECK_HEX_CONST(400000000);
|
|
|
586 CHECK_OCT_CONST(0377777777777);
|
|
|
587 CHECK_HEX_CONST(7ffffffff);
|
|
|
588 #endif
|
|
|
589 #if LONG_AT_LEAST(36)
|
|
|
590 CHECK_OCT_CONST(0400000000000);
|
|
|
591 CHECK_HEX_CONST(800000000);
|
|
|
592 CHECK_OCT_CONST(0777777777777);
|
|
|
593 CHECK_HEX_CONST(fffffffff);
|
|
|
594 #endif
|
|
|
595 #if LONG_AT_LEAST(37)
|
|
|
596 CHECK_OCT_CONST(01000000000000);
|
|
|
597 CHECK_HEX_CONST(1000000000);
|
|
|
598 CHECK_OCT_CONST(01777777777777);
|
|
|
599 CHECK_HEX_CONST(1fffffffff);
|
|
|
600 #endif
|
|
|
601 #if LONG_AT_LEAST(38)
|
|
|
602 CHECK_OCT_CONST(02000000000000);
|
|
|
603 CHECK_HEX_CONST(2000000000);
|
|
|
604 CHECK_OCT_CONST(03777777777777);
|
|
|
605 CHECK_HEX_CONST(3fffffffff);
|
|
|
606 #endif
|
|
|
607 #if LONG_AT_LEAST(39)
|
|
|
608 CHECK_OCT_CONST(04000000000000);
|
|
|
609 CHECK_HEX_CONST(4000000000);
|
|
|
610 CHECK_OCT_CONST(07777777777777);
|
|
|
611 CHECK_HEX_CONST(7fffffffff);
|
|
|
612 #endif
|
|
|
613 #if LONG_AT_LEAST(40)
|
|
|
614 CHECK_OCT_CONST(010000000000000);
|
|
|
615 CHECK_HEX_CONST(8000000000);
|
|
|
616 CHECK_OCT_CONST(017777777777777);
|
|
|
617 CHECK_HEX_CONST(ffffffffff);
|
|
|
618 #endif
|
|
|
619 #if LONG_AT_LEAST(41)
|
|
|
620 CHECK_OCT_CONST(020000000000000);
|
|
|
621 CHECK_HEX_CONST(10000000000);
|
|
|
622 CHECK_OCT_CONST(037777777777777);
|
|
|
623 CHECK_HEX_CONST(1ffffffffff);
|
|
|
624 #endif
|
|
|
625 #if LONG_AT_LEAST(42)
|
|
|
626 CHECK_OCT_CONST(040000000000000);
|
|
|
627 CHECK_HEX_CONST(20000000000);
|
|
|
628 CHECK_OCT_CONST(077777777777777);
|
|
|
629 CHECK_HEX_CONST(3ffffffffff);
|
|
|
630 #endif
|
|
|
631 #if LONG_AT_LEAST(43)
|
|
|
632 CHECK_OCT_CONST(0100000000000000);
|
|
|
633 CHECK_HEX_CONST(40000000000);
|
|
|
634 CHECK_OCT_CONST(0177777777777777);
|
|
|
635 CHECK_HEX_CONST(7ffffffffff);
|
|
|
636 #endif
|
|
|
637 #if LONG_AT_LEAST(44)
|
|
|
638 CHECK_OCT_CONST(0200000000000000);
|
|
|
639 CHECK_HEX_CONST(80000000000);
|
|
|
640 CHECK_OCT_CONST(0377777777777777);
|
|
|
641 CHECK_HEX_CONST(fffffffffff);
|
|
|
642 #endif
|
|
|
643 #if LONG_AT_LEAST(45)
|
|
|
644 CHECK_OCT_CONST(0400000000000000);
|
|
|
645 CHECK_HEX_CONST(100000000000);
|
|
|
646 CHECK_OCT_CONST(0777777777777777);
|
|
|
647 CHECK_HEX_CONST(1fffffffffff);
|
|
|
648 #endif
|
|
|
649 #if LONG_AT_LEAST(46)
|
|
|
650 CHECK_OCT_CONST(01000000000000000);
|
|
|
651 CHECK_HEX_CONST(200000000000);
|
|
|
652 CHECK_OCT_CONST(01777777777777777);
|
|
|
653 CHECK_HEX_CONST(3fffffffffff);
|
|
|
654 #endif
|
|
|
655 #if LONG_AT_LEAST(47)
|
|
|
656 CHECK_OCT_CONST(02000000000000000);
|
|
|
657 CHECK_HEX_CONST(400000000000);
|
|
|
658 CHECK_OCT_CONST(03777777777777777);
|
|
|
659 CHECK_HEX_CONST(7fffffffffff);
|
|
|
660 #endif
|
|
|
661 #if LONG_AT_LEAST(48)
|
|
|
662 CHECK_OCT_CONST(04000000000000000);
|
|
|
663 CHECK_HEX_CONST(800000000000);
|
|
|
664 CHECK_OCT_CONST(07777777777777777);
|
|
|
665 CHECK_HEX_CONST(ffffffffffff);
|
|
|
666 #endif
|
|
|
667 #if LONG_AT_LEAST(49)
|
|
|
668 CHECK_OCT_CONST(010000000000000000);
|
|
|
669 CHECK_HEX_CONST(1000000000000);
|
|
|
670 CHECK_OCT_CONST(017777777777777777);
|
|
|
671 CHECK_HEX_CONST(1ffffffffffff);
|
|
|
672 #endif
|
|
|
673 #if LONG_AT_LEAST(50)
|
|
|
674 CHECK_OCT_CONST(020000000000000000);
|
|
|
675 CHECK_HEX_CONST(2000000000000);
|
|
|
676 CHECK_OCT_CONST(037777777777777777);
|
|
|
677 CHECK_HEX_CONST(3ffffffffffff);
|
|
|
678 #endif
|
|
|
679 #if LONG_AT_LEAST(51)
|
|
|
680 CHECK_OCT_CONST(040000000000000000);
|
|
|
681 CHECK_HEX_CONST(4000000000000);
|
|
|
682 CHECK_OCT_CONST(077777777777777777);
|
|
|
683 CHECK_HEX_CONST(7ffffffffffff);
|
|
|
684 #endif
|
|
|
685 #if LONG_AT_LEAST(52)
|
|
|
686 CHECK_OCT_CONST(0100000000000000000);
|
|
|
687 CHECK_HEX_CONST(8000000000000);
|
|
|
688 CHECK_OCT_CONST(0177777777777777777);
|
|
|
689 CHECK_HEX_CONST(fffffffffffff);
|
|
|
690 #endif
|
|
|
691 #if LONG_AT_LEAST(53)
|
|
|
692 CHECK_OCT_CONST(0200000000000000000);
|
|
|
693 CHECK_HEX_CONST(10000000000000);
|
|
|
694 CHECK_OCT_CONST(0377777777777777777);
|
|
|
695 CHECK_HEX_CONST(1fffffffffffff);
|
|
|
696 #endif
|
|
|
697 #if LONG_AT_LEAST(54)
|
|
|
698 CHECK_OCT_CONST(0400000000000000000);
|
|
|
699 CHECK_HEX_CONST(20000000000000);
|
|
|
700 CHECK_OCT_CONST(0777777777777777777);
|
|
|
701 CHECK_HEX_CONST(3fffffffffffff);
|
|
|
702 #endif
|
|
|
703 #if LONG_AT_LEAST(55)
|
|
|
704 CHECK_OCT_CONST(01000000000000000000);
|
|
|
705 CHECK_HEX_CONST(40000000000000);
|
|
|
706 CHECK_OCT_CONST(01777777777777777777);
|
|
|
707 CHECK_HEX_CONST(7fffffffffffff);
|
|
|
708 #endif
|
|
|
709 #if LONG_AT_LEAST(56)
|
|
|
710 CHECK_OCT_CONST(02000000000000000000);
|
|
|
711 CHECK_HEX_CONST(80000000000000);
|
|
|
712 CHECK_OCT_CONST(03777777777777777777);
|
|
|
713 CHECK_HEX_CONST(ffffffffffffff);
|
|
|
714 #endif
|
|
|
715 #if LONG_AT_LEAST(57)
|
|
|
716 CHECK_OCT_CONST(04000000000000000000);
|
|
|
717 CHECK_HEX_CONST(100000000000000);
|
|
|
718 CHECK_OCT_CONST(07777777777777777777);
|
|
|
719 CHECK_HEX_CONST(1ffffffffffffff);
|
|
|
720 #endif
|
|
|
721 #if LONG_AT_LEAST(58)
|
|
|
722 CHECK_OCT_CONST(010000000000000000000);
|
|
|
723 CHECK_HEX_CONST(200000000000000);
|
|
|
724 CHECK_OCT_CONST(017777777777777777777);
|
|
|
725 CHECK_HEX_CONST(3ffffffffffffff);
|
|
|
726 #endif
|
|
|
727 #if LONG_AT_LEAST(59)
|
|
|
728 CHECK_OCT_CONST(020000000000000000000);
|
|
|
729 CHECK_HEX_CONST(400000000000000);
|
|
|
730 CHECK_OCT_CONST(037777777777777777777);
|
|
|
731 CHECK_HEX_CONST(7ffffffffffffff);
|
|
|
732 #endif
|
|
|
733 #if LONG_AT_LEAST(60)
|
|
|
734 CHECK_OCT_CONST(040000000000000000000);
|
|
|
735 CHECK_HEX_CONST(800000000000000);
|
|
|
736 CHECK_OCT_CONST(077777777777777777777);
|
|
|
737 CHECK_HEX_CONST(fffffffffffffff);
|
|
|
738 #endif
|
|
|
739 #if LONG_AT_LEAST(61)
|
|
|
740 CHECK_OCT_CONST(0100000000000000000000);
|
|
|
741 CHECK_HEX_CONST(1000000000000000);
|
|
|
742 CHECK_OCT_CONST(0177777777777777777777);
|
|
|
743 CHECK_HEX_CONST(1fffffffffffffff);
|
|
|
744 #endif
|
|
|
745 #if LONG_AT_LEAST(62)
|
|
|
746 CHECK_OCT_CONST(0200000000000000000000);
|
|
|
747 CHECK_HEX_CONST(2000000000000000);
|
|
|
748 CHECK_OCT_CONST(0377777777777777777777);
|
|
|
749 CHECK_HEX_CONST(3fffffffffffffff);
|
|
|
750 #endif
|
|
|
751 #if LONG_AT_LEAST(63)
|
|
|
752 CHECK_OCT_CONST(0400000000000000000000);
|
|
|
753 CHECK_HEX_CONST(4000000000000000);
|
|
|
754 CHECK_OCT_CONST(0777777777777777777777);
|
|
|
755 CHECK_HEX_CONST(7fffffffffffffff);
|
|
|
756 #endif
|
|
|
757 #if LONG_AT_LEAST(64)
|
|
|
758 CHECK_OCT_CONST(01000000000000000000000);
|
|
|
759 CHECK_HEX_CONST(8000000000000000);
|
|
|
760 CHECK_OCT_CONST(01777777777777777777777);
|
|
|
761 CHECK_HEX_CONST(ffffffffffffffff);
|
|
|
762 #endif
|
|
|
763 }
|
