Skip to content
Snippets Groups Projects
Commit 2ec920e0 authored by ram's avatar ram
Browse files

Deleted function-does-not-return test, since that is now done in

environment analysis.
parent a0eb0670
No related branches found
No related tags found
No related merge requests found
...@@ -72,8 +72,7 @@ ...@@ -72,8 +72,7 @@
(functional (functional
(let* ((where (info function where-from name)) (let* ((where (info function where-from name))
(dtype (leaf-type leaf)) (dtype (leaf-type leaf))
(node (lambda-bind (main-entry leaf))) (*compiler-error-context* (lambda-bind (main-entry leaf))))
(*compiler-error-context* node))
(note-name-defined name :function) (note-name-defined name :function)
(when (function-type-p dtype) (when (function-type-p dtype)
...@@ -85,10 +84,6 @@ ...@@ -85,10 +84,6 @@
((:declared :defined) ((:declared :defined)
)) ))
(when (and (eq (function-type-returns dtype) *empty-type*)
(policy node (>= safety brevity)))
(compiler-note "Function does not return."))
(setf (info function type name) dtype) (setf (info function type name) dtype)
(clear-info function assumed-type name)) (clear-info function assumed-type name))
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment