projects
/
sbcl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
0.8.0.60:
[sbcl.git]
/
src
/
compiler
/
debug.lisp
diff --git
a/src/compiler/debug.lisp
b/src/compiler/debug.lisp
index
5f2c6e1
..
b9b8cb3
100644
(file)
--- a/
src/compiler/debug.lisp
+++ b/
src/compiler/debug.lisp
@@
-528,6
+528,8
@@
(barf "IF not at block end: ~S" node)))
(cset
(check-dest (set-value node) node))
(barf "IF not at block end: ~S" node)))
(cset
(check-dest (set-value node) node))
+ (cast
+ (check-dest (cast-value node) node))
(bind
(check-fun-reached (bind-lambda node) node))
(creturn
(bind
(check-fun-reached (bind-lambda node) node))
(creturn
@@
-997,7
+999,13
@@
((exit-entry node)
(format t "exit <no value>"))
(t
((exit-entry node)
(format t "exit <no value>"))
(t
- (format t "exit <degenerate>"))))))
+ (format t "exit <degenerate>")))))
+ (cast
+ (let ((value (cast-value node)))
+ (format t "cast c~D ~A[~S -> ~S]" (cont-num value)
+ (if (cast-%type-check node) #\+ #\-)
+ (cast-type-to-check node)
+ (cast-asserted-type node)))))
(pprint-newline :mandatory)
(when (eq node last) (return)))))
(pprint-newline :mandatory)
(when (eq node last) (return)))))