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