X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Finterr.lisp;h=7aefbbc0b5ebc0c52cab419e2c2d7ae8273fe7a0;hb=b6aa15328871678a3475e82c150b251dffb49ba1;hp=eb4be3d0881f47861684b7416effb130c3783e75;hpb=dfa55a883f94470267b626dae77ce7e7dfac3df6;p=sbcl.git diff --git a/src/code/interr.lisp b/src/code/interr.lisp index eb4be3d..7aefbbc 100644 --- a/src/code/interr.lisp +++ b/src/code/interr.lisp @@ -31,9 +31,6 @@ ;; seem to add much value, and it takes a lot of space. Perhaps ;; we could do this dispatch with a big CASE statement instead? (defun ,fn-name (name ,fp ,context ,sc-offsets) - ;; FIXME: Perhaps put in OPTIMIZE declaration to make this - ;; byte coded. - ;; ;; FIXME: It would probably be good to do *STACK-TOP-HINT* ;; tricks to hide this internal error-handling logic from the ;; poor high level user, so his debugger tells him about @@ -121,11 +118,6 @@ :datum object :expected-type 'fixnum)) -(deferr object-not-function-or-symbol-error (object) - (error 'type-error - :datum object - :expected-type '(or function symbol))) - (deferr object-not-vector-error (object) (error 'type-error :datum object @@ -407,8 +399,8 @@ (handler-case (let* ((*finding-name* t) (frame (sb!di:frame-down (sb!di:frame-down (sb!di:top-frame)))) - (name (sb!di:debug-function-name - (sb!di:frame-debug-function frame)))) + (name (sb!di:debug-fun-name + (sb!di:frame-debug-fun frame)))) (sb!di:flush-frames-above frame) (values name frame)) (error () @@ -418,40 +410,55 @@ nil))))) (defun find-interrupted-name () + (/show0 "entering FIND-INTERRUPTED-NAME") (if *finding-name* (values "" nil) (handler-case (let ((*finding-name* t)) + (/show0 "in ordinary case") (do ((frame (sb!di:top-frame) (sb!di:frame-down frame))) ((null frame) + (/show0 "null frame") (values "" nil)) + (/show0 "at head of DO loop") (when (and (sb!di::compiled-frame-p frame) (sb!di::compiled-frame-escaped frame)) (sb!di:flush-frames-above frame) - (return (values (sb!di:debug-function-name - (sb!di:frame-debug-function frame)) + (/show0 "returning from within DO loop") + (return (values (sb!di:debug-fun-name + (sb!di:frame-debug-fun frame)) frame))))) (error () + (/show0 "trapped ERROR") (values "" nil)) (sb!di:debug-condition () + (/show0 "trapped DEBUG-CONDITION") (values "" nil))))) ;;;; INTERNAL-ERROR signal handler (defun internal-error (context continuable) - (declare (type system-area-pointer context) (ignore continuable)) + (declare (type system-area-pointer context)) + (declare (ignore continuable)) (/show0 "entering INTERNAL-ERROR, CONTEXT=..") (/hexstr context) (infinite-error-protect - (let ((context (locally - (declare (optimize (inhibit-warnings 3))) - (sb!alien:sap-alien context (* os-context-t))))) + (/show0 "about to bind ALIEN-CONTEXT") + (let ((alien-context (locally + (declare (optimize (inhibit-warnings 3))) + (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 context) + (sb!vm:internal-error-arguments alien-context) + (/show0 "back from INTERNAL-ERROR-ARGUMENTS, ERROR-NUMBER=..") + (/hexstr error-number) + (/show0 "ARGUMENTS=..") + (/hexstr arguments) (multiple-value-bind (name sb!debug:*stack-top-hint*) (find-interrupted-name) - (let ((fp (int-sap (sb!vm:context-register context + (/show0 "back from FIND-INTERRUPTED-NAME") + (let ((fp (int-sap (sb!vm:context-register alien-context sb!vm::cfp-offset))) (handler (and (< -1 error-number (length *internal-errors*)) (svref *internal-errors* error-number)))) @@ -463,7 +470,7 @@ (list error-number (mapcar #'(lambda (sc-offset) (sb!di::sub-access-debug-var-slot - fp sc-offset context)) + fp sc-offset alien-context)) arguments)))) ((not (functionp handler)) (error 'simple-error @@ -473,7 +480,7 @@ handler (mapcar #'(lambda (sc-offset) (sb!di::sub-access-debug-var-slot - fp sc-offset context)) + fp sc-offset alien-context)) arguments)))) (t - (funcall handler name fp context arguments))))))))) + (funcall handler name fp alien-context arguments)))))))))