1.0.14.16: add explicit CHECK-CONSTANT-MODIFICATION policy

 * Allows using SB-COVER with (RESTRICT-COMPILER-POLICY 'SAFETY 3).

diff --git a/src/compiler/ir1opt.lisp b/src/compiler/ir1opt.lisp
index 3a495b4..e0c4a72 100644 (file)
--- a/src/compiler/ir1opt.lisp
+++ b/src/compiler/ir1opt.lisp
@@ -697,7 +697,7 @@
          (when (and fun
                     ;; If somebody is really sure that they want to modify
                     ;; constants, let them.
-                    (policy node (> safety 0)))
+                    (policy node (> check-constant-modification 0)))
            (let ((destroyed-constant-args (funcall fun args)))
              (when destroyed-constant-args
                (let ((*compiler-error-context* node))

diff --git a/src/compiler/ir1tran.lisp b/src/compiler/ir1tran.lisp
index 18619b0..903a0a6 100644 (file)
--- a/src/compiler/ir1tran.lisp
+++ b/src/compiler/ir1tran.lisp
@@ -876,7 +876,8 @@
                              `(locally
                                   (declare (optimize speed
                                                      (safety 0)
-                                                     (debug 0)))
+                                                     (debug 0)
+                                                     (check-constant-modification 0)))
                                 ;; We're being naughty here, and
                                 ;; modifying constant data. That's ok,
                                 ;; we know what we're doing.

diff --git a/src/compiler/policies.lisp b/src/compiler/policies.lisp
index 1ee4f10..9164e6b 100644 (file)
--- a/src/compiler/policies.lisp
+++ b/src/compiler/policies.lisp
@@ -11,6 +11,12 @@
 
 (in-package "SB!C")
 
+(define-optimization-quality check-constant-modification
+    safety
+  ("no" "maybe" "yes" "yes")
+  "Control whether the compiler should check for constant
+modification. Defaults to SAFETY.")
+
 (define-optimization-quality type-check
     ;; FIXME: grepping the tree for "policy.*safety" yields some
     ;; places which might want to use this instead -- or

diff --git a/version.lisp-expr b/version.lisp-expr
index 9154970..cc445fd 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".)
-"1.0.14.15"
+"1.0.14.16"