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