X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Finterr.lisp;h=d32be0a0bdb5a8472dddfad32bc2534c573c7fe1;hb=2db3b6b4cb740d5b6512459c223859f747807b09;hp=18e5ae37ec6932ae9e5617e0bcef8b207a7cd523;hpb=3b7bcf8ff3727a7f68102f7458805d1bebee5e78;p=sbcl.git diff --git a/src/code/interr.lisp b/src/code/interr.lisp index 18e5ae3..d32be0a 100644 --- a/src/code/interr.lisp +++ b/src/code/interr.lisp @@ -38,20 +38,20 @@ ;; he ended up inside the system error-handling logic. (declare (ignorable name ,fp ,context ,sc-offsets)) (let (,@(let ((offset -1)) - (mapcar #'(lambda (var) - `(,var (sb!di::sub-access-debug-var-slot - ,fp - (nth ,(incf offset) - ,sc-offsets) - ,context))) + (mapcar (lambda (var) + `(,var (sb!di::sub-access-debug-var-slot + ,fp + (nth ,(incf offset) + ,sc-offsets) + ,context))) required)) ,@(when rest-pos `((,(nth (1+ rest-pos) args) - (mapcar #'(lambda (sc-offset) - (sb!di::sub-access-debug-var-slot - ,fp - sc-offset - ,context)) + (mapcar (lambda (sc-offset) + (sb!di::sub-access-debug-var-slot + ,fp + sc-offset + ,context)) (nthcdr ,rest-pos ,sc-offsets)))))) ,@body)) (setf (svref *internal-errors* ,(error-number-or-lose name)) @@ -62,7 +62,7 @@ (deferr unknown-error (&rest args) (error "unknown error:~{ ~S~})" args)) -(deferr object-not-function-error (object) +(deferr object-not-fun-error (object) (error 'type-error :datum object :expected-type 'function)) @@ -173,23 +173,18 @@ :datum object :expected-type 'symbol)) -(deferr undefined-symbol-error (fdefn-or-symbol) +(deferr undefined-fun-error (fdefn-or-symbol) (error 'undefined-function :name (etypecase fdefn-or-symbol (symbol fdefn-or-symbol) (fdefn (fdefn-name fdefn-or-symbol))))) -(deferr object-not-coerceable-to-function-error (object) - (error 'type-error - :datum object - :expected-type 'coerceable-to-function)) - -(deferr invalid-argument-count-error (nargs) +(deferr invalid-arg-count-error (nargs) (error 'simple-program-error :format-control "invalid number of arguments: ~S" :format-arguments (list nargs))) -(deferr bogus-argument-to-values-list-error (list) +(deferr bogus-arg-to-values-list-error (list) (error 'simple-type-error :datum list :expected-type 'list @@ -221,12 +216,16 @@ :format-control "attempt to THROW to a tag that does not exist: ~S" :format-arguments (list tag))) -(deferr nil-function-returned-error (function) +(deferr nil-fun-returned-error (function) (error 'simple-control-error :format-control "A function with declared result type NIL returned:~% ~S" :format-arguments (list function))) +(deferr nil-array-accessed-error (array) + (error 'nil-array-accessed-error + :datum array :expected-type '(not (array nil)))) + (deferr division-by-zero-error (this that) (error 'division-by-zero :operation 'division @@ -245,20 +244,22 @@ :datum object :expected-type (layout-class layout))) -(deferr odd-key-arguments-error () +(deferr odd-key-args-error () (error 'simple-program-error :format-control "odd number of &KEY arguments")) -(deferr unknown-key-argument-error (key-name) +(deferr unknown-key-arg-error (key-name) (error 'simple-program-error :format-control "unknown &KEY argument: ~S" :format-arguments (list key-name))) (deferr invalid-array-index-error (array bound index) - (error 'simple-error + (error 'simple-type-error :format-control - "invalid array index ~D for ~S (should be nonnegative and <~D)" - :format-arguments (list index array bound))) + "invalid array index ~W for ~S (should be nonnegative and <~W)" + :format-arguments (list index array bound) + :datum index + :expected-type `(integer 0 (,bound)))) (deferr object-not-simple-array-error (object) (error 'type-error @@ -275,6 +276,11 @@ :datum object :expected-type '(unsigned-byte 32))) +(deferr object-not-simple-array-nil-error (object) + (error 'type-error + :datum object + :expected-type '(simple-array nil (*)))) + (deferr object-not-simple-array-unsigned-byte-2-error (object) (error 'type-error :datum object @@ -438,7 +444,7 @@ ;;;; INTERNAL-ERROR signal handler -(defvar *internal-error-arguments*) +(defvar *internal-error-args*) (defun internal-error (context continuable) (declare (type system-area-pointer context)) @@ -452,11 +458,18 @@ (sb!alien:sap-alien context (* os-context-t))))) (/show0 "about to bind ERROR-NUMBER and ARGUMENTS") (multiple-value-bind (error-number arguments) - (sb!vm:internal-error-arguments alien-context) - (/show0 "back from INTERNAL-ERROR-ARGUMENTS, ERROR-NUMBER=..") + (sb!vm:internal-error-args alien-context) + + ;; There's a limit to how much error reporting we can usefully + ;; do before initialization is complete, but try to be a little + ;; bit helpful before we die. + (/show0 "back from INTERNAL-ERROR-ARGS, ERROR-NUMBER=..") (/hexstr error-number) (/show0 "cold/low ARGUMENTS=..") (/hexstr arguments) + (unless *cold-init-complete-p* + (%primitive print "can't recover from error in cold init, halting") + (%primitive sb!c:halt)) (multiple-value-bind (name sb!debug:*stack-top-hint*) (find-interrupted-name) @@ -468,12 +481,12 @@ (cond ((null handler) (error 'simple-error :format-control - "unknown internal error, ~D? args=~S" + "unknown internal error, ~D, args=~S" :format-arguments (list error-number - (mapcar #'(lambda (sc-offset) - (sb!di::sub-access-debug-var-slot - fp sc-offset alien-context)) + (mapcar (lambda (sc-offset) + (sb!di::sub-access-debug-var-slot + fp sc-offset alien-context)) arguments)))) ((not (functionp handler)) (error 'simple-error @@ -481,9 +494,19 @@ :format-arguments (list error-number handler - (mapcar #'(lambda (sc-offset) - (sb!di::sub-access-debug-var-slot - fp sc-offset alien-context)) + (mapcar (lambda (sc-offset) + (sb!di::sub-access-debug-var-slot + fp sc-offset alien-context)) arguments)))) (t (funcall handler name fp alien-context arguments))))))))) + +(defun control-stack-exhausted-error () + (let ((sb!debug:*stack-top-hint* nil)) + (infinite-error-protect + (format *error-output* + "Control stack guard page temporarily disabled: proceed with caution~%") + (error 'control-stack-exhausted)))) + + +