tests/test-stdint.c

   1 /* Test of <stdint.h> substitute.
   2    Copyright (C) 2006, 2007 Free Software Foundation, Inc.
   3
   4    This program is free software: you can redistribute it and/or modify
   5    it under the terms of the GNU General Public License as published by
   6    the Free Software Foundation; either version 3 of the License, or
   7    (at your option) any later version.
   8
   9    This program is distributed in the hope that it will be useful,
  10    but WITHOUT ANY WARRANTY; without even the implied warranty of
  11    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12    GNU General Public License for more details.
  13
  14    You should have received a copy of the GNU General Public License
  15    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
  16
  17 /* Written by Bruno Haible <bruno@clisp.org>, 2006.  */
  18
  19 #include <config.h>
  20
  21 /* Whether to enable pedantic checks. */
  22 #define DO_PEDANTIC 0
  23
  24 #define __STDC_LIMIT_MACROS 1 /* to make it work also in C++ mode */
  25 #include <stdint.h>
  26
  27 #include "verify.h"
  28 #include "intprops.h"
  29
  30 #if __GNUC__ >= 2 && DO_PEDANTIC
  31 # define verify_same_types(expr1,expr2)  \
  32     extern void _verify_func(__LINE__) (__typeof__ (expr1) *); \
  33     extern void _verify_func(__LINE__) (__typeof__ (expr2) *);
  34 # define _verify_func(line) _verify_func2(line)
  35 # define _verify_func2(line) verify_func_ ## line
  36 #else
  37 # define verify_same_types(expr1,expr2) extern void verify_func (int)
  38 #endif
  39
  40 /* 7.18.1.1. Exact-width integer types */
  41 /* 7.18.2.1. Limits of exact-width integer types */
  42
  43 int8_t a1[3] = { INT8_C (17), INT8_MIN, INT8_MAX };
  44 verify (TYPE_MINIMUM (int8_t) == INT8_MIN);
  45 verify (TYPE_MAXIMUM (int8_t) == INT8_MAX);
  46 verify_same_types (INT8_MIN, (int8_t) 0 + 0);
  47 verify_same_types (INT8_MAX, (int8_t) 0 + 0);
  48
  49 int16_t a2[3] = { INT16_C (17), INT16_MIN, INT16_MAX };
  50 verify (TYPE_MINIMUM (int16_t) == INT16_MIN);
  51 verify (TYPE_MAXIMUM (int16_t) == INT16_MAX);
  52 verify_same_types (INT16_MIN, (int16_t) 0 + 0);
  53 verify_same_types (INT16_MAX, (int16_t) 0 + 0);
  54
  55 int32_t a3[3] = { INT32_C (17), INT32_MIN, INT32_MAX };
  56 verify (TYPE_MINIMUM (int32_t) == INT32_MIN);
  57 verify (TYPE_MAXIMUM (int32_t) == INT32_MAX);
  58 verify_same_types (INT32_MIN, (int32_t) 0 + 0);
  59 verify_same_types (INT32_MAX, (int32_t) 0 + 0);
  60
  61 #ifdef INT64_MAX
  62 int64_t a4[3] = { INT64_C (17), INT64_MIN, INT64_MAX };
  63 verify (TYPE_MINIMUM (int64_t) == INT64_MIN);
  64 verify (TYPE_MAXIMUM (int64_t) == INT64_MAX);
  65 verify_same_types (INT64_MIN, (int64_t) 0 + 0);
  66 verify_same_types (INT64_MAX, (int64_t) 0 + 0);
  67 #endif
  68
  69 uint8_t b1[2] = { UINT8_C (17), UINT8_MAX };
  70 verify (TYPE_MAXIMUM (uint8_t) == UINT8_MAX);
  71 verify_same_types (UINT8_MAX, (uint8_t) 0 + 0);
  72
  73 uint16_t b2[2] = { UINT16_C (17), UINT16_MAX };
  74 verify (TYPE_MAXIMUM (uint16_t) == UINT16_MAX);
  75 verify_same_types (UINT16_MAX, (uint16_t) 0 + 0);
  76
  77 uint32_t b3[2] = { UINT32_C (17), UINT32_MAX };
  78 verify (TYPE_MAXIMUM (uint32_t) == UINT32_MAX);
  79 verify_same_types (UINT32_MAX, (uint32_t) 0 + 0);
  80
  81 #ifdef UINT64_MAX
  82 uint64_t b4[2] = { UINT64_C (17), UINT64_MAX };
  83 verify (TYPE_MAXIMUM (uint64_t) == UINT64_MAX);
  84 verify_same_types (UINT64_MAX, (uint64_t) 0 + 0);
  85 #endif
  86
  87 #if INT8_MIN && INT8_MAX && INT16_MIN && INT16_MAX && INT32_MIN && INT32_MAX
  88 /* ok */
  89 #else
  90 err or;
  91 #endif
  92
  93 #if UINT8_MAX && UINT16_MAX && UINT32_MAX
  94 /* ok */
  95 #else
  96 err or;
  97 #endif
  98
  99 /* 7.18.1.2. Minimum-width integer types */
 100 /* 7.18.2.2. Limits of minimum-width integer types */
 101
 102 int_least8_t c1[3] = { 17, INT_LEAST8_MIN, INT_LEAST8_MAX };
 103 verify (TYPE_MINIMUM (int_least8_t) == INT_LEAST8_MIN);
 104 verify (TYPE_MAXIMUM (int_least8_t) == INT_LEAST8_MAX);
 105 verify_same_types (INT_LEAST8_MIN, (int_least8_t) 0 + 0);
 106 verify_same_types (INT_LEAST8_MAX, (int_least8_t) 0 + 0);
 107
 108 int_least16_t c2[3] = { 17, INT_LEAST16_MIN, INT_LEAST16_MAX };
 109 verify (TYPE_MINIMUM (int_least16_t) == INT_LEAST16_MIN);
 110 verify (TYPE_MAXIMUM (int_least16_t) == INT_LEAST16_MAX);
 111 verify_same_types (INT_LEAST16_MIN, (int_least16_t) 0 + 0);
 112 verify_same_types (INT_LEAST16_MAX, (int_least16_t) 0 + 0);
 113
 114 int_least32_t c3[3] = { 17, INT_LEAST32_MIN, INT_LEAST32_MAX };
 115 verify (TYPE_MINIMUM (int_least32_t) == INT_LEAST32_MIN);
 116 verify (TYPE_MAXIMUM (int_least32_t) == INT_LEAST32_MAX);
 117 verify_same_types (INT_LEAST32_MIN, (int_least32_t) 0 + 0);
 118 verify_same_types (INT_LEAST32_MAX, (int_least32_t) 0 + 0);
 119
 120 #ifdef INT_LEAST64_MAX
 121 int_least64_t c4[3] = { 17, INT_LEAST64_MIN, INT_LEAST64_MAX };
 122 verify (TYPE_MINIMUM (int_least64_t) == INT_LEAST64_MIN);
 123 verify (TYPE_MAXIMUM (int_least64_t) == INT_LEAST64_MAX);
 124 verify_same_types (INT_LEAST64_MIN, (int_least64_t) 0 + 0);
 125 verify_same_types (INT_LEAST64_MAX, (int_least64_t) 0 + 0);
 126 #endif
 127
 128 uint_least8_t d1[2] = { 17, UINT_LEAST8_MAX };
 129 verify (TYPE_MAXIMUM (uint_least8_t) == UINT_LEAST8_MAX);
 130 verify_same_types (UINT_LEAST8_MAX, (uint_least8_t) 0 + 0);
 131
 132 uint_least16_t d2[2] = { 17, UINT_LEAST16_MAX };
 133 verify (TYPE_MAXIMUM (uint_least16_t) == UINT_LEAST16_MAX);
 134 verify_same_types (UINT_LEAST16_MAX, (uint_least16_t) 0 + 0);
 135
 136 uint_least32_t d3[2] = { 17, UINT_LEAST32_MAX };
 137 verify (TYPE_MAXIMUM (uint_least32_t) == UINT_LEAST32_MAX);
 138 verify_same_types (UINT_LEAST32_MAX, (uint_least32_t) 0 + 0);
 139
 140 #ifdef UINT_LEAST64_MAX
 141 uint_least64_t d4[2] = { 17, UINT_LEAST64_MAX };
 142 verify (TYPE_MAXIMUM (uint_least64_t) == UINT_LEAST64_MAX);
 143 verify_same_types (UINT_LEAST64_MAX, (uint_least64_t) 0 + 0);
 144 #endif
 145
 146 #if INT_LEAST8_MIN && INT_LEAST8_MAX && INT_LEAST16_MIN && INT_LEAST16_MAX && INT_LEAST32_MIN && INT_LEAST32_MAX
 147 /* ok */
 148 #else
 149 err or;
 150 #endif
 151
 152 #if UINT_LEAST8_MAX && UINT_LEAST16_MAX && UINT_LEAST32_MAX
 153 /* ok */
 154 #else
 155 err or;
 156 #endif
 157
 158 /* 7.18.1.3. Fastest minimum-width integer types */
 159 /* 7.18.2.3. Limits of fastest minimum-width integer types */
 160
 161 int_fast8_t e1[3] = { 17, INT_FAST8_MIN, INT_FAST8_MAX };
 162 verify (TYPE_MINIMUM (int_fast8_t) == INT_FAST8_MIN);
 163 verify (TYPE_MAXIMUM (int_fast8_t) == INT_FAST8_MAX);
 164 verify_same_types (INT_FAST8_MIN, (int_fast8_t) 0 + 0);
 165 verify_same_types (INT_FAST8_MAX, (int_fast8_t) 0 + 0);
 166
 167 int_fast16_t e2[3] = { 17, INT_FAST16_MIN, INT_FAST16_MAX };
 168 verify (TYPE_MINIMUM (int_fast16_t) == INT_FAST16_MIN);
 169 verify (TYPE_MAXIMUM (int_fast16_t) == INT_FAST16_MAX);
 170 verify_same_types (INT_FAST16_MIN, (int_fast16_t) 0 + 0);
 171 verify_same_types (INT_FAST16_MAX, (int_fast16_t) 0 + 0);
 172
 173 int_fast32_t e3[3] = { 17, INT_FAST32_MIN, INT_FAST32_MAX };
 174 verify (TYPE_MINIMUM (int_fast32_t) == INT_FAST32_MIN);
 175 verify (TYPE_MAXIMUM (int_fast32_t) == INT_FAST32_MAX);
 176 verify_same_types (INT_FAST32_MIN, (int_fast32_t) 0 + 0);
 177 verify_same_types (INT_FAST32_MAX, (int_fast32_t) 0 + 0);
 178
 179 #ifdef INT_FAST64_MAX
 180 int_fast64_t e4[3] = { 17, INT_FAST64_MIN, INT_FAST64_MAX };
 181 verify (TYPE_MINIMUM (int_fast64_t) == INT_FAST64_MIN);
 182 verify (TYPE_MAXIMUM (int_fast64_t) == INT_FAST64_MAX);
 183 verify_same_types (INT_FAST64_MIN, (int_fast64_t) 0 + 0);
 184 verify_same_types (INT_FAST64_MAX, (int_fast64_t) 0 + 0);
 185 #endif
 186
 187 uint_fast8_t f1[2] = { 17, UINT_FAST8_MAX };
 188 verify (TYPE_MAXIMUM (uint_fast8_t) == UINT_FAST8_MAX);
 189 verify_same_types (UINT_FAST8_MAX, (uint_fast8_t) 0 + 0);
 190
 191 uint_fast16_t f2[2] = { 17, UINT_FAST16_MAX };
 192 verify (TYPE_MAXIMUM (uint_fast16_t) == UINT_FAST16_MAX);
 193 verify_same_types (UINT_FAST16_MAX, (uint_fast16_t) 0 + 0);
 194
 195 uint_fast32_t f3[2] = { 17, UINT_FAST32_MAX };
 196 verify (TYPE_MAXIMUM (uint_fast32_t) == UINT_FAST32_MAX);
 197 verify_same_types (UINT_FAST32_MAX, (uint_fast32_t) 0 + 0);
 198
 199 #ifdef UINT_FAST64_MAX
 200 uint_fast64_t f4[2] = { 17, UINT_FAST64_MAX };
 201 verify (TYPE_MAXIMUM (uint_fast64_t) == UINT_FAST64_MAX);
 202 verify_same_types (UINT_FAST64_MAX, (uint_fast64_t) 0 + 0);
 203 #endif
 204
 205 #if INT_FAST8_MIN && INT_FAST8_MAX && INT_FAST16_MIN && INT_FAST16_MAX && INT_FAST32_MIN && INT_FAST32_MAX
 206 /* ok */
 207 #else
 208 err or;
 209 #endif
 210
 211 #if UINT_FAST8_MAX && UINT_FAST16_MAX && UINT_FAST32_MAX
 212 /* ok */
 213 #else
 214 err or;
 215 #endif
 216
 217 /* 7.18.1.4. Integer types capable of holding object pointers */
 218 /* 7.18.2.4. Limits of integer types capable of holding object pointers */
 219
 220 intptr_t g[3] = { 17, INTPTR_MIN, INTPTR_MAX };
 221 verify (TYPE_MINIMUM (intptr_t) == INTPTR_MIN);
 222 verify (TYPE_MAXIMUM (intptr_t) == INTPTR_MAX);
 223 verify_same_types (INTPTR_MIN, (intptr_t) 0 + 0);
 224 verify_same_types (INTPTR_MAX, (intptr_t) 0 + 0);
 225
 226 uintptr_t h[2] = { 17, UINTPTR_MAX };
 227 verify (TYPE_MAXIMUM (uintptr_t) == UINTPTR_MAX);
 228 verify_same_types (UINTPTR_MAX, (uintptr_t) 0 + 0);
 229
 230 #if INTPTR_MIN && INTPTR_MAX && UINTPTR_MAX
 231 /* ok */
 232 #else
 233 err or;
 234 #endif
 235
 236 /* 7.18.1.5. Greatest-width integer types */
 237 /* 7.18.2.5. Limits of greatest-width integer types */
 238
 239 intmax_t i[3] = { INTMAX_C (17), INTMAX_MIN, INTMAX_MAX };
 240 verify (TYPE_MINIMUM (intmax_t) == INTMAX_MIN);
 241 verify (TYPE_MAXIMUM (intmax_t) == INTMAX_MAX);
 242 verify_same_types (INTMAX_MIN, (intmax_t) 0 + 0);
 243 verify_same_types (INTMAX_MAX, (intmax_t) 0 + 0);
 244
 245 uintmax_t j[2] = { UINTMAX_C (17), UINTMAX_MAX };
 246 verify (TYPE_MAXIMUM (uintmax_t) == UINTMAX_MAX);
 247 verify_same_types (UINTMAX_MAX, (uintmax_t) 0 + 0);
 248
 249 #if INTMAX_MIN && INTMAX_MAX && UINTMAX_MAX
 250 /* ok */
 251 #else
 252 err or;
 253 #endif
 254
 255 /* 7.18.3. Limits of other integer types */
 256
 257 #include <stddef.h>
 258
 259 verify (TYPE_MINIMUM (ptrdiff_t) == PTRDIFF_MIN);
 260 verify (TYPE_MAXIMUM (ptrdiff_t) == PTRDIFF_MAX);
 261 verify_same_types (PTRDIFF_MIN, (ptrdiff_t) 0 + 0);
 262 verify_same_types (PTRDIFF_MAX, (ptrdiff_t) 0 + 0);
 263
 264 #if PTRDIFF_MIN && PTRDIFF_MAX
 265 /* ok */
 266 #else
 267 err or;
 268 #endif
 269
 270 #include <signal.h>
 271
 272 verify (TYPE_MINIMUM (sig_atomic_t) == SIG_ATOMIC_MIN);
 273 verify (TYPE_MAXIMUM (sig_atomic_t) == SIG_ATOMIC_MAX);
 274 verify_same_types (SIG_ATOMIC_MIN, (sig_atomic_t) 0 + 0);
 275 verify_same_types (SIG_ATOMIC_MAX, (sig_atomic_t) 0 + 0);
 276
 277 #if SIG_ATOMIC_MIN != 17 && SIG_ATOMIC_MAX
 278 /* ok */
 279 #else
 280 err or;
 281 #endif
 282
 283 verify (TYPE_MAXIMUM (size_t) == SIZE_MAX);
 284 verify_same_types (SIZE_MAX, (size_t) 0 + 0);
 285
 286 #if SIZE_MAX
 287 /* ok */
 288 #else
 289 err or;
 290 #endif
 291
 292 #if HAVE_WCHAR_T
 293 verify (TYPE_MINIMUM (wchar_t) == WCHAR_MIN);
 294 verify (TYPE_MAXIMUM (wchar_t) == WCHAR_MAX);
 295 verify_same_types (WCHAR_MIN, (wchar_t) 0 + 0);
 296 verify_same_types (WCHAR_MAX, (wchar_t) 0 + 0);
 297
 298 # if WCHAR_MIN != 17 && WCHAR_MAX
 299 /* ok */
 300 # else
 301 err or;
 302 # endif
 303 #endif
 304
 305 #if HAVE_WINT_T
 306 # include <wchar.h>
 307
 308 verify (TYPE_MINIMUM (wint_t) == WINT_MIN);
 309 verify (TYPE_MAXIMUM (wint_t) == WINT_MAX);
 310 verify_same_types (WINT_MIN, (wint_t) 0 + 0);
 311 verify_same_types (WINT_MAX, (wint_t) 0 + 0);
 312
 313 # if WINT_MIN != 17 && WINT_MAX
 314 /* ok */
 315 # else
 316 err or;
 317 # endif
 318 #endif
 319
 320 /* 7.18.4. Macros for integer constants */
 321
 322 verify (INT8_C (17) == 17);
 323 verify_same_types (INT8_C (17), (int_least8_t)0 + 0);
 324 verify (UINT8_C (17) == 17);
 325 verify_same_types (UINT8_C (17), (uint_least8_t)0 + 0);
 326
 327 verify (INT16_C (17) == 17);
 328 verify_same_types (INT16_C (17), (int_least16_t)0 + 0);
 329 verify (UINT16_C (17) == 17);
 330 verify_same_types (UINT16_C (17), (uint_least16_t)0 + 0);
 331
 332 verify (INT32_C (17) == 17);
 333 verify_same_types (INT32_C (17), (int_least32_t)0 + 0);
 334 verify (UINT32_C (17) == 17);
 335 verify_same_types (UINT32_C (17), (uint_least32_t)0 + 0);
 336
 337 #ifdef INT64_C
 338 verify (INT64_C (17) == 17);
 339 verify_same_types (INT64_C (17), (int_least64_t)0 + 0);
 340 #endif
 341 #ifdef UINT64_C
 342 verify (UINT64_C (17) == 17);
 343 verify_same_types (UINT64_C (17), (uint_least64_t)0 + 0);
 344 #endif
 345
 346 verify (INTMAX_C (17) == 17);
 347 verify_same_types (INTMAX_C (17), (intmax_t)0 + 0);
 348 verify (UINTMAX_C (17) == 17);
 349 verify_same_types (UINTMAX_C (17), (uintmax_t)0 + 0);
 350
 351
 352 int
 353 main ()
 354 {
 355   return 0;
 356 }