2 dnl Copyright (C) 2001-2023 Free Software Foundation, Inc.
3 dnl This file is free software; the Free Software Foundation
4 dnl gives unlimited permission to copy and/or distribute it,
5 dnl with or without modifications, as long as this notice is preserved.
7 dnl From Paul Eggert and Bruno Haible.
8 dnl Test whether <stdint.h> is supported or must be substituted.
12 AC_DEFUN_ONCE([gl_STDINT_H],
15 AC_REQUIRE([AC_CANONICAL_HOST]) dnl for cross-compiles
17 AC_REQUIRE([gl_LIMITS_H])
18 AC_REQUIRE([gt_TYPE_WINT_T])
20 dnl For backward compatibility. Some packages may still be testing these
22 AC_DEFINE([HAVE_LONG_LONG_INT], [1],
23 [Define to 1 if the system has the type 'long long int'.])
24 AC_DEFINE([HAVE_UNSIGNED_LONG_LONG_INT], [1],
25 [Define to 1 if the system has the type 'unsigned long long int'.])
27 dnl Check for <wchar.h>, in the same way as gl_WCHAR_H does.
28 AC_CHECK_HEADERS_ONCE([wchar.h])
29 if test $ac_cv_header_wchar_h = yes; then
34 AC_SUBST([HAVE_WCHAR_H])
36 dnl Check for <inttypes.h>.
37 AC_CHECK_HEADERS_ONCE([inttypes.h])
38 if test $ac_cv_header_inttypes_h = yes; then
43 AC_SUBST([HAVE_INTTYPES_H])
45 dnl Check for <sys/types.h>.
46 AC_CHECK_HEADERS_ONCE([sys/types.h])
47 if test $ac_cv_header_sys_types_h = yes; then
52 AC_SUBST([HAVE_SYS_TYPES_H])
54 gl_CHECK_NEXT_HEADERS([stdint.h])
55 if test $ac_cv_header_stdint_h = yes; then
60 AC_SUBST([HAVE_STDINT_H])
62 dnl Now see whether we need a substitute <stdint.h>.
63 if test $ac_cv_header_stdint_h = yes; then
64 AC_CACHE_CHECK([whether stdint.h conforms to C99],
65 [gl_cv_header_working_stdint_h],
66 [gl_cv_header_working_stdint_h=no
69 #define _GL_JUST_INCLUDE_SYSTEM_STDINT_H 1 /* work if build isn't clean */
70 #define __STDC_CONSTANT_MACROS 1
71 #define __STDC_LIMIT_MACROS 1
73 /* Dragonfly defines WCHAR_MIN, WCHAR_MAX only in <wchar.h>. */
74 #if !(defined WCHAR_MIN && defined WCHAR_MAX)
75 #error "WCHAR_MIN, WCHAR_MAX not defined in <stdint.h>"
82 int8_t a1min = INT8_MIN;
85 int16_t a2 = INT16_MAX;
86 int16_t a2min = INT16_MIN;
89 int32_t a3 = INT32_MAX;
90 int32_t a3min = INT32_MIN;
93 int64_t a4 = INT64_MAX;
94 int64_t a4min = INT64_MIN;
97 uint8_t b1 = UINT8_MAX;
99 typedef int b1[(unsigned char) -1 != 255 ? 1 : -1];
102 uint16_t b2 = UINT16_MAX;
105 uint32_t b3 = UINT32_MAX;
108 uint64_t b4 = UINT64_MAX;
110 int_least8_t c1 = INT8_C (0x7f);
111 int_least8_t c1max = INT_LEAST8_MAX;
112 int_least8_t c1min = INT_LEAST8_MIN;
113 int_least16_t c2 = INT16_C (0x7fff);
114 int_least16_t c2max = INT_LEAST16_MAX;
115 int_least16_t c2min = INT_LEAST16_MIN;
116 int_least32_t c3 = INT32_C (0x7fffffff);
117 int_least32_t c3max = INT_LEAST32_MAX;
118 int_least32_t c3min = INT_LEAST32_MIN;
119 int_least64_t c4 = INT64_C (0x7fffffffffffffff);
120 int_least64_t c4max = INT_LEAST64_MAX;
121 int_least64_t c4min = INT_LEAST64_MIN;
122 uint_least8_t d1 = UINT8_C (0xff);
123 uint_least8_t d1max = UINT_LEAST8_MAX;
124 uint_least16_t d2 = UINT16_C (0xffff);
125 uint_least16_t d2max = UINT_LEAST16_MAX;
126 uint_least32_t d3 = UINT32_C (0xffffffff);
127 uint_least32_t d3max = UINT_LEAST32_MAX;
128 uint_least64_t d4 = UINT64_C (0xffffffffffffffff);
129 uint_least64_t d4max = UINT_LEAST64_MAX;
130 int_fast8_t e1 = INT_FAST8_MAX;
131 int_fast8_t e1min = INT_FAST8_MIN;
132 int_fast16_t e2 = INT_FAST16_MAX;
133 int_fast16_t e2min = INT_FAST16_MIN;
134 int_fast32_t e3 = INT_FAST32_MAX;
135 int_fast32_t e3min = INT_FAST32_MIN;
136 int_fast64_t e4 = INT_FAST64_MAX;
137 int_fast64_t e4min = INT_FAST64_MIN;
138 uint_fast8_t f1 = UINT_FAST8_MAX;
139 uint_fast16_t f2 = UINT_FAST16_MAX;
140 uint_fast32_t f3 = UINT_FAST32_MAX;
141 uint_fast64_t f4 = UINT_FAST64_MAX;
143 intptr_t g = INTPTR_MAX;
144 intptr_t gmin = INTPTR_MIN;
147 uintptr_t h = UINTPTR_MAX;
149 intmax_t i = INTMAX_MAX;
150 uintmax_t j = UINTMAX_MAX;
152 /* Check that SIZE_MAX has the correct type, if possible. */
153 #if 201112 <= __STDC_VERSION__
154 int k = _Generic (SIZE_MAX, size_t: 0);
155 #elif (2 <= __GNUC__ || 4 <= __clang_major__ || defined __IBM__TYPEOF__ \
156 || (0x5110 <= __SUNPRO_C && !__STDC__))
158 extern __typeof__ (SIZE_MAX) k;
161 #include <limits.h> /* for CHAR_BIT */
162 #define TYPE_MINIMUM(t) \
163 ((t) ((t) 0 < (t) -1 ? (t) 0 : ~ TYPE_MAXIMUM (t)))
164 #define TYPE_MAXIMUM(t) \
165 ((t) ((t) 0 < (t) -1 \
167 : ((((t) 1 << (sizeof (t) * CHAR_BIT - 2)) - 1) * 2 + 1)))
170 PTRDIFF_MIN == TYPE_MINIMUM (ptrdiff_t)
171 && PTRDIFF_MAX == TYPE_MAXIMUM (ptrdiff_t)
173 /* Detect bug in FreeBSD 6.0/ia64 and FreeBSD 13.0/arm64. */
174 int check_SIG_ATOMIC:
175 SIG_ATOMIC_MIN == TYPE_MINIMUM (sig_atomic_t)
176 && SIG_ATOMIC_MAX == TYPE_MAXIMUM (sig_atomic_t)
178 int check_SIZE: SIZE_MAX == TYPE_MAXIMUM (size_t) ? 1 : -1;
180 WCHAR_MIN == TYPE_MINIMUM (wchar_t)
181 && WCHAR_MAX == TYPE_MAXIMUM (wchar_t)
183 /* Detect bug in mingw. */
185 WINT_MIN == TYPE_MINIMUM (wint_t)
186 && WINT_MAX == TYPE_MAXIMUM (wint_t)
189 /* Detect bugs in glibc 2.4 and Solaris 10 stdint.h, among others. */
191 (-1 < UINT8_C (0)) == (-1 < (uint_least8_t) 0) ? 1 : -1;
193 (-1 < UINT16_C (0)) == (-1 < (uint_least16_t) 0) ? 1 : -1;
195 /* Detect bugs in OpenBSD 3.9 stdint.h. */
197 int check_uint8: (uint8_t) -1 == UINT8_MAX ? 1 : -1;
200 int check_uint16: (uint16_t) -1 == UINT16_MAX ? 1 : -1;
203 int check_uint32: (uint32_t) -1 == UINT32_MAX ? 1 : -1;
206 int check_uint64: (uint64_t) -1 == UINT64_MAX ? 1 : -1;
208 int check_uint_least8: (uint_least8_t) -1 == UINT_LEAST8_MAX ? 1 : -1;
209 int check_uint_least16: (uint_least16_t) -1 == UINT_LEAST16_MAX ? 1 : -1;
210 int check_uint_least32: (uint_least32_t) -1 == UINT_LEAST32_MAX ? 1 : -1;
211 int check_uint_least64: (uint_least64_t) -1 == UINT_LEAST64_MAX ? 1 : -1;
212 int check_uint_fast8: (uint_fast8_t) -1 == UINT_FAST8_MAX ? 1 : -1;
213 int check_uint_fast16: (uint_fast16_t) -1 == UINT_FAST16_MAX ? 1 : -1;
214 int check_uint_fast32: (uint_fast32_t) -1 == UINT_FAST32_MAX ? 1 : -1;
215 int check_uint_fast64: (uint_fast64_t) -1 == UINT_FAST64_MAX ? 1 : -1;
216 int check_uintptr: (uintptr_t) -1 == UINTPTR_MAX ? 1 : -1;
217 int check_uintmax: (uintmax_t) -1 == UINTMAX_MAX ? 1 : -1;
218 int check_size: (size_t) -1 == SIZE_MAX ? 1 : -1;
221 [dnl Determine whether the various *_MIN, *_MAX macros are usable
222 dnl in preprocessor expression. We could do it by compiling a test
223 dnl program for each of these macros. It is faster to run a program
224 dnl that inspects the macro expansion.
225 dnl This detects a bug on HP-UX 11.23/ia64.
228 #define _GL_JUST_INCLUDE_SYSTEM_STDINT_H 1 /* work if build isn't clean */
229 #define __STDC_CONSTANT_MACROS 1
230 #define __STDC_LIMIT_MACROS 1
237 #define MVAL(macro) MVAL1(macro)
238 #define MVAL1(expression) #expression
239 static const char *macro_values[] =
269 for (mv = macro_values; *mv != NULL; mv++)
271 const char *value = *mv;
272 /* Test whether it looks like a cast expression. */
273 if (strncmp (value, "((unsigned int)"/*)*/, 15) == 0
274 || strncmp (value, "((unsigned short)"/*)*/, 17) == 0
275 || strncmp (value, "((unsigned char)"/*)*/, 16) == 0
276 || strncmp (value, "((int)"/*)*/, 6) == 0
277 || strncmp (value, "((signed short)"/*)*/, 15) == 0
278 || strncmp (value, "((signed char)"/*)*/, 14) == 0)
279 return mv - macro_values + 1;
283 [gl_cv_header_working_stdint_h=yes],
286 # Guess yes on native Windows.
287 mingw*) gl_cv_header_working_stdint_h="guessing yes" ;;
288 # In general, assume it works.
289 *) gl_cv_header_working_stdint_h="guessing yes" ;;
298 HAVE_SYS_INTTYPES_H=0
299 GL_GENERATE_STDINT_H=true
300 case "$gl_cv_header_working_stdint_h" in
303 dnl Now see whether the system <stdint.h> works without
304 dnl __STDC_CONSTANT_MACROS/__STDC_LIMIT_MACROS defined.
305 dnl If not, there would be problems when stdint.h is included from C++.
306 AC_CACHE_CHECK([whether stdint.h works without ISO C predefines],
307 [gl_cv_header_stdint_without_STDC_macros],
308 [gl_cv_header_stdint_without_STDC_macros=no
311 #define _GL_JUST_INCLUDE_SYSTEM_STDINT_H 1 /* work if build isn't clean */
316 intmax_t im = INTMAX_MAX;
317 int32_t i32 = INT32_C (0x7fffffff);
319 [gl_cv_header_stdint_without_STDC_macros=yes])
322 if test $gl_cv_header_stdint_without_STDC_macros = no; then
323 AC_DEFINE([__STDC_CONSTANT_MACROS], [1],
324 [Define to 1 if the system <stdint.h> predates C++11.])
325 AC_DEFINE([__STDC_LIMIT_MACROS], [1],
326 [Define to 1 if the system <stdint.h> predates C++11.])
328 AC_CACHE_CHECK([whether stdint.h has UINTMAX_WIDTH etc.],
329 [gl_cv_header_stdint_width],
330 [gl_cv_header_stdint_width=no
333 /* Work if build is not clean. */
334 #define _GL_JUST_INCLUDE_SYSTEM_STDINT_H 1
335 #ifndef __STDC_WANT_IEC_60559_BFP_EXT__
336 #define __STDC_WANT_IEC_60559_BFP_EXT__ 1
340 int iw = UINTMAX_WIDTH;
342 [gl_cv_header_stdint_width=yes])])
343 if test "$gl_cv_header_stdint_width" = yes; then
344 GL_GENERATE_STDINT_H=false
348 dnl Check for <sys/inttypes.h>, and for
349 dnl <sys/bitypes.h> (used in Linux libc4 >= 4.6.7 and libc5).
350 AC_CHECK_HEADERS([sys/inttypes.h sys/bitypes.h])
351 if test $ac_cv_header_sys_inttypes_h = yes; then
352 HAVE_SYS_INTTYPES_H=1
354 if test $ac_cv_header_sys_bitypes_h = yes; then
357 gl_STDINT_TYPE_PROPERTIES
361 dnl The substitute stdint.h needs the substitute limit.h's _GL_INTEGER_WIDTH.
364 AC_SUBST([HAVE_C99_STDINT_H])
365 AC_SUBST([HAVE_SYS_BITYPES_H])
366 AC_SUBST([HAVE_SYS_INTTYPES_H])
369 dnl gl_STDINT_BITSIZEOF(TYPES, INCLUDES)
370 dnl Determine the size of each of the given types in bits.
371 AC_DEFUN([gl_STDINT_BITSIZEOF],
373 dnl Use a shell loop, to avoid bloating configure, and
374 dnl - extra AH_TEMPLATE calls, so that autoheader knows what to put into
376 dnl - extra AC_SUBST calls, so that the right substitutions are made.
377 m4_foreach_w([gltype], [$1],
378 [AH_TEMPLATE([BITSIZEOF_]m4_translit(gltype,[abcdefghijklmnopqrstuvwxyz ],[ABCDEFGHIJKLMNOPQRSTUVWXYZ_]),
379 [Define to the number of bits in type ']gltype['.])])
380 for gltype in $1 ; do
381 AC_CACHE_CHECK([for bit size of $gltype], [gl_cv_bitsizeof_${gltype}],
382 [AC_COMPUTE_INT([result], [sizeof ($gltype) * CHAR_BIT],
384 #include <limits.h>], [result=unknown])
385 eval gl_cv_bitsizeof_${gltype}=\$result
387 eval result=\$gl_cv_bitsizeof_${gltype}
388 if test $result = unknown; then
389 dnl Use a nonempty default, because some compilers, such as IRIX 5 cc,
390 dnl do a syntax check even on unused #if conditions and give an error
391 dnl on valid C code like this:
398 GLTYPE=`echo "$gltype" | tr 'abcdefghijklmnopqrstuvwxyz ' 'ABCDEFGHIJKLMNOPQRSTUVWXYZ_'`
399 AC_DEFINE_UNQUOTED([BITSIZEOF_${GLTYPE}], [$result])
400 eval BITSIZEOF_${GLTYPE}=\$result
402 m4_foreach_w([gltype], [$1],
403 [AC_SUBST([BITSIZEOF_]m4_translit(gltype,[abcdefghijklmnopqrstuvwxyz ],[ABCDEFGHIJKLMNOPQRSTUVWXYZ_]))])
406 dnl gl_CHECK_TYPES_SIGNED(TYPES, INCLUDES)
407 dnl Determine the signedness of each of the given types.
408 dnl Define HAVE_SIGNED_TYPE if type is signed.
409 AC_DEFUN([gl_CHECK_TYPES_SIGNED],
411 dnl Use a shell loop, to avoid bloating configure, and
412 dnl - extra AH_TEMPLATE calls, so that autoheader knows what to put into
414 dnl - extra AC_SUBST calls, so that the right substitutions are made.
415 m4_foreach_w([gltype], [$1],
416 [AH_TEMPLATE([HAVE_SIGNED_]m4_translit(gltype,[abcdefghijklmnopqrstuvwxyz ],[ABCDEFGHIJKLMNOPQRSTUVWXYZ_]),
417 [Define to 1 if ']gltype[' is a signed integer type.])])
418 for gltype in $1 ; do
419 AC_CACHE_CHECK([whether $gltype is signed], [gl_cv_type_${gltype}_signed],
421 [AC_LANG_PROGRAM([$2[
422 int verify[2 * (($gltype) -1 < ($gltype) 0) - 1];]])],
423 result=yes, result=no)
424 eval gl_cv_type_${gltype}_signed=\$result
426 eval result=\$gl_cv_type_${gltype}_signed
427 GLTYPE=`echo $gltype | tr 'abcdefghijklmnopqrstuvwxyz ' 'ABCDEFGHIJKLMNOPQRSTUVWXYZ_'`
428 if test "$result" = yes; then
429 AC_DEFINE_UNQUOTED([HAVE_SIGNED_${GLTYPE}], [1])
430 eval HAVE_SIGNED_${GLTYPE}=1
432 eval HAVE_SIGNED_${GLTYPE}=0
435 m4_foreach_w([gltype], [$1],
436 [AC_SUBST([HAVE_SIGNED_]m4_translit(gltype,[abcdefghijklmnopqrstuvwxyz ],[ABCDEFGHIJKLMNOPQRSTUVWXYZ_]))])
439 dnl gl_INTEGER_TYPE_SUFFIX(TYPES, INCLUDES)
440 dnl Determine the suffix to use for integer constants of the given types.
441 dnl Define t_SUFFIX for each such type.
442 AC_DEFUN([gl_INTEGER_TYPE_SUFFIX],
444 dnl Use a shell loop, to avoid bloating configure, and
445 dnl - extra AH_TEMPLATE calls, so that autoheader knows what to put into
447 dnl - extra AC_SUBST calls, so that the right substitutions are made.
448 m4_foreach_w([gltype], [$1],
449 [AH_TEMPLATE(m4_translit(gltype,[abcdefghijklmnopqrstuvwxyz ],[ABCDEFGHIJKLMNOPQRSTUVWXYZ_])[_SUFFIX],
450 [Define to l, ll, u, ul, ull, etc., as suitable for
451 constants of type ']gltype['.])])
452 for gltype in $1 ; do
453 AC_CACHE_CHECK([for $gltype integer literal suffix],
454 [gl_cv_type_${gltype}_suffix],
455 [eval gl_cv_type_${gltype}_suffix=no
456 eval result=\$gl_cv_type_${gltype}_signed
457 if test "$result" = yes; then
462 for glsuf in "$glsufu" ${glsufu}l ${glsufu}ll ${glsufu}i64; do
465 l) gltype1='long int';;
466 ll) gltype1='long long int';;
467 i64) gltype1='__int64';;
468 u) gltype1='unsigned int';;
469 ul) gltype1='unsigned long int';;
470 ull) gltype1='unsigned long long int';;
471 ui64)gltype1='unsigned __int64';;
474 [AC_LANG_PROGRAM([$2[
476 extern $gltype1 foo;]])],
477 [eval gl_cv_type_${gltype}_suffix=\$glsuf])
478 eval result=\$gl_cv_type_${gltype}_suffix
479 test "$result" != no && break
481 GLTYPE=`echo $gltype | tr 'abcdefghijklmnopqrstuvwxyz ' 'ABCDEFGHIJKLMNOPQRSTUVWXYZ_'`
482 eval result=\$gl_cv_type_${gltype}_suffix
483 test "$result" = no && result=
484 eval ${GLTYPE}_SUFFIX=\$result
485 AC_DEFINE_UNQUOTED([${GLTYPE}_SUFFIX], [$result])
487 m4_foreach_w([gltype], [$1],
488 [AC_SUBST(m4_translit(gltype,[abcdefghijklmnopqrstuvwxyz ],[ABCDEFGHIJKLMNOPQRSTUVWXYZ_])[_SUFFIX])])
491 dnl gl_STDINT_INCLUDES
492 AC_DEFUN([gl_STDINT_INCLUDES],
501 dnl gl_STDINT_TYPE_PROPERTIES
502 dnl Compute HAVE_SIGNED_t, BITSIZEOF_t and t_SUFFIX, for all the types t
503 dnl of interest to stdint.in.h.
504 AC_DEFUN([gl_STDINT_TYPE_PROPERTIES],
506 AC_REQUIRE([gl_MULTIARCH])
507 if test $APPLE_UNIVERSAL_BUILD = 0; then
508 gl_STDINT_BITSIZEOF([ptrdiff_t size_t],
509 [gl_STDINT_INCLUDES])
511 gl_STDINT_BITSIZEOF([sig_atomic_t wchar_t wint_t],
512 [gl_STDINT_INCLUDES])
513 gl_CHECK_TYPES_SIGNED([sig_atomic_t wchar_t wint_t],
514 [gl_STDINT_INCLUDES])
515 gl_cv_type_ptrdiff_t_signed=yes
516 gl_cv_type_size_t_signed=no
517 if test $APPLE_UNIVERSAL_BUILD = 0; then
518 gl_INTEGER_TYPE_SUFFIX([ptrdiff_t size_t],
519 [gl_STDINT_INCLUDES])
521 gl_INTEGER_TYPE_SUFFIX([sig_atomic_t wchar_t wint_t],
522 [gl_STDINT_INCLUDES])
524 dnl If wint_t is smaller than 'int', it cannot satisfy the ISO C 99
525 dnl requirement that wint_t is "unchanged by default argument promotions".
526 dnl In this case gnulib's <wchar.h> and <wctype.h> override wint_t.
527 dnl Set the variable BITSIZEOF_WINT_T accordingly.
528 if test $GNULIBHEADERS_OVERRIDE_WINT_T = 1; then