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")
20 (defvar *internal-errors*
21 #.(map 'vector #'cdr sb!c:*backend-internal-errors*))
23 (eval-when (:compile-toplevel :execute)
25 (sb!xc:defmacro deferr (name args &rest body)
26 (let* ((rest-pos (position '&rest args))
27 (required (if rest-pos (subseq args 0 rest-pos) args))
31 (fn-name (symbolicate name "-HANDLER")))
33 ;; FIXME: Having a separate full DEFUN for each error doesn't
34 ;; seem to add much value, and it takes a lot of space. Perhaps
35 ;; we could do this dispatch with a big CASE statement instead?
36 (defun ,fn-name (name ,fp ,context ,sc-offsets)
37 ;; FIXME: Perhaps put in OPTIMIZE declaration to make this
40 ;; FIXME: It would probably be good to do *STACK-TOP-HINT*
41 ;; tricks to hide this internal error-handling logic from the
42 ;; poor high level user, so his debugger tells him about
43 ;; where his error was detected instead of telling him where
44 ;; he ended up inside the system error-handling logic.
45 (declare (ignorable name ,fp ,context ,sc-offsets))
46 (/show0 "about to do outer LETs in DEFERR macroexpanded DEFUN")
47 (let (,@(let ((offset -1))
48 (mapcar #'(lambda (var)
49 `(,var (sb!di::sub-access-debug-var-slot
56 `((,(nth (1+ rest-pos) args)
57 (mapcar #'(lambda (sc-offset)
58 (sb!di::sub-access-debug-var-slot
62 (nthcdr ,rest-pos ,sc-offsets))))))
64 (setf (svref *internal-errors* ,(error-number-or-lose name))
69 (deferr unknown-error (&rest args)
70 (error "unknown error:~{ ~S~})" args))
72 (deferr object-not-function-error (object)
76 :expected-type 'function))
78 (deferr object-not-list-error (object)
82 :expected-type 'list))
84 (deferr object-not-bignum-error (object)
88 :expected-type 'bignum))
90 (deferr object-not-ratio-error (object)
94 :expected-type 'ratio))
96 (deferr object-not-single-float-error (object)
100 :expected-type 'single-float))
102 (deferr object-not-double-float-error (object)
106 :expected-type 'double-float))
109 (deferr object-not-long-float-error (object)
113 :expected-type 'long-float))
115 (deferr object-not-simple-string-error (object)
119 :expected-type 'simple-string))
121 (deferr object-not-simple-bit-vector-error (object)
125 :expected-type 'simple-bit-vector))
127 (deferr object-not-simple-vector-error (object)
131 :expected-type 'simple-vector))
133 (deferr object-not-fixnum-error (object)
137 :expected-type 'fixnum))
139 (deferr object-not-function-or-symbol-error (object)
143 :expected-type '(or function symbol)))
145 (deferr object-not-vector-error (object)
149 :expected-type 'vector))
151 (deferr object-not-string-error (object)
155 :expected-type 'string))
157 (deferr object-not-bit-vector-error (object)
161 :expected-type 'bit-vector))
163 (deferr object-not-array-error (object)
167 :expected-type 'array))
169 (deferr object-not-number-error (object)
173 :expected-type 'number))
175 (deferr object-not-rational-error (object)
179 :expected-type 'rational))
181 (deferr object-not-float-error (object)
185 :expected-type 'float))
187 (deferr object-not-real-error (object)
191 :expected-type 'real))
193 (deferr object-not-integer-error (object)
197 :expected-type 'integer))
199 (deferr object-not-cons-error (object)
203 :expected-type 'cons))
205 (deferr object-not-symbol-error (object)
209 :expected-type 'symbol))
211 (deferr undefined-symbol-error (fdefn-or-symbol)
212 (error 'undefined-function
214 :name (etypecase fdefn-or-symbol
215 (symbol fdefn-or-symbol)
216 (fdefn (fdefn-name fdefn-or-symbol)))))
218 (deferr object-not-coerceable-to-function-error (object)
222 :expected-type 'coerceable-to-function))
224 (deferr invalid-argument-count-error (nargs)
225 (error 'simple-program-error
227 :format-control "invalid number of arguments: ~S"
228 :format-arguments (list nargs)))
230 (deferr bogus-argument-to-values-list-error (list)
233 :format-control "attempt to use VALUES-LIST on a dotted-list:~% ~S"
234 :format-arguments (list list)))
236 (deferr unbound-symbol-error (symbol)
237 (error 'unbound-variable :function-name name :name symbol))
239 (deferr object-not-base-char-error (object)
243 :expected-type 'base-char))
245 (deferr object-not-sap-error (object)
249 :expected-type 'system-area-pointer))
251 (deferr invalid-unwind-error ()
252 (error 'simple-control-error
255 "attempt to RETURN-FROM a block or GO to a tag that no longer exists"))
257 (deferr unseen-throw-tag-error (tag)
258 (error 'simple-control-error
260 :format-control "attempt to THROW to a tag that does not exist: ~S"
261 :format-arguments (list tag)))
263 (deferr nil-function-returned-error (function)
264 (error 'simple-control-error
267 "A function with declared result type NIL returned:~% ~S"
268 :format-arguments (list function)))
270 (deferr division-by-zero-error (this that)
271 (error 'division-by-zero
274 :operands (list this that)))
276 (deferr object-not-type-error (object type)
277 (/show0 "entering body of DEFERR OBJECT-NOT-TYPE-ERROR, OBJECT,TYPE=..")
278 #!+sb-show (sb!sys:%primitive print (sb!impl::hexstr object))
279 #!+sb-show (sb!sys:%primitive print (sb!impl::hexstr type))
280 (error (if (and (typep object 'instance)
281 (layout-invalid (%instance-layout object)))
286 :expected-type type))
288 (deferr layout-invalid-error (object layout)
289 (error 'layout-invalid
292 :expected-type (layout-class layout)))
294 (deferr odd-keyword-arguments-error ()
295 (error 'simple-program-error
297 :format-control "odd number of keyword arguments"))
299 (deferr unknown-keyword-argument-error (key)
300 (error 'simple-program-error
302 :format-control "unknown keyword: ~S"
303 :format-arguments (list key)))
305 (deferr invalid-array-index-error (array bound index)
309 "invalid array index, ~D for ~S (should have been less than ~D)"
310 :format-arguments (list index array bound)))
312 (deferr object-not-simple-array-error (object)
316 :expected-type 'simple-array))
318 (deferr object-not-signed-byte-32-error (object)
322 :expected-type '(signed-byte 32)))
324 (deferr object-not-unsigned-byte-32-error (object)
328 :expected-type '(unsigned-byte 32)))
330 (deferr object-not-simple-array-unsigned-byte-2-error (object)
334 :expected-type '(simple-array (unsigned-byte 2) (*))))
336 (deferr object-not-simple-array-unsigned-byte-4-error (object)
340 :expected-type '(simple-array (unsigned-byte 4) (*))))
342 (deferr object-not-simple-array-unsigned-byte-8-error (object)
346 :expected-type '(simple-array (unsigned-byte 8) (*))))
348 (deferr object-not-simple-array-unsigned-byte-16-error (object)
352 :expected-type '(simple-array (unsigned-byte 16) (*))))
354 (deferr object-not-simple-array-unsigned-byte-32-error (object)
358 :expected-type '(simple-array (unsigned-byte 32) (*))))
360 (deferr object-not-simple-array-signed-byte-8-error (object)
364 :expected-type '(simple-array (signed-byte 8) (*))))
366 (deferr object-not-simple-array-signed-byte-16-error (object)
370 :expected-type '(simple-array (signed-byte 16) (*))))
372 (deferr object-not-simple-array-signed-byte-30-error (object)
376 :expected-type '(simple-array (signed-byte 30) (*))))
378 (deferr object-not-simple-array-signed-byte-32-error (object)
382 :expected-type '(simple-array (signed-byte 32) (*))))
384 (deferr object-not-simple-array-single-float-error (object)
388 :expected-type '(simple-array single-float (*))))
390 (deferr object-not-simple-array-double-float-error (object)
394 :expected-type '(simple-array double-float (*))))
396 (deferr object-not-simple-array-complex-single-float-error (object)
400 :expected-type '(simple-array (complex single-float) (*))))
402 (deferr object-not-simple-array-complex-double-float-error (object)
406 :expected-type '(simple-array (complex double-float) (*))))
409 (deferr object-not-simple-array-complex-long-float-error (object)
413 :expected-type '(simple-array (complex long-float) (*))))
415 (deferr object-not-complex-error (object)
419 :expected-type 'complex))
421 (deferr object-not-complex-rational-error (object)
425 :expected-type '(complex rational)))
427 (deferr object-not-complex-single-float-error (object)
431 :expected-type '(complex single-float)))
433 (deferr object-not-complex-double-float-error (object)
437 :expected-type '(complex double-float)))
440 (deferr object-not-complex-long-float-error (object)
444 :expected-type '(complex long-float)))
446 (deferr object-not-weak-pointer-error (object)
450 :expected-type 'weak-pointer))
452 (deferr object-not-instance-error (object)
456 :expected-type 'instance))
458 ;;;; fetching errorful function name
460 ;;; This variable is used to prevent infinite recursive lossage when
461 ;;; we can't find the caller for some reason.
462 (defvar *finding-name* nil)
464 (defun find-caller-name ()
466 (values "<error finding caller name -- already finding name>" nil)
468 (let* ((*finding-name* t)
469 (frame (sb!di:frame-down (sb!di:frame-down (sb!di:top-frame))))
470 (name (sb!di:debug-function-name
471 (sb!di:frame-debug-function frame))))
472 (sb!di:flush-frames-above frame)
475 (values "<error finding caller name -- trapped error>" nil))
476 (sb!di:debug-condition ()
477 (values "<error finding caller name -- trapped debug-condition>"
480 (defun find-interrupted-name ()
482 (values "<error finding interrupted name -- already finding name>" nil)
484 (let ((*finding-name* t))
485 (do ((frame (sb!di:top-frame) (sb!di:frame-down frame)))
487 (values "<error finding interrupted name -- null frame>" nil))
488 (when (and (sb!di::compiled-frame-p frame)
489 (sb!di::compiled-frame-escaped frame))
490 (sb!di:flush-frames-above frame)
491 (return (values (sb!di:debug-function-name
492 (sb!di:frame-debug-function frame))
495 (values "<error finding interrupted name -- trapped error>" nil))
496 (sb!di:debug-condition ()
497 (values "<error finding interrupted name -- trapped debug-condition>"
500 ;;;; INTERNAL-ERROR signal handler
502 (defun internal-error (context continuable)
503 (declare (type system-area-pointer context) (ignore continuable))
504 (/show0 "entering INTERNAL-ERROR, CONTEXT=..")
505 #!+sb-show (sb!sys:%primitive print (sb!impl::hexstr context))
506 (infinite-error-protect
507 (let ((context (locally
508 (declare (optimize (inhibit-warnings 3)))
509 (sb!alien:sap-alien context (* os-context-t)))))
510 (multiple-value-bind (error-number arguments)
511 (sb!vm:internal-error-arguments context)
512 (multiple-value-bind (name sb!debug:*stack-top-hint*)
513 (find-interrupted-name)
514 (let ((fp (int-sap (sb!vm:context-register context
516 (handler (and (< -1 error-number (length *internal-errors*))
517 (svref *internal-errors* error-number))))
518 (cond ((null handler)
522 "unknown internal error, ~D? args=~S"
525 (mapcar #'(lambda (sc-offset)
526 (sb!di::sub-access-debug-var-slot
527 fp sc-offset context))
529 ((not (functionp handler))
532 :format-control "internal error ~D: ~A; args=~S"
536 (mapcar #'(lambda (sc-offset)
537 (sb!di::sub-access-debug-var-slot
538 fp sc-offset context))
541 (funcall handler name fp context arguments)))))))))