Changeset 13197

Timestamp:

Nov 12, 2009, 11:34:57 AM (15 years ago)

Author:

gz

Message:

Add variable *strict-checking* to control checking for e.g. non-portable though valid code. For now it only controls one case - if true, defconstant redefinition will require the new value to be eql to the old one. (r13195). Also fix another format call (r13196)

Location:

branches/working-0711/ccl

Files:

• compiler/nx-basic.lisp (modified) (1 diff)
• level-1/l1-utils.lisp (modified) (1 diff)
• library/leaks.lisp (modified) (1 diff)

branches/working-0711/ccl/compiler/nx-basic.lisp

@@ -537 +537 @@
        ,@body))))
 
+(defvar *strict-checking* nil
+  "If true, issues warnings/errors in more cases, e.g. for valid but non-portable code")
+
 
 ;; Should be true if compiler warnings UI doesn't use source locations, false if it does.

branches/working-0711/ccl/level-1/l1-utils.lisp

@@ -423 +423 @@
       (let* ((old-value (%sym-global-value var)))
         (unless (eq old-value (%unbound-marker-8))
-          (if (similar-as-constants-p (%sym-global-value var) value)
+          (if (or (eql old-value value)
+                  (and (not *strict-checking*) (similar-as-constants-p old-value value)))
             (return)
             ;; This should really be a cell error, allow options other than

branches/working-0711/ccl/library/leaks.lisp

@@ -272 +272 @@
         (format t "~&~A" i))
       (format t "~&Freed but not malloced:~%~{~A~%~}" frees)
-      (format t "~&total-malloc-not-freed: ~~A ~A free not malloc: ~A"
+      (format t "~&total-malloc-not-freed: ~A ~A free not malloc: ~A"
               (/ malloc-sum 1024.0)
               (length mallocs)