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

Changed PROBABLE-TYPE-CHECK-P to return T when we are unable to determine when

VALID-FUNCTION-USE is unable to determine the whether the template applies.  If
the VOP operand is unrestrictive, but we know it is of an unknown type, then
the type-operation will fail but the template can still be selected, since
PRIMITIVE-TYPE isn't fooled.
parent a45178b5
No related branches found
No related tags found
No related merge requests found
...@@ -231,10 +231,11 @@ ...@@ -231,10 +231,11 @@
((function-info-ir2-convert kind) t) ((function-info-ir2-convert kind) t)
(t (t
(dolist (template (function-info-templates kind) nil) (dolist (template (function-info-templates kind) nil)
(when (and (eq (template-policy template) :fast-safe) (when (eq (template-policy template) :fast-safe)
(valid-function-use dest (multiple-value-bind
(template-type template))) (val win)
(return t))))))) (valid-function-use dest (template-type template))
(when (or val (not win)) (return t)))))))))
(t t)))) (t t))))
......
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