1 ;;;; functions and macros to define and deal with internal errors
2 ;;;; (i.e. problems that can be signaled from assembler code)
4 ;;;; This software is part of the SBCL system. See the README file for
7 ;;;; This software is derived from the CMU CL system, which was
8 ;;;; written at Carnegie Mellon University and released into the
9 ;;;; public domain. The software is in the public domain and is
10 ;;;; provided with absolutely no warranty. See the COPYING and CREDITS
11 ;;;; files for more information.
13 (in-package "SB!KERNEL")
17 (defvar *internal-errors*
18 #.(map 'vector #'cdr sb!c:*backend-internal-errors*))
20 (eval-when (:compile-toplevel :execute)
22 (sb!xc:defmacro deferr (name args &rest body)
23 (let* ((rest-pos (position '&rest args))
24 (required (if rest-pos (subseq args 0 rest-pos) args))
28 (fn-name (symbolicate name "-HANDLER")))
30 ;; FIXME: Having a separate full DEFUN for each error doesn't
31 ;; seem to add much value, and it takes a lot of space. Perhaps
32 ;; we could do this dispatch with a big CASE statement instead?
33 (defun ,fn-name (name ,fp ,context ,sc-offsets)
34 ;; FIXME: Perhaps put in OPTIMIZE declaration to make this
37 ;; FIXME: It would probably be good to do *STACK-TOP-HINT*
38 ;; tricks to hide this internal error-handling logic from the
39 ;; poor high level user, so his debugger tells him about
40 ;; where his error was detected instead of telling him where
41 ;; he ended up inside the system error-handling logic.
42 (declare (ignorable name ,fp ,context ,sc-offsets))
43 (/show0 "about to do outer LETs in DEFERR macroexpanded DEFUN")
44 (let (,@(let ((offset -1))
45 (mapcar #'(lambda (var)
46 `(,var (sb!di::sub-access-debug-var-slot
53 `((,(nth (1+ rest-pos) args)
54 (mapcar #'(lambda (sc-offset)
55 (sb!di::sub-access-debug-var-slot
59 (nthcdr ,rest-pos ,sc-offsets))))))
61 (setf (svref *internal-errors* ,(error-number-or-lose name))
66 (deferr unknown-error (&rest args)
67 (error "unknown error:~{ ~S~})" args))
69 (deferr object-not-function-error (object)
72 :expected-type 'function))
74 (deferr object-not-list-error (object)
77 :expected-type 'list))
79 (deferr object-not-bignum-error (object)
82 :expected-type 'bignum))
84 (deferr object-not-ratio-error (object)
87 :expected-type 'ratio))
89 (deferr object-not-single-float-error (object)
92 :expected-type 'single-float))
94 (deferr object-not-double-float-error (object)
97 :expected-type 'double-float))
100 (deferr object-not-long-float-error (object)
103 :expected-type 'long-float))
105 (deferr object-not-simple-string-error (object)
108 :expected-type 'simple-string))
110 (deferr object-not-simple-bit-vector-error (object)
113 :expected-type 'simple-bit-vector))
115 (deferr object-not-simple-vector-error (object)
118 :expected-type 'simple-vector))
120 (deferr object-not-fixnum-error (object)
123 :expected-type 'fixnum))
125 (deferr object-not-function-or-symbol-error (object)
128 :expected-type '(or function symbol)))
130 (deferr object-not-vector-error (object)
133 :expected-type 'vector))
135 (deferr object-not-string-error (object)
138 :expected-type 'string))
140 (deferr object-not-bit-vector-error (object)
143 :expected-type 'bit-vector))
145 (deferr object-not-array-error (object)
148 :expected-type 'array))
150 (deferr object-not-number-error (object)
153 :expected-type 'number))
155 (deferr object-not-rational-error (object)
158 :expected-type 'rational))
160 (deferr object-not-float-error (object)
163 :expected-type 'float))
165 (deferr object-not-real-error (object)
168 :expected-type 'real))
170 (deferr object-not-integer-error (object)
173 :expected-type 'integer))
175 (deferr object-not-cons-error (object)
178 :expected-type 'cons))
180 (deferr object-not-symbol-error (object)
183 :expected-type 'symbol))
185 (deferr undefined-symbol-error (fdefn-or-symbol)
186 (error 'undefined-function
187 :name (etypecase fdefn-or-symbol
188 (symbol fdefn-or-symbol)
189 (fdefn (fdefn-name fdefn-or-symbol)))))
191 (deferr object-not-coerceable-to-function-error (object)
194 :expected-type 'coerceable-to-function))
196 (deferr invalid-argument-count-error (nargs)
197 (error 'simple-program-error
198 :format-control "invalid number of arguments: ~S"
199 :format-arguments (list nargs)))
201 (deferr bogus-argument-to-values-list-error (list)
202 (error 'simple-type-error
206 "~@<attempt to use VALUES-LIST on a dotted list: ~2I~_~S~:>"
207 :format-arguments (list list)))
209 (deferr unbound-symbol-error (symbol)
210 (error 'unbound-variable :name symbol))
212 (deferr object-not-base-char-error (object)
215 :expected-type 'base-char))
217 (deferr object-not-sap-error (object)
220 :expected-type 'system-area-pointer))
222 (deferr invalid-unwind-error ()
223 (error 'simple-control-error
225 "attempt to RETURN-FROM a block or GO to a tag that no longer exists"
228 (deferr unseen-throw-tag-error (tag)
229 (error 'simple-control-error
230 :format-control "attempt to THROW to a tag that does not exist: ~S"
231 :format-arguments (list tag)))
233 (deferr nil-function-returned-error (function)
234 (error 'simple-control-error
236 "A function with declared result type NIL returned:~% ~S"
237 :format-arguments (list function)))
239 (deferr division-by-zero-error (this that)
240 (error 'division-by-zero
242 :operands (list this that)))
244 (deferr object-not-type-error (object type)
245 (error (if (and (typep object 'instance)
246 (layout-invalid (%instance-layout object)))
250 :expected-type type))
252 (deferr layout-invalid-error (object layout)
253 (error 'layout-invalid
255 :expected-type (layout-class layout)))
257 (deferr odd-key-arguments-error ()
258 (error 'simple-program-error
259 :format-control "odd number of &KEY arguments"))
261 (deferr unknown-key-argument-error (key-name)
262 (error 'simple-program-error
263 :format-control "unknown &KEY argument: ~S"
264 :format-arguments (list key-name)))
266 (deferr invalid-array-index-error (array bound index)
269 "invalid array index ~D for ~S (should be nonnegative and <~D)"
270 :format-arguments (list index array bound)))
272 (deferr object-not-simple-array-error (object)
275 :expected-type 'simple-array))
277 (deferr object-not-signed-byte-32-error (object)
280 :expected-type '(signed-byte 32)))
282 (deferr object-not-unsigned-byte-32-error (object)
285 :expected-type '(unsigned-byte 32)))
287 (deferr object-not-simple-array-unsigned-byte-2-error (object)
290 :expected-type '(simple-array (unsigned-byte 2) (*))))
292 (deferr object-not-simple-array-unsigned-byte-4-error (object)
295 :expected-type '(simple-array (unsigned-byte 4) (*))))
297 (deferr object-not-simple-array-unsigned-byte-8-error (object)
300 :expected-type '(simple-array (unsigned-byte 8) (*))))
302 (deferr object-not-simple-array-unsigned-byte-16-error (object)
305 :expected-type '(simple-array (unsigned-byte 16) (*))))
307 (deferr object-not-simple-array-unsigned-byte-32-error (object)
310 :expected-type '(simple-array (unsigned-byte 32) (*))))
312 (deferr object-not-simple-array-signed-byte-8-error (object)
315 :expected-type '(simple-array (signed-byte 8) (*))))
317 (deferr object-not-simple-array-signed-byte-16-error (object)
320 :expected-type '(simple-array (signed-byte 16) (*))))
322 (deferr object-not-simple-array-signed-byte-30-error (object)
325 :expected-type '(simple-array (signed-byte 30) (*))))
327 (deferr object-not-simple-array-signed-byte-32-error (object)
330 :expected-type '(simple-array (signed-byte 32) (*))))
332 (deferr object-not-simple-array-single-float-error (object)
335 :expected-type '(simple-array single-float (*))))
337 (deferr object-not-simple-array-double-float-error (object)
340 :expected-type '(simple-array double-float (*))))
342 (deferr object-not-simple-array-complex-single-float-error (object)
345 :expected-type '(simple-array (complex single-float) (*))))
347 (deferr object-not-simple-array-complex-double-float-error (object)
350 :expected-type '(simple-array (complex double-float) (*))))
353 (deferr object-not-simple-array-complex-long-float-error (object)
356 :expected-type '(simple-array (complex long-float) (*))))
358 (deferr object-not-complex-error (object)
361 :expected-type 'complex))
363 (deferr object-not-complex-rational-error (object)
366 :expected-type '(complex rational)))
368 (deferr object-not-complex-single-float-error (object)
371 :expected-type '(complex single-float)))
373 (deferr object-not-complex-double-float-error (object)
376 :expected-type '(complex double-float)))
379 (deferr object-not-complex-long-float-error (object)
382 :expected-type '(complex long-float)))
384 (deferr object-not-weak-pointer-error (object)
387 :expected-type 'weak-pointer))
389 (deferr object-not-instance-error (object)
392 :expected-type 'instance))
394 (deferr object-not-complex-vector-error (object)
397 :expected-type '(and vector (not simple-array))))
399 ;;;; fetching errorful function name
401 ;;; This flag is used to prevent infinite recursive lossage when
402 ;;; we can't find the caller for some reason.
403 (defvar *finding-name* nil)
405 (defun find-caller-name-and-frame ()
407 (values "<error finding caller name -- already finding name>" nil)
409 (let* ((*finding-name* t)
410 (frame (sb!di:frame-down (sb!di:frame-down (sb!di:top-frame))))
411 (name (sb!di:debug-function-name
412 (sb!di:frame-debug-function frame))))
413 (sb!di:flush-frames-above frame)
416 (values "<error finding caller name -- trapped error>" nil))
417 (sb!di:debug-condition ()
418 (values "<error finding caller name -- trapped debug-condition>"
421 (defun find-interrupted-name ()
423 (values "<error finding interrupted name -- already finding name>" nil)
425 (let ((*finding-name* t))
426 (do ((frame (sb!di:top-frame) (sb!di:frame-down frame)))
428 (values "<error finding interrupted name -- null frame>" nil))
429 (when (and (sb!di::compiled-frame-p frame)
430 (sb!di::compiled-frame-escaped frame))
431 (sb!di:flush-frames-above frame)
432 (return (values (sb!di:debug-function-name
433 (sb!di:frame-debug-function frame))
436 (values "<error finding interrupted name -- trapped error>" nil))
437 (sb!di:debug-condition ()
438 (values "<error finding interrupted name -- trapped debug-condition>"
441 ;;;; INTERNAL-ERROR signal handler
443 (defun internal-error (context continuable)
444 (declare (type system-area-pointer context) (ignore continuable))
445 (/show0 "entering INTERNAL-ERROR, CONTEXT=..")
447 (infinite-error-protect
448 (let ((context (locally
449 (declare (optimize (inhibit-warnings 3)))
450 (sb!alien:sap-alien context (* os-context-t)))))
451 (multiple-value-bind (error-number arguments)
452 (sb!vm:internal-error-arguments context)
453 (multiple-value-bind (name sb!debug:*stack-top-hint*)
454 (find-interrupted-name)
455 (let ((fp (int-sap (sb!vm:context-register context
457 (handler (and (< -1 error-number (length *internal-errors*))
458 (svref *internal-errors* error-number))))
459 (cond ((null handler)
462 "unknown internal error, ~D? args=~S"
465 (mapcar #'(lambda (sc-offset)
466 (sb!di::sub-access-debug-var-slot
467 fp sc-offset context))
469 ((not (functionp handler))
471 :format-control "internal error ~D: ~A; args=~S"
475 (mapcar #'(lambda (sc-offset)
476 (sb!di::sub-access-debug-var-slot
477 fp sc-offset context))
480 (funcall handler name fp context arguments)))))))))