gcc/testsuite/gcc.dg/c90-intconst-1.c

   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 }