1 /* Test for integer constant types.  */
2 
3 /* Origin: Joseph Myers <jsm28@cam.ac.uk>.  */
4 /* { dg-do compile } */
5 /* { dg-options "-std=iso9899:1999 -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 #define type_comb6(T1, T2, T3, T4, T5, T6)				   \
34 	type_comb2(T1,							   \
35 		   type_comb2(T2,					   \
36 			      type_comb2(T3,				   \
37 					 type_comb2(T4,			   \
38 						    type_comb2(T5, T6)))))
39 
40 /* (T1 *) if E1, otherwise (T2 *) if E2.  */
41 #define first_of2p(T1, E1, T2, E2) type_comb2(type_if(T1, (E1)),	   \
42 					     type_if(T2, (!(E1) && (E2))))
43 /* (T1 *) if E1, otherwise (T2 *) if E2, otherwise (T3 *) if E3.  */
44 #define first_of3p(T1, E1, T2, E2, T3, E3)			\
45 	type_comb3(type_if(T1, (E1)),				\
46 		   type_if(T2, (!(E1) && (E2))),		\
47 		   type_if(T3, (!(E1) && !(E2) && (E3))))
48 /* (T1 *) if E1, otherwise (T2 *) if E2, otherwise (T3 *) if E3, otherwise
49    (T4 *) if E4.  */
50 #define first_of4p(T1, E1, T2, E2, T3, E3, T4, E4)			\
51 	type_comb4(type_if(T1, (E1)),					\
52 		   type_if(T2, (!(E1) && (E2))),			\
53 		   type_if(T3, (!(E1) && !(E2) && (E3))),		\
54 		   type_if(T4, (!(E1) && !(E2) && !(E3) && (E4))))
55 /* (T1 *) if E1, otherwise (T2 *) if E2, otherwise (T3 *) if E3, otherwise
56    (T4 *) if E4, otherwise (T5 *) if E5, otherwise (T6 *) if E6.  */
57 #define first_of6p(T1, E1, T2, E2, T3, E3, T4, E4, T5, E5, T6, E6)	    \
58 	type_comb6(type_if(T1, (E1)),					    \
59 		   type_if(T2, (!(E1) && (E2))),			    \
60 		   type_if(T3, (!(E1) && !(E2) && (E3))),		    \
61 		   type_if(T4, (!(E1) && !(E2) && !(E3) && (E4))),	    \
62 		   type_if(T5, (!(E1) && !(E2) && !(E3) && !(E4) && (E5))), \
63 		   type_if(T6, (!(E1) && !(E2) && !(E3)			    \
64 				&& !(E4) && !(E5) && (E6))))
65 
66 /* Likewise, but return the original type rather than a pointer type.  */
67 #define first_of2(T1, E1, T2, E2)			\
68 	__typeof__(*((first_of2p(T1, (E1), T2, (E2)))0))
69 #define first_of3(T1, E1, T2, E2, T3, E3)				\
70 	__typeof__(*((first_of3p(T1, (E1), T2, (E2), T3, (E3)))0))
71 #define first_of4(T1, E1, T2, E2, T3, E3, T4, E4)			    \
72 	__typeof__(*((first_of4p(T1, (E1), T2, (E2), T3, (E3), T4, (E4)))0))
73 #define first_of6(T1, E1, T2, E2, T3, E3, T4, E4, T5, E5, T6, E6)	\
74 	__typeof__(*((first_of6p(T1, (E1), T2, (E2), T3, (E3),		\
75 				 T4, (E4), T5, (E5), T6, (E6)))0))
76 
77 /* Types of constants according to the C99 rules.  */
78 #define C99_UNSUF_DEC_TYPE(C)				\
79 	first_of3(int, (C) <= INT_MAX,			\
80 		  long int, (C) <= LONG_MAX,		\
81 		  long long int, (C) <= LLONG_MAX)
82 #define C99_UNSUF_OCTHEX_TYPE(C)				\
83 	first_of6(int, (C) <= INT_MAX,				\
84 		  unsigned int, (C) <= UINT_MAX,		\
85 		  long int, (C) <= LONG_MAX,			\
86 		  unsigned long int, (C) <= ULONG_MAX,		\
87 		  long long int, (C) <= LLONG_MAX,		\
88 		  unsigned long long int, (C) <= ULLONG_MAX)
89 #define C99_SUFu_TYPE(C)					\
90 	first_of3(unsigned int, (C) <= UINT_MAX,		\
91 		  unsigned long int, (C) <= ULONG_MAX,		\
92 		  unsigned long long int, (C) <= ULLONG_MAX)
93 #define C99_SUFl_DEC_TYPE(C)				\
94 	first_of2(long int, (C) <= LONG_MAX,		\
95 		  long long int, (C) <= LLONG_MAX)
96 #define C99_SUFl_OCTHEX_TYPE(C)					\
97 	first_of4(long int, (C) <= LONG_MAX,			\
98 		  unsigned long int, (C) <= ULONG_MAX,		\
99 		  long long int, (C) <= LLONG_MAX,		\
100 		  unsigned long long int, (C) <= ULLONG_MAX)
101 #define C99_SUFul_TYPE(C)					\
102 	first_of2(unsigned long int, (C) <= ULONG_MAX,		\
103 		  unsigned long long int, (C) <= ULLONG_MAX)
104 #define C99_SUFll_OCTHEX_TYPE(C)				\
105 	first_of2(long long int, (C) <= LLONG_MAX,		\
106 		  unsigned long long int, (C) <= ULLONG_MAX)
107 
108 /* Checks that constants have correct type.  */
109 #define CHECK_UNSUF_DEC_TYPE(C) ASSERT_CONST_TYPE((C), C99_UNSUF_DEC_TYPE((C)))
110 #define CHECK_UNSUF_OCTHEX_TYPE(C)				\
111 	ASSERT_CONST_TYPE((C), C99_UNSUF_OCTHEX_TYPE((C)))
112 #define CHECK_SUFu_TYPE(C) ASSERT_CONST_TYPE((C), C99_SUFu_TYPE((C)))
113 #define CHECK_SUFl_DEC_TYPE(C) ASSERT_CONST_TYPE((C), C99_SUFl_DEC_TYPE((C)))
114 #define CHECK_SUFl_OCTHEX_TYPE(C)				\
115 	ASSERT_CONST_TYPE((C), C99_SUFl_OCTHEX_TYPE((C)))
116 #define CHECK_SUFul_TYPE(C) ASSERT_CONST_TYPE((C), C99_SUFul_TYPE((C)))
117 #define CHECK_SUFll_DEC_TYPE(C) ASSERT_CONST_TYPE((C), long long int)
118 #define CHECK_SUFll_OCTHEX_TYPE(C)				\
119 	ASSERT_CONST_TYPE((C), C99_SUFll_OCTHEX_TYPE((C)))
120 #define CHECK_SUFull_TYPE(C) ASSERT_CONST_TYPE((C), unsigned long long int)
121 
122 /* Check a decimal value, with all suffixes.  */
123 #define CHECK_DEC_CONST(C)			\
124 	CHECK_UNSUF_DEC_TYPE(C);		\
125 	CHECK_SUFu_TYPE(C##u);			\
126 	CHECK_SUFu_TYPE(C##U);			\
127 	CHECK_SUFl_DEC_TYPE(C##l);		\
128 	CHECK_SUFl_DEC_TYPE(C##L);		\
129 	CHECK_SUFul_TYPE(C##ul);		\
130 	CHECK_SUFul_TYPE(C##uL);		\
131 	CHECK_SUFul_TYPE(C##Ul);		\
132 	CHECK_SUFul_TYPE(C##UL);		\
133 	CHECK_SUFll_DEC_TYPE(C##ll);		\
134 	CHECK_SUFll_DEC_TYPE(C##LL);		\
135 	CHECK_SUFull_TYPE(C##ull);		\
136 	CHECK_SUFull_TYPE(C##uLL);		\
137 	CHECK_SUFull_TYPE(C##Ull);		\
138 	CHECK_SUFull_TYPE(C##ULL);
139 
140 /* Check an octal or hexadecimal value, with all suffixes.  */
141 #define CHECK_OCTHEX_CONST(C)			\
142 	CHECK_UNSUF_OCTHEX_TYPE(C);		\
143 	CHECK_SUFu_TYPE(C##u);			\
144 	CHECK_SUFu_TYPE(C##U);			\
145 	CHECK_SUFl_OCTHEX_TYPE(C##l);		\
146 	CHECK_SUFl_OCTHEX_TYPE(C##L);		\
147 	CHECK_SUFul_TYPE(C##ul);		\
148 	CHECK_SUFul_TYPE(C##uL);		\
149 	CHECK_SUFul_TYPE(C##Ul);		\
150 	CHECK_SUFul_TYPE(C##UL);		\
151 	CHECK_SUFll_OCTHEX_TYPE(C##ll);		\
152 	CHECK_SUFll_OCTHEX_TYPE(C##LL);		\
153 	CHECK_SUFull_TYPE(C##ull);		\
154 	CHECK_SUFull_TYPE(C##uLL);		\
155 	CHECK_SUFull_TYPE(C##Ull);		\
156 	CHECK_SUFull_TYPE(C##ULL);
157 
158 #define CHECK_OCT_CONST(C) CHECK_OCTHEX_CONST(C)
159 #define CHECK_HEX_CONST(C)			\
160 	CHECK_OCTHEX_CONST(0x##C);		\
161 	CHECK_OCTHEX_CONST(0X##C);
162 
163 /* True iff "long long" is at least B bits.  This presumes that (B-2)/3 is at
164    most 63.  */
165 #define LLONG_AT_LEAST(B)			\
166 	(LLONG_MAX >> ((B)-2)/3 >> ((B)-2)/3	\
167 	 >> ((B)-2 - ((B)-2)/3 - ((B)-2)/3))
168 
169 #define LLONG_HAS_BITS(B) (LLONG_AT_LEAST((B)) && !LLONG_AT_LEAST((B) + 1))
170 
171 void
foo(void)172 foo (void)
173 {
174   /* Decimal.  */
175   /* Check all 2^n and 2^n - 1 up to 2^71 - 1.  */
176   CHECK_DEC_CONST(1);
177   CHECK_DEC_CONST(2);
178   CHECK_DEC_CONST(3);
179   CHECK_DEC_CONST(4);
180   CHECK_DEC_CONST(7);
181   CHECK_DEC_CONST(8);
182   CHECK_DEC_CONST(15);
183   CHECK_DEC_CONST(16);
184   CHECK_DEC_CONST(31);
185   CHECK_DEC_CONST(32);
186   CHECK_DEC_CONST(63);
187   CHECK_DEC_CONST(64);
188   CHECK_DEC_CONST(127);
189   CHECK_DEC_CONST(128);
190   CHECK_DEC_CONST(255);
191   CHECK_DEC_CONST(256);
192   CHECK_DEC_CONST(511);
193   CHECK_DEC_CONST(512);
194   CHECK_DEC_CONST(1023);
195   CHECK_DEC_CONST(1024);
196   CHECK_DEC_CONST(2047);
197   CHECK_DEC_CONST(2048);
198   CHECK_DEC_CONST(4095);
199   CHECK_DEC_CONST(4096);
200   CHECK_DEC_CONST(8191);
201   CHECK_DEC_CONST(8192);
202   CHECK_DEC_CONST(16383);
203   CHECK_DEC_CONST(16384);
204   CHECK_DEC_CONST(32767);
205   CHECK_DEC_CONST(32768);
206   CHECK_DEC_CONST(65535);
207   CHECK_DEC_CONST(65536);
208   CHECK_DEC_CONST(131071);
209   CHECK_DEC_CONST(131072);
210   CHECK_DEC_CONST(262143);
211   CHECK_DEC_CONST(262144);
212   CHECK_DEC_CONST(524287);
213   CHECK_DEC_CONST(524288);
214   CHECK_DEC_CONST(1048575);
215   CHECK_DEC_CONST(1048576);
216   CHECK_DEC_CONST(2097151);
217   CHECK_DEC_CONST(2097152);
218   CHECK_DEC_CONST(4194303);
219   CHECK_DEC_CONST(4194304);
220   CHECK_DEC_CONST(8388607);
221   CHECK_DEC_CONST(8388608);
222   CHECK_DEC_CONST(16777215);
223   CHECK_DEC_CONST(16777216);
224   CHECK_DEC_CONST(33554431);
225   CHECK_DEC_CONST(33554432);
226   CHECK_DEC_CONST(67108863);
227   CHECK_DEC_CONST(67108864);
228   CHECK_DEC_CONST(134217727);
229   CHECK_DEC_CONST(134217728);
230   CHECK_DEC_CONST(268435455);
231   CHECK_DEC_CONST(268435456);
232   CHECK_DEC_CONST(536870911);
233   CHECK_DEC_CONST(536870912);
234   CHECK_DEC_CONST(1073741823);
235   CHECK_DEC_CONST(1073741824);
236   CHECK_DEC_CONST(2147483647);
237   CHECK_DEC_CONST(2147483648);
238   CHECK_DEC_CONST(4294967295);
239   CHECK_DEC_CONST(4294967296);
240   CHECK_DEC_CONST(8589934591);
241   CHECK_DEC_CONST(8589934592);
242   CHECK_DEC_CONST(17179869183);
243   CHECK_DEC_CONST(17179869184);
244   CHECK_DEC_CONST(34359738367);
245   CHECK_DEC_CONST(34359738368);
246   CHECK_DEC_CONST(68719476735);
247   CHECK_DEC_CONST(68719476736);
248   CHECK_DEC_CONST(137438953471);
249   CHECK_DEC_CONST(137438953472);
250   CHECK_DEC_CONST(274877906943);
251   CHECK_DEC_CONST(274877906944);
252   CHECK_DEC_CONST(549755813887);
253   CHECK_DEC_CONST(549755813888);
254   CHECK_DEC_CONST(1099511627775);
255   CHECK_DEC_CONST(1099511627776);
256   CHECK_DEC_CONST(2199023255551);
257   CHECK_DEC_CONST(2199023255552);
258   CHECK_DEC_CONST(4398046511103);
259   CHECK_DEC_CONST(4398046511104);
260   CHECK_DEC_CONST(8796093022207);
261   CHECK_DEC_CONST(8796093022208);
262   CHECK_DEC_CONST(17592186044415);
263   CHECK_DEC_CONST(17592186044416);
264   CHECK_DEC_CONST(35184372088831);
265   CHECK_DEC_CONST(35184372088832);
266   CHECK_DEC_CONST(70368744177663);
267   CHECK_DEC_CONST(70368744177664);
268   CHECK_DEC_CONST(140737488355327);
269   CHECK_DEC_CONST(140737488355328);
270   CHECK_DEC_CONST(281474976710655);
271   CHECK_DEC_CONST(281474976710656);
272   CHECK_DEC_CONST(562949953421311);
273   CHECK_DEC_CONST(562949953421312);
274   CHECK_DEC_CONST(1125899906842623);
275   CHECK_DEC_CONST(1125899906842624);
276   CHECK_DEC_CONST(2251799813685247);
277   CHECK_DEC_CONST(2251799813685248);
278   CHECK_DEC_CONST(4503599627370495);
279   CHECK_DEC_CONST(4503599627370496);
280   CHECK_DEC_CONST(9007199254740991);
281   CHECK_DEC_CONST(9007199254740992);
282   CHECK_DEC_CONST(18014398509481983);
283   CHECK_DEC_CONST(18014398509481984);
284   CHECK_DEC_CONST(36028797018963967);
285   CHECK_DEC_CONST(36028797018963968);
286   CHECK_DEC_CONST(72057594037927935);
287   CHECK_DEC_CONST(72057594037927936);
288   CHECK_DEC_CONST(144115188075855871);
289   CHECK_DEC_CONST(144115188075855872);
290   CHECK_DEC_CONST(288230376151711743);
291   CHECK_DEC_CONST(288230376151711744);
292   CHECK_DEC_CONST(576460752303423487);
293   CHECK_DEC_CONST(576460752303423488);
294   CHECK_DEC_CONST(1152921504606846975);
295   CHECK_DEC_CONST(1152921504606846976);
296   CHECK_DEC_CONST(2305843009213693951);
297   CHECK_DEC_CONST(2305843009213693952);
298   CHECK_DEC_CONST(4611686018427387903);
299   CHECK_DEC_CONST(4611686018427387904);
300   CHECK_DEC_CONST(9223372036854775807);
301 #if LLONG_AT_LEAST(65)
302   CHECK_DEC_CONST(9223372036854775808);
303   CHECK_DEC_CONST(18446744073709551615);
304 #endif
305 #if LLONG_AT_LEAST(66)
306   CHECK_DEC_CONST(18446744073709551616);
307   CHECK_DEC_CONST(36893488147419103231);
308 #endif
309 #if LLONG_AT_LEAST(67)
310   CHECK_DEC_CONST(36893488147419103232);
311   CHECK_DEC_CONST(73786976294838206463);
312 #endif
313 #if LLONG_AT_LEAST(68)
314   CHECK_DEC_CONST(73786976294838206464);
315   CHECK_DEC_CONST(147573952589676412927);
316 #endif
317 #if LLONG_AT_LEAST(69)
318   CHECK_DEC_CONST(147573952589676412928);
319   CHECK_DEC_CONST(295147905179352825855);
320 #endif
321 #if LLONG_AT_LEAST(70)
322   CHECK_DEC_CONST(295147905179352825856);
323   CHECK_DEC_CONST(590295810358705651711);
324 #endif
325 #if LLONG_AT_LEAST(71)
326   CHECK_DEC_CONST(590295810358705651712);
327   CHECK_DEC_CONST(1180591620717411303423);
328 #endif
329 #if LLONG_AT_LEAST(72)
330   CHECK_DEC_CONST(1180591620717411303424);
331   CHECK_DEC_CONST(2361183241434822606847);
332 #endif
333   /* Octal and hexadecimal.  */
334   /* Check all 2^n and 2^n - 1 up to 2^72 - 1.  */
335   CHECK_OCT_CONST(0);
336   CHECK_HEX_CONST(0);
337   CHECK_OCT_CONST(01);
338   CHECK_HEX_CONST(1);
339   CHECK_OCT_CONST(02);
340   CHECK_HEX_CONST(2);
341   CHECK_OCT_CONST(03);
342   CHECK_HEX_CONST(3);
343   CHECK_OCT_CONST(04);
344   CHECK_HEX_CONST(4);
345   CHECK_OCT_CONST(07);
346   CHECK_HEX_CONST(7);
347   CHECK_OCT_CONST(010);
348   CHECK_HEX_CONST(8);
349   CHECK_OCT_CONST(017);
350   CHECK_HEX_CONST(f);
351   CHECK_OCT_CONST(020);
352   CHECK_HEX_CONST(10);
353   CHECK_OCT_CONST(037);
354   CHECK_HEX_CONST(1f);
355   CHECK_OCT_CONST(040);
356   CHECK_HEX_CONST(20);
357   CHECK_OCT_CONST(077);
358   CHECK_HEX_CONST(3f);
359   CHECK_OCT_CONST(0100);
360   CHECK_HEX_CONST(40);
361   CHECK_OCT_CONST(0177);
362   CHECK_HEX_CONST(7f);
363   CHECK_OCT_CONST(0200);
364   CHECK_HEX_CONST(80);
365   CHECK_OCT_CONST(0377);
366   CHECK_HEX_CONST(ff);
367   CHECK_OCT_CONST(0400);
368   CHECK_HEX_CONST(100);
369   CHECK_OCT_CONST(0777);
370   CHECK_HEX_CONST(1ff);
371   CHECK_OCT_CONST(01000);
372   CHECK_HEX_CONST(200);
373   CHECK_OCT_CONST(01777);
374   CHECK_HEX_CONST(3ff);
375   CHECK_OCT_CONST(02000);
376   CHECK_HEX_CONST(400);
377   CHECK_OCT_CONST(03777);
378   CHECK_HEX_CONST(7ff);
379   CHECK_OCT_CONST(04000);
380   CHECK_HEX_CONST(800);
381   CHECK_OCT_CONST(07777);
382   CHECK_HEX_CONST(fff);
383   CHECK_OCT_CONST(010000);
384   CHECK_HEX_CONST(1000);
385   CHECK_OCT_CONST(017777);
386   CHECK_HEX_CONST(1fff);
387   CHECK_OCT_CONST(020000);
388   CHECK_HEX_CONST(2000);
389   CHECK_OCT_CONST(037777);
390   CHECK_HEX_CONST(3fff);
391   CHECK_OCT_CONST(040000);
392   CHECK_HEX_CONST(4000);
393   CHECK_OCT_CONST(077777);
394   CHECK_HEX_CONST(7fff);
395   CHECK_OCT_CONST(0100000);
396   CHECK_HEX_CONST(8000);
397   CHECK_OCT_CONST(0177777);
398   CHECK_HEX_CONST(ffff);
399   CHECK_OCT_CONST(0200000);
400   CHECK_HEX_CONST(10000);
401   CHECK_OCT_CONST(0377777);
402   CHECK_HEX_CONST(1ffff);
403   CHECK_OCT_CONST(0400000);
404   CHECK_HEX_CONST(20000);
405   CHECK_OCT_CONST(0777777);
406   CHECK_HEX_CONST(3ffff);
407   CHECK_OCT_CONST(01000000);
408   CHECK_HEX_CONST(40000);
409   CHECK_OCT_CONST(01777777);
410   CHECK_HEX_CONST(7ffff);
411   CHECK_OCT_CONST(02000000);
412   CHECK_HEX_CONST(80000);
413   CHECK_OCT_CONST(03777777);
414   CHECK_HEX_CONST(fffff);
415   CHECK_OCT_CONST(04000000);
416   CHECK_HEX_CONST(100000);
417   CHECK_OCT_CONST(07777777);
418   CHECK_HEX_CONST(1fffff);
419   CHECK_OCT_CONST(010000000);
420   CHECK_HEX_CONST(200000);
421   CHECK_OCT_CONST(017777777);
422   CHECK_HEX_CONST(3fffff);
423   CHECK_OCT_CONST(020000000);
424   CHECK_HEX_CONST(400000);
425   CHECK_OCT_CONST(037777777);
426   CHECK_HEX_CONST(7fffff);
427   CHECK_OCT_CONST(040000000);
428   CHECK_HEX_CONST(800000);
429   CHECK_OCT_CONST(077777777);
430   CHECK_HEX_CONST(ffffff);
431   CHECK_OCT_CONST(0100000000);
432   CHECK_HEX_CONST(1000000);
433   CHECK_OCT_CONST(0177777777);
434   CHECK_HEX_CONST(1ffffff);
435   CHECK_OCT_CONST(0200000000);
436   CHECK_HEX_CONST(2000000);
437   CHECK_OCT_CONST(0377777777);
438   CHECK_HEX_CONST(3ffffff);
439   CHECK_OCT_CONST(0400000000);
440   CHECK_HEX_CONST(4000000);
441   CHECK_OCT_CONST(0777777777);
442   CHECK_HEX_CONST(7ffffff);
443   CHECK_OCT_CONST(01000000000);
444   CHECK_HEX_CONST(8000000);
445   CHECK_OCT_CONST(01777777777);
446   CHECK_HEX_CONST(fffffff);
447   CHECK_OCT_CONST(02000000000);
448   CHECK_HEX_CONST(10000000);
449   CHECK_OCT_CONST(03777777777);
450   CHECK_HEX_CONST(1fffffff);
451   CHECK_OCT_CONST(04000000000);
452   CHECK_HEX_CONST(20000000);
453   CHECK_OCT_CONST(07777777777);
454   CHECK_HEX_CONST(3fffffff);
455   CHECK_OCT_CONST(010000000000);
456   CHECK_HEX_CONST(40000000);
457   CHECK_OCT_CONST(017777777777);
458   CHECK_HEX_CONST(7fffffff);
459   CHECK_OCT_CONST(020000000000);
460   CHECK_HEX_CONST(80000000);
461   CHECK_OCT_CONST(037777777777);
462   CHECK_HEX_CONST(ffffffff);
463   CHECK_OCT_CONST(040000000000);
464   CHECK_HEX_CONST(100000000);
465   CHECK_OCT_CONST(077777777777);
466   CHECK_HEX_CONST(1ffffffff);
467   CHECK_OCT_CONST(0100000000000);
468   CHECK_HEX_CONST(200000000);
469   CHECK_OCT_CONST(0177777777777);
470   CHECK_HEX_CONST(3ffffffff);
471   CHECK_OCT_CONST(0200000000000);
472   CHECK_HEX_CONST(400000000);
473   CHECK_OCT_CONST(0377777777777);
474   CHECK_HEX_CONST(7ffffffff);
475   CHECK_OCT_CONST(0400000000000);
476   CHECK_HEX_CONST(800000000);
477   CHECK_OCT_CONST(0777777777777);
478   CHECK_HEX_CONST(fffffffff);
479   CHECK_OCT_CONST(01000000000000);
480   CHECK_HEX_CONST(1000000000);
481   CHECK_OCT_CONST(01777777777777);
482   CHECK_HEX_CONST(1fffffffff);
483   CHECK_OCT_CONST(02000000000000);
484   CHECK_HEX_CONST(2000000000);
485   CHECK_OCT_CONST(03777777777777);
486   CHECK_HEX_CONST(3fffffffff);
487   CHECK_OCT_CONST(04000000000000);
488   CHECK_HEX_CONST(4000000000);
489   CHECK_OCT_CONST(07777777777777);
490   CHECK_HEX_CONST(7fffffffff);
491   CHECK_OCT_CONST(010000000000000);
492   CHECK_HEX_CONST(8000000000);
493   CHECK_OCT_CONST(017777777777777);
494   CHECK_HEX_CONST(ffffffffff);
495   CHECK_OCT_CONST(020000000000000);
496   CHECK_HEX_CONST(10000000000);
497   CHECK_OCT_CONST(037777777777777);
498   CHECK_HEX_CONST(1ffffffffff);
499   CHECK_OCT_CONST(040000000000000);
500   CHECK_HEX_CONST(20000000000);
501   CHECK_OCT_CONST(077777777777777);
502   CHECK_HEX_CONST(3ffffffffff);
503   CHECK_OCT_CONST(0100000000000000);
504   CHECK_HEX_CONST(40000000000);
505   CHECK_OCT_CONST(0177777777777777);
506   CHECK_HEX_CONST(7ffffffffff);
507   CHECK_OCT_CONST(0200000000000000);
508   CHECK_HEX_CONST(80000000000);
509   CHECK_OCT_CONST(0377777777777777);
510   CHECK_HEX_CONST(fffffffffff);
511   CHECK_OCT_CONST(0400000000000000);
512   CHECK_HEX_CONST(100000000000);
513   CHECK_OCT_CONST(0777777777777777);
514   CHECK_HEX_CONST(1fffffffffff);
515   CHECK_OCT_CONST(01000000000000000);
516   CHECK_HEX_CONST(200000000000);
517   CHECK_OCT_CONST(01777777777777777);
518   CHECK_HEX_CONST(3fffffffffff);
519   CHECK_OCT_CONST(02000000000000000);
520   CHECK_HEX_CONST(400000000000);
521   CHECK_OCT_CONST(03777777777777777);
522   CHECK_HEX_CONST(7fffffffffff);
523   CHECK_OCT_CONST(04000000000000000);
524   CHECK_HEX_CONST(800000000000);
525   CHECK_OCT_CONST(07777777777777777);
526   CHECK_HEX_CONST(ffffffffffff);
527   CHECK_OCT_CONST(010000000000000000);
528   CHECK_HEX_CONST(1000000000000);
529   CHECK_OCT_CONST(017777777777777777);
530   CHECK_HEX_CONST(1ffffffffffff);
531   CHECK_OCT_CONST(020000000000000000);
532   CHECK_HEX_CONST(2000000000000);
533   CHECK_OCT_CONST(037777777777777777);
534   CHECK_HEX_CONST(3ffffffffffff);
535   CHECK_OCT_CONST(040000000000000000);
536   CHECK_HEX_CONST(4000000000000);
537   CHECK_OCT_CONST(077777777777777777);
538   CHECK_HEX_CONST(7ffffffffffff);
539   CHECK_OCT_CONST(0100000000000000000);
540   CHECK_HEX_CONST(8000000000000);
541   CHECK_OCT_CONST(0177777777777777777);
542   CHECK_HEX_CONST(fffffffffffff);
543   CHECK_OCT_CONST(0200000000000000000);
544   CHECK_HEX_CONST(10000000000000);
545   CHECK_OCT_CONST(0377777777777777777);
546   CHECK_HEX_CONST(1fffffffffffff);
547   CHECK_OCT_CONST(0400000000000000000);
548   CHECK_HEX_CONST(20000000000000);
549   CHECK_OCT_CONST(0777777777777777777);
550   CHECK_HEX_CONST(3fffffffffffff);
551   CHECK_OCT_CONST(01000000000000000000);
552   CHECK_HEX_CONST(40000000000000);
553   CHECK_OCT_CONST(01777777777777777777);
554   CHECK_HEX_CONST(7fffffffffffff);
555   CHECK_OCT_CONST(02000000000000000000);
556   CHECK_HEX_CONST(80000000000000);
557   CHECK_OCT_CONST(03777777777777777777);
558   CHECK_HEX_CONST(ffffffffffffff);
559   CHECK_OCT_CONST(04000000000000000000);
560   CHECK_HEX_CONST(100000000000000);
561   CHECK_OCT_CONST(07777777777777777777);
562   CHECK_HEX_CONST(1ffffffffffffff);
563   CHECK_OCT_CONST(010000000000000000000);
564   CHECK_HEX_CONST(200000000000000);
565   CHECK_OCT_CONST(017777777777777777777);
566   CHECK_HEX_CONST(3ffffffffffffff);
567   CHECK_OCT_CONST(020000000000000000000);
568   CHECK_HEX_CONST(400000000000000);
569   CHECK_OCT_CONST(037777777777777777777);
570   CHECK_HEX_CONST(7ffffffffffffff);
571   CHECK_OCT_CONST(040000000000000000000);
572   CHECK_HEX_CONST(800000000000000);
573   CHECK_OCT_CONST(077777777777777777777);
574   CHECK_HEX_CONST(fffffffffffffff);
575   CHECK_OCT_CONST(0100000000000000000000);
576   CHECK_HEX_CONST(1000000000000000);
577   CHECK_OCT_CONST(0177777777777777777777);
578   CHECK_HEX_CONST(1fffffffffffffff);
579   CHECK_OCT_CONST(0200000000000000000000);
580   CHECK_HEX_CONST(2000000000000000);
581   CHECK_OCT_CONST(0377777777777777777777);
582   CHECK_HEX_CONST(3fffffffffffffff);
583   CHECK_OCT_CONST(0400000000000000000000);
584   CHECK_HEX_CONST(4000000000000000);
585   CHECK_OCT_CONST(0777777777777777777777);
586   CHECK_HEX_CONST(7fffffffffffffff);
587   CHECK_OCT_CONST(01000000000000000000000);
588   CHECK_HEX_CONST(8000000000000000);
589   CHECK_OCT_CONST(01777777777777777777777);
590   CHECK_HEX_CONST(ffffffffffffffff);
591 #if LLONG_AT_LEAST(65)
592   CHECK_OCT_CONST(02000000000000000000000);
593   CHECK_HEX_CONST(10000000000000000);
594   CHECK_OCT_CONST(03777777777777777777777);
595   CHECK_HEX_CONST(1ffffffffffffffff);
596 #endif
597 #if LLONG_AT_LEAST(66)
598   CHECK_OCT_CONST(04000000000000000000000);
599   CHECK_HEX_CONST(20000000000000000);
600   CHECK_OCT_CONST(07777777777777777777777);
601   CHECK_HEX_CONST(3ffffffffffffffff);
602 #endif
603 #if LLONG_AT_LEAST(67)
604   CHECK_OCT_CONST(010000000000000000000000);
605   CHECK_HEX_CONST(40000000000000000);
606   CHECK_OCT_CONST(017777777777777777777777);
607   CHECK_HEX_CONST(7ffffffffffffffff);
608 #endif
609 #if LLONG_AT_LEAST(68)
610   CHECK_OCT_CONST(020000000000000000000000);
611   CHECK_HEX_CONST(80000000000000000);
612   CHECK_OCT_CONST(037777777777777777777777);
613   CHECK_HEX_CONST(fffffffffffffffff);
614 #endif
615 #if LLONG_AT_LEAST(69)
616   CHECK_OCT_CONST(040000000000000000000000);
617   CHECK_HEX_CONST(100000000000000000);
618   CHECK_OCT_CONST(077777777777777777777777);
619   CHECK_HEX_CONST(1fffffffffffffffff);
620 #endif
621 #if LLONG_AT_LEAST(70)
622   CHECK_OCT_CONST(0100000000000000000000000);
623   CHECK_HEX_CONST(200000000000000000);
624   CHECK_OCT_CONST(0177777777777777777777777);
625   CHECK_HEX_CONST(3fffffffffffffffff);
626 #endif
627 #if LLONG_AT_LEAST(71)
628   CHECK_OCT_CONST(0200000000000000000000000);
629   CHECK_HEX_CONST(400000000000000000);
630   CHECK_OCT_CONST(0377777777777777777777777);
631   CHECK_HEX_CONST(7fffffffffffffffff);
632 #endif
633 #if LLONG_AT_LEAST(72)
634   CHECK_OCT_CONST(0400000000000000000000000);
635   CHECK_HEX_CONST(800000000000000000);
636   CHECK_OCT_CONST(0777777777777777777777777);
637   CHECK_HEX_CONST(ffffffffffffffffff);
638 #endif
639 }
640