0.9.13.14:

	Fix saving >2GB cores on x86-64 (reported by Benjamin Lambert
	on sbcl-help)

diff --git a/NEWS b/NEWS
index 1bb190d..f25a81e 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -13,6 +13,7 @@ changes in sbcl-0.9.14 relative to sbcl-0.9.13:
     (reported by James Y Knight)
   * improved SB-BSD-SOCKETS support on Windows. (thanks to Timothy
     Ritchey)
+  * bug fix: saving large (>2GB) cores on x86-64 now works
   * fixed some bugs revealed by Paul Dietz' test suite:
     ** MISC.641: LET-conversion were not supposed to work in late
        compilation stages.

diff --git a/src/runtime/save.c b/src/runtime/save.c
index f6742c3..d0e5026 100644 (file)
--- a/src/runtime/save.c
+++ b/src/runtime/save.c
@@ -79,7 +79,7 @@ write_bytes(FILE *file, char *addr, long bytes, os_vm_offset_t file_offset)
 static void
 output_space(FILE *file, int id, lispobj *addr, lispobj *end, os_vm_offset_t file_offset)
 {
-    int words, bytes, data;
+    size_t words, bytes, data;
     static char *names[] = {NULL, "dynamic", "static", "read-only"};
 
     write_lispobj(id, file);
@@ -88,7 +88,7 @@ output_space(FILE *file, int id, lispobj *addr, lispobj *end, os_vm_offset_t fil
 
     bytes = words * sizeof(lispobj);
 
-    printf("writing %d bytes from the %s space at 0x%08lx\n",
+    printf("writing %ld bytes from the %s space at 0x%08lx\n",
            bytes, names[id], (unsigned long)addr);
 
     data = write_bytes(file, (char *)addr, bytes, file_offset);

diff --git a/version.lisp-expr b/version.lisp-expr
index 2be784f..1e16053 100644 (file)
--- a/version.lisp-expr
+++ b/version.lisp-expr
@@ -17,4 +17,4 @@
 ;;; checkins which aren't released. (And occasionally for internal
 ;;; versions, especially for internal versions off the main CVS
 ;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
-"0.9.13.13"
+"0.9.13.14"