Rely on SIZE_MAX and PTRDIFF_MAX as defined by ISO C 99.

diff --git a/ChangeLog b/ChangeLog
index e435554c599d245d9f0a0f0b6d1428dc00c54cfe..37219b077e33e466234aecc93dfcbcc5667932d1 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2003-11-11  Bruno Haible  <bruno@clisp.org>
+
+       * modules/xsize (Files): Add m4/size_max.m4.
+       * modules/xalloc (Files): Add m4/size_max.m4, m4_ptrdiff_max.m4.
+
 2003-11-04  Bruno Haible  <bruno@clisp.org>
 
        * modules/xsize: New file.

diff --git a/lib/ChangeLog b/lib/ChangeLog
index 0791de9e7186f94f32d1e5a5ad31e8e7796782fe..6163b5d5d0c86aa9830ae84916e4c757ab57fa22 100644 (file)
--- a/lib/ChangeLog
+++ b/lib/ChangeLog
@@ -1,3 +1,9 @@
+2003-11-11  Bruno Haible  <bruno@clisp.org>
+
+       * xsize.h (SIZE_MAX): Remove fallback definition.
+       * xalloc.h: Include limits.h. Assume SIZE_MAX and PTRDIFF_MAX are
+       defined.
+
 2003-11-10  Paul Eggert  <eggert@twinsun.com>
 
        * xalloc.h (xalloc_oversized): [! (defined PTRDIFF_MAX &&
@@ -14,7 +20,7 @@
        Reject sizes of exactly SIZE_MAX bytes.
        * xreadlink.c: Include "xalloc.h" before checking whether SIZE_MAX
        is defined, since "xalloc.h" now defines SIZE_MAX on modern hosts.
-       
+
 2003-11-05  Bruno Haible  <bruno@clisp.org>
 
        * xsize.h: Include limits.h, to avoid a possible collision with

diff --git a/lib/xalloc.h b/lib/xalloc.h
index 571e53c0482e909b58fe00e8e784f5877c1d8188..8faf31601381dd88145e971fcbbadc7c26846e63 100644 (file)
--- a/lib/xalloc.h
+++ b/lib/xalloc.h
@@ -20,7 +20,11 @@
 #ifndef XALLOC_H_
 # define XALLOC_H_
 
+/* Get size_t.  */
 # include <stddef.h>
+
+/* Get SIZE_MAX, PTRDIFF_MAX.  */
+# include <limits.h>
 # if HAVE_STDINT_H
 #  include <stdint.h>
 # endif
@@ -74,10 +78,10 @@ char *xstrdup (const char *str);
    PTRDIFF_MAX < SIZE_MAX, so do not bother to test for
    exactly-SIZE_MAX allocations on such hosts; this avoids a test and
    branch when S is known to be 1.  */
-# if defined PTRDIFF_MAX && PTRDIFF_MAX < SIZE_MAX
+# if PTRDIFF_MAX < SIZE_MAX
 #  define xalloc_oversized(n, s) (SIZE_MAX / (s) < (n))
-# else /* SIZE_MAX might not be defined, so avoid (SIZE_MAX - 1).  */
-#  define xalloc_oversized(n, s) ((size_t) -2 / (s) < (n))
+# else
+#  define xalloc_oversized(n, s) ((SIZE_MAX - 1) / (s) < (n))
 # endif
 
 /* These macros are deprecated; they will go away soon, and are retained

diff --git a/lib/xsize.h b/lib/xsize.h
index 34919f8b7ca3dff31335602daa2a3c13d2f9589f..42aa68a2a90da1f77ad0e3a13be6d540b9d436e4 100644 (file)
--- a/lib/xsize.h
+++ b/lib/xsize.h
@@ -27,9 +27,6 @@
 #if HAVE_STDINT_H
 # include <stdint.h>
 #endif
-#ifndef SIZE_MAX
-# define SIZE_MAX ((size_t) -1)
-#endif
 
 /* The size of memory objects is often computed through expressions of
    type size_t. Example:

diff --git a/m4/ChangeLog b/m4/ChangeLog
index 950443ed52b4b1cbf0d388d1fd03c4328a93fdd8..418503bd0c8405c948082aafdf1d0985e52899a9 100644 (file)
--- a/m4/ChangeLog
+++ b/m4/ChangeLog
@@ -1,3 +1,11 @@
+2003-11-11  Bruno Haible  <bruno@clisp.org>
+
+       * size_max.m4: New file.
+       * ptrdiff_max.m4: New file.
+       * xsize,m4 (gl_XSIZE): Require gl_SIZE_MAX.
+       * xalloc.m4 (gl_PREREQ_XALLOC): New file.
+       (gl_XALLOC): Invoke it.
+
 2003-11-04  Bruno Haible  <bruno@clisp.org>
 
        * xsize.m4: New file.

diff --git a/m4/xalloc.m4 b/m4/xalloc.m4
index 0c14045ba479016866ef35b24095e9483a26c46b..07efb2f7f757d3ba8a69e0151655e9accecc8519 100644 (file)
--- a/m4/xalloc.m4
+++ b/m4/xalloc.m4
@@ -1,4 +1,4 @@
-# xalloc.m4 serial 6
+# xalloc.m4 serial 7
 dnl Copyright (C) 2002-2003 Free Software Foundation, Inc.
 dnl This file is free software, distributed under the terms of the GNU
 dnl General Public License.  As a special exception to the GNU General
@@ -8,10 +8,18 @@ dnl the same distribution terms as the rest of that program.
 
 AC_DEFUN([gl_XALLOC],
 [
+  gl_PREREQ_XALLOC
   gl_PREREQ_XMALLOC
   gl_PREREQ_XSTRDUP
 ])
 
+# Prerequisites of lib/xalloc.h.
+AC_DEFUN([gl_PREREQ_XALLOC], [
+  AC_REQUIRE([gl_SIZE_MAX])
+  AC_REQUIRE([gl_PTRDIFF_MAX])
+  :
+])
+
 # Prerequisites of lib/xmalloc.c.
 AC_DEFUN([gl_PREREQ_XMALLOC], [
   AC_REQUIRE([AC_C_INLINE])

diff --git a/m4/xsize.m4 b/m4/xsize.m4
index ee30a4d4588957f510f5299e6a6a877e41792ff4..9b7cf9b49305037c04d5c86e9525c7eb68bf3598 100644 (file)
--- a/m4/xsize.m4
+++ b/m4/xsize.m4
@@ -1,4 +1,4 @@
-# xsize.m4 serial 1
+# xsize.m4 serial 2
 dnl Copyright (C) 2003 Free Software Foundation, Inc.
 dnl This file is free software, distributed under the terms of the GNU
 dnl General Public License.  As a special exception to the GNU General
@@ -9,5 +9,6 @@ dnl the same distribution terms as the rest of that program.
 AC_DEFUN([gl_XSIZE],
 [
   dnl Prerequisites of lib/xsize.h.
+  AC_REQUIRE([gl_SIZE_MAX])
   AC_CHECK_HEADERS(stdint.h)
 ])

diff --git a/modules/xalloc b/modules/xalloc
index 46482cc88ede47078a7840f04f278e1708da0fec..2e7b89bba25668be995b32af40ecf96e77fe8c70 100644 (file)
--- a/modules/xalloc
+++ b/modules/xalloc
@@ -6,6 +6,8 @@ lib/xalloc.h
 lib/xmalloc.c
 lib/xstrdup.c
 m4/xalloc.m4
+m4/size_max.m4
+m4/ptrdiff_max.m4
 
 Depends-on:
 malloc

diff --git a/modules/xsize b/modules/xsize
index f4d1597015299f29a9f444fe46c8a40080ab2ad7..9acf916fa000e5cecc653112ab4eed42b900c104 100644 (file)
--- a/modules/xsize
+++ b/modules/xsize
@@ -4,6 +4,7 @@ Checked size_t computations.
 Files:
 lib/xsize.h
 m4/xsize.m4
+m4/size_max.m4
 
 Depends-on: