* alloc.c (allocate_vectorlike): Check for ptrdiff_t overflow.

diff --git a/src/ChangeLog b/src/ChangeLog
index 6da301c..e2b1b29 100644 (file)
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,6 +1,7 @@
 2011-06-08  Paul Eggert  <eggert@cs.ucla.edu>
 
        * alloc.c (Fmake_bool_vector): Don't assume vector size fits in int.
+       (allocate_vectorlike): Check for ptrdiff_t overflow.
 
        * alloc.c: Catch some string size overflows that we were missing.
        (XMALLOC_OVERRUN_CHECK_SIZE) [!XMALLOC_OVERRUN_CHECK]: Define to 0,

diff --git a/src/alloc.c b/src/alloc.c
index 88542e8..2dbaef9 100644 (file)
--- a/src/alloc.c
+++ b/src/alloc.c
@@ -2802,10 +2802,11 @@ allocate_vectorlike (EMACS_INT len)
 {
   struct Lisp_Vector *p;
   size_t nbytes;
+  ptrdiff_t nbytes_max = min (PTRDIFF_MAX, SIZE_MAX);
   int header_size = offsetof (struct Lisp_Vector, contents);
   int word_size = sizeof p->contents[0];
 
-  if ((SIZE_MAX - header_size) / word_size < len)
+  if ((nbytes_max - header_size) / word_size < len)
     memory_full (SIZE_MAX);
 
   MALLOC_BLOCK_INPUT;