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
236void
237foo (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}
764