1# stdint.m4 serial 19
2dnl Copyright (C) 2001-2002, 2004-2006 Free Software Foundation, Inc.
3dnl This file is free software; the Free Software Foundation
4dnl gives unlimited permission to copy and/or distribute it,
5dnl with or without modifications, as long as this notice is preserved.
6
7dnl From Paul Eggert and Bruno Haible.
8dnl Test whether <stdint.h> is supported or must be substituted.
9
10AC_DEFUN([gl_STDINT_H],
11[
12  AC_PREREQ(2.59)dnl
13
14  dnl Check for long long int and unsigned long long int.
15  AC_REQUIRE([AC_TYPE_LONG_LONG_INT])
16  if test $ac_cv_type_long_long_int = yes; then
17    HAVE_LONG_LONG_INT=1
18  else
19    HAVE_LONG_LONG_INT=0
20  fi
21  AC_SUBST([HAVE_LONG_LONG_INT])
22  AC_REQUIRE([AC_TYPE_UNSIGNED_LONG_LONG_INT])
23  if test $ac_cv_type_unsigned_long_long_int = yes; then
24    HAVE_UNSIGNED_LONG_LONG_INT=1
25  else
26    HAVE_UNSIGNED_LONG_LONG_INT=0
27  fi
28  AC_SUBST([HAVE_UNSIGNED_LONG_LONG_INT])
29
30  dnl Check for <wchar.h>.
31  AC_CHECK_HEADERS_ONCE([wchar.h])
32  if test $ac_cv_header_wchar_h = yes; then
33    HAVE_WCHAR_H=1
34  else
35    HAVE_WCHAR_H=0
36  fi
37  AC_SUBST([HAVE_WCHAR_H])
38
39  dnl Check for <inttypes.h>.
40  dnl AC_INCLUDES_DEFAULT defines $ac_cv_header_inttypes_h.
41  if test $ac_cv_header_inttypes_h = yes; then
42    HAVE_INTTYPES_H=1
43  else
44    HAVE_INTTYPES_H=0
45  fi
46  AC_SUBST([HAVE_INTTYPES_H])
47
48  dnl Check for <sys/types.h>.
49  dnl AC_INCLUDES_DEFAULT defines $ac_cv_header_sys_types_h.
50  if test $ac_cv_header_sys_types_h = yes; then
51    HAVE_SYS_TYPES_H=1
52  else
53    HAVE_SYS_TYPES_H=0
54  fi
55  AC_SUBST([HAVE_SYS_TYPES_H])
56
57  dnl AC_INCLUDES_DEFAULT defines $ac_cv_header_stdint_h.
58  if test $ac_cv_header_stdint_h = yes; then
59    gl_ABSOLUTE_HEADER([stdint.h])
60    ABSOLUTE_STDINT_H=\"$gl_cv_absolute_stdint_h\"
61    HAVE_STDINT_H=1
62  else
63    ABSOLUTE_STDINT_H=\"no/such/file/stdint.h\"
64    HAVE_STDINT_H=0
65  fi
66  AC_SUBST([ABSOLUTE_STDINT_H])
67  AC_SUBST([HAVE_STDINT_H])
68
69  dnl Now see whether we need a substitute <stdint.h>.  Use
70  dnl ABSOLUTE_STDINT_H, not <stdint.h>, so that it also works during
71  dnl a "config.status --recheck" if a stdint.h has been
72  dnl created in the build directory.
73  if test $ac_cv_header_stdint_h = yes; then
74    AC_CACHE_CHECK([whether stdint.h conforms to C99],
75      [gl_cv_header_working_stdint_h],
76      [gl_cv_header_working_stdint_h=no
77       AC_COMPILE_IFELSE([
78	 AC_LANG_PROGRAM([[
79#include <stddef.h>
80#define __STDC_LIMIT_MACROS 1 /* to make it work also in C++ mode */
81#define __STDC_CONSTANT_MACROS 1 /* to make it work also in C++ mode */
82#include ABSOLUTE_STDINT_H
83#ifdef INT8_MAX
84int8_t a1 = INT8_MAX;
85int8_t a1min = INT8_MIN;
86#endif
87#ifdef INT16_MAX
88int16_t a2 = INT16_MAX;
89int16_t a2min = INT16_MIN;
90#endif
91#ifdef INT32_MAX
92int32_t a3 = INT32_MAX;
93int32_t a3min = INT32_MIN;
94#endif
95#ifdef INT64_MAX
96int64_t a4 = INT64_MAX;
97int64_t a4min = INT64_MIN;
98#endif
99#ifdef UINT8_MAX
100uint8_t b1 = UINT8_MAX;
101#else
102typedef int b1[(unsigned char) -1 != 255 ? 1 : -1];
103#endif
104#ifdef UINT16_MAX
105uint16_t b2 = UINT16_MAX;
106#endif
107#ifdef UINT32_MAX
108uint32_t b3 = UINT32_MAX;
109#endif
110#ifdef UINT64_MAX
111uint64_t b4 = UINT64_MAX;
112#endif
113int_least8_t c1 = INT8_C (0x7f);
114int_least8_t c1max = INT_LEAST8_MAX;
115int_least8_t c1min = INT_LEAST8_MIN;
116int_least16_t c2 = INT16_C (0x7fff);
117int_least16_t c2max = INT_LEAST16_MAX;
118int_least16_t c2min = INT_LEAST16_MIN;
119int_least32_t c3 = INT32_C (0x7fffffff);
120int_least32_t c3max = INT_LEAST32_MAX;
121int_least32_t c3min = INT_LEAST32_MIN;
122int_least64_t c4 = INT64_C (0x7fffffffffffffff);
123int_least64_t c4max = INT_LEAST64_MAX;
124int_least64_t c4min = INT_LEAST64_MIN;
125uint_least8_t d1 = UINT8_C (0xff);
126uint_least8_t d1max = UINT_LEAST8_MAX;
127uint_least16_t d2 = UINT16_C (0xffff);
128uint_least16_t d2max = UINT_LEAST16_MAX;
129uint_least32_t d3 = UINT32_C (0xffffffff);
130uint_least32_t d3max = UINT_LEAST32_MAX;
131uint_least64_t d4 = UINT64_C (0xffffffffffffffff);
132uint_least64_t d4max = UINT_LEAST64_MAX;
133int_fast8_t e1 = INT_FAST8_MAX;
134int_fast8_t e1min = INT_FAST8_MIN;
135int_fast16_t e2 = INT_FAST16_MAX;
136int_fast16_t e2min = INT_FAST16_MIN;
137int_fast32_t e3 = INT_FAST32_MAX;
138int_fast32_t e3min = INT_FAST32_MIN;
139int_fast64_t e4 = INT_FAST64_MAX;
140int_fast64_t e4min = INT_FAST64_MIN;
141uint_fast8_t f1 = UINT_FAST8_MAX;
142uint_fast16_t f2 = UINT_FAST16_MAX;
143uint_fast32_t f3 = UINT_FAST32_MAX;
144uint_fast64_t f4 = UINT_FAST64_MAX;
145#ifdef INTPTR_MAX
146intptr_t g = INTPTR_MAX;
147intptr_t gmin = INTPTR_MIN;
148#endif
149#ifdef UINTPTR_MAX
150uintptr_t h = UINTPTR_MAX;
151#endif
152intmax_t i = INTMAX_MAX;
153uintmax_t j = UINTMAX_MAX;
154struct s {
155  int check_PTRDIFF: PTRDIFF_MIN < 0 && 0 < PTRDIFF_MAX ? 1 : -1;
156  int check_SIG_ATOMIC: SIG_ATOMIC_MIN <= 0 && 0 < SIG_ATOMIC_MAX ? 1 : -1;
157  int check_SIZE: 0 < SIZE_MAX ? 1 : -1;
158  int check_WCHAR: WCHAR_MIN <= 0 && 0 < WCHAR_MAX ? 1 : -1;
159  int check_WINT: WINT_MIN <= 0 && 0 < WINT_MAX ? 1 : -1;
160
161  /* Detect bugs in glibc 2.4 and Solaris 10 stdint.h, among others.  */
162  int check_UINT8_C:
163	(-1 < UINT8_C (0)) == (-1 < (uint_least8_t) 0) ? 1 : -1;
164  int check_UINT16_C:
165	(-1 < UINT16_C (0)) == (-1 < (uint_least16_t) 0) ? 1 : -1;
166
167  /* Detect bugs in OpenBSD 3.9 stdint.h.  */
168#ifdef UINT8_MAX
169  int check_uint8: (uint8_t) -1 == UINT8_MAX ? 1 : -1;
170#endif
171#ifdef UINT16_MAX
172  int check_uint16: (uint16_t) -1 == UINT16_MAX ? 1 : -1;
173#endif
174#ifdef UINT32_MAX
175  int check_uint32: (uint32_t) -1 == UINT32_MAX ? 1 : -1;
176#endif
177#ifdef UINT64_MAX
178  int check_uint64: (uint64_t) -1 == UINT64_MAX ? 1 : -1;
179#endif
180  int check_uint_least8: (uint_least8_t) -1 == UINT_LEAST8_MAX ? 1 : -1;
181  int check_uint_least16: (uint_least16_t) -1 == UINT_LEAST16_MAX ? 1 : -1;
182  int check_uint_least32: (uint_least32_t) -1 == UINT_LEAST32_MAX ? 1 : -1;
183  int check_uint_least64: (uint_least64_t) -1 == UINT_LEAST64_MAX ? 1 : -1;
184  int check_uint_fast8: (uint_fast8_t) -1 == UINT_FAST8_MAX ? 1 : -1;
185  int check_uint_fast16: (uint_fast16_t) -1 == UINT_FAST16_MAX ? 1 : -1;
186  int check_uint_fast32: (uint_fast32_t) -1 == UINT_FAST32_MAX ? 1 : -1;
187  int check_uint_fast64: (uint_fast64_t) -1 == UINT_FAST64_MAX ? 1 : -1;
188  int check_uintptr: (uintptr_t) -1 == UINTPTR_MAX ? 1 : -1;
189  int check_uintmax: (uintmax_t) -1 == UINTMAX_MAX ? 1 : -1;
190  int check_size: (size_t) -1 == SIZE_MAX ? 1 : -1;
191};
192	 ]])],
193         [gl_cv_header_working_stdint_h=yes])])
194  fi
195  if test "$gl_cv_header_working_stdint_h" != yes; then
196
197    dnl Check for <sys/inttypes.h>, and for
198    dnl <sys/bitypes.h> (used in Linux libc4 >= 4.6.7 and libc5).
199    AC_CHECK_HEADERS([sys/inttypes.h sys/bitypes.h])
200    if test $ac_cv_header_sys_inttypes_h = yes; then
201      HAVE_SYS_INTTYPES_H=1
202    else
203      HAVE_SYS_INTTYPES_H=0
204    fi
205    AC_SUBST([HAVE_SYS_INTTYPES_H])
206    if test $ac_cv_header_sys_bitypes_h = yes; then
207      HAVE_SYS_BITYPES_H=1
208    else
209      HAVE_SYS_BITYPES_H=0
210    fi
211    AC_SUBST([HAVE_SYS_BITYPES_H])
212
213    gl_STDINT_TYPE_PROPERTIES
214    STDINT_H=stdint.h
215  fi
216  AC_SUBST(STDINT_H)
217])
218
219dnl gl_STDINT_BITSIZEOF(TYPES, INCLUDES)
220dnl Determine the size of each of the given types in bits.
221AC_DEFUN([gl_STDINT_BITSIZEOF],
222[
223  dnl Use a shell loop, to avoid bloating configure, and
224  dnl - extra AH_TEMPLATE calls, so that autoheader knows what to put into
225  dnl   config.h.in,
226  dnl - extra AC_SUBST calls, so that the right substitutions are made.
227  AC_FOREACH([gltype], [$1],
228    [AH_TEMPLATE([BITSIZEOF_]translit(gltype,[abcdefghijklmnopqrstuvwxyz ],[ABCDEFGHIJKLMNOPQRSTUVWXYZ_]),
229       [Define to the number of bits in type ']gltype['.])])
230  for gltype in $1 ; do
231    AC_CACHE_CHECK([for bit size of $gltype], [gl_cv_bitsizeof_${gltype}],
232      [_AC_COMPUTE_INT([sizeof ($gltype) * CHAR_BIT], result,
233	 [$2
234#include <limits.h>], [result=unknown])
235       eval gl_cv_bitsizeof_${gltype}=\$result
236      ])
237    eval result=\$gl_cv_bitsizeof_${gltype}
238    if test $result = unknown; then
239      dnl Use a nonempty default, because some compilers, such as IRIX 5 cc,
240      dnl do a syntax check even on unused #if conditions and give an error
241      dnl on valid C code like this:
242      dnl   #if 0
243      dnl   # if  > 32
244      dnl   # endif
245      dnl   #endif
246      result=0
247    fi
248    GLTYPE=`echo "$gltype" | tr 'abcdefghijklmnopqrstuvwxyz ' 'ABCDEFGHIJKLMNOPQRSTUVWXYZ_'`
249    AC_DEFINE_UNQUOTED([BITSIZEOF_${GLTYPE}], [$result])
250    eval BITSIZEOF_${GLTYPE}=\$result
251  done
252  AC_FOREACH([gltype], [$1],
253    [AC_SUBST([BITSIZEOF_]translit(gltype,[abcdefghijklmnopqrstuvwxyz ],[ABCDEFGHIJKLMNOPQRSTUVWXYZ_]))])
254])
255
256dnl gl_CHECK_TYPES_SIGNED(TYPES, INCLUDES)
257dnl Determine the signedness of each of the given types.
258dnl Define HAVE_SIGNED_TYPE if type is signed.
259AC_DEFUN([gl_CHECK_TYPES_SIGNED],
260[
261  dnl Use a shell loop, to avoid bloating configure, and
262  dnl - extra AH_TEMPLATE calls, so that autoheader knows what to put into
263  dnl   config.h.in,
264  dnl - extra AC_SUBST calls, so that the right substitutions are made.
265  AC_FOREACH([gltype], [$1],
266    [AH_TEMPLATE([HAVE_SIGNED_]translit(gltype,[abcdefghijklmnopqrstuvwxyz ],[ABCDEFGHIJKLMNOPQRSTUVWXYZ_]),
267       [Define to 1 if ']gltype[' is a signed integer type.])])
268  for gltype in $1 ; do
269    AC_CACHE_CHECK([whether $gltype is signed], [gl_cv_type_${gltype}_signed],
270      [AC_COMPILE_IFELSE(
271         [AC_LANG_PROGRAM([$2[
272            int verify[2 * (($gltype) -1 < ($gltype) 0) - 1];]])],
273         result=yes, result=no)
274       eval gl_cv_type_${gltype}_signed=\$result
275      ])
276    eval result=\$gl_cv_type_${gltype}_signed
277    GLTYPE=`echo $gltype | tr 'abcdefghijklmnopqrstuvwxyz ' 'ABCDEFGHIJKLMNOPQRSTUVWXYZ_'`
278    if test "$result" = yes; then
279      AC_DEFINE_UNQUOTED([HAVE_SIGNED_${GLTYPE}], 1)
280      eval HAVE_SIGNED_${GLTYPE}=1
281    else
282      eval HAVE_SIGNED_${GLTYPE}=0
283    fi
284  done
285  AC_FOREACH([gltype], [$1],
286    [AC_SUBST([HAVE_SIGNED_]translit(gltype,[abcdefghijklmnopqrstuvwxyz ],[ABCDEFGHIJKLMNOPQRSTUVWXYZ_]))])
287])
288
289dnl gl_INTEGER_TYPE_SUFFIX(TYPES, INCLUDES)
290dnl Determine the suffix to use for integer constants of the given types.
291dnl Define t_SUFFIX for each such type.
292AC_DEFUN([gl_INTEGER_TYPE_SUFFIX],
293[
294  dnl Use a shell loop, to avoid bloating configure, and
295  dnl - extra AH_TEMPLATE calls, so that autoheader knows what to put into
296  dnl   config.h.in,
297  dnl - extra AC_SUBST calls, so that the right substitutions are made.
298  AC_FOREACH([gltype], [$1],
299    [AH_TEMPLATE(translit(gltype,[abcdefghijklmnopqrstuvwxyz ],[ABCDEFGHIJKLMNOPQRSTUVWXYZ_])[_SUFFIX],
300       [Define to l, ll, u, ul, ull, etc., as suitable for
301	constants of type ']gltype['.])])
302  for gltype in $1 ; do
303    AC_CACHE_CHECK([for $gltype integer literal suffix],
304      [gl_cv_type_${gltype}_suffix],
305      [eval gl_cv_type_${gltype}_suffix=no
306       eval result=\$gl_cv_type_${gltype}_signed
307       if test "$result" = yes; then
308	 glsufu=
309       else
310	 glsufu=u
311       fi
312       for glsuf in "$glsufu" ${glsufu}l ${glsufu}ll ${glsufu}i64; do
313	 case $glsuf in
314	   '')  gltype1='int';;
315	   l)	gltype1='long int';;
316	   ll)	gltype1='long long int';;
317	   i64)	gltype1='__int64';;
318	   u)	gltype1='unsigned int';;
319	   ul)	gltype1='unsigned long int';;
320	   ull)	gltype1='unsigned long long int';;
321	   ui64)gltype1='unsigned __int64';;
322	 esac
323	 AC_COMPILE_IFELSE(
324	   [AC_LANG_PROGRAM([$2
325	      extern $gltype foo;
326	      extern $gltype1 foo;])],
327	   [eval gl_cv_type_${gltype}_suffix=\$glsuf])
328	 eval result=\$gl_cv_type_${gltype}_suffix
329	 test "$result" != no && break
330       done])
331    GLTYPE=`echo $gltype | tr 'abcdefghijklmnopqrstuvwxyz ' 'ABCDEFGHIJKLMNOPQRSTUVWXYZ_'`
332    eval result=\$gl_cv_type_${gltype}_suffix
333    test "$result" = no && result=
334    eval ${GLTYPE}_SUFFIX=\$result
335    AC_DEFINE_UNQUOTED([${GLTYPE}_SUFFIX], $result)
336  done
337  AC_FOREACH([gltype], [$1],
338    [AC_SUBST(translit(gltype,[abcdefghijklmnopqrstuvwxyz ],[ABCDEFGHIJKLMNOPQRSTUVWXYZ_])[_SUFFIX])])
339])
340
341dnl gl_STDINT_INCLUDES
342AC_DEFUN([gl_STDINT_INCLUDES],
343[[
344  #include <stddef.h>
345  #include <signal.h>
346  #if HAVE_WCHAR_H
347    /* BSD/OS 4.1 has a bug: <stdio.h> and <time.h> must be included before
348       <wchar.h>.  */
349  # include <stdio.h>
350  # include <time.h>
351  # include <wchar.h>
352  #endif
353]])
354
355dnl gl_STDINT_TYPE_PROPERTIES
356dnl Compute HAVE_SIGNED_t, BITSIZEOF_t and t_SUFFIX, for all the types t
357dnl of interest to stdint_.h.
358AC_DEFUN([gl_STDINT_TYPE_PROPERTIES],
359[
360  gl_STDINT_BITSIZEOF([ptrdiff_t sig_atomic_t size_t wchar_t wint_t],
361    [gl_STDINT_INCLUDES])
362  gl_CHECK_TYPES_SIGNED([sig_atomic_t wchar_t wint_t],
363    [gl_STDINT_INCLUDES])
364  gl_cv_type_ptrdiff_t_signed=yes
365  gl_cv_type_size_t_signed=no
366  gl_INTEGER_TYPE_SUFFIX([ptrdiff_t sig_atomic_t size_t wchar_t wint_t],
367    [gl_STDINT_INCLUDES])
368])
369