From b659f7de92e8e460e9bcd793a5a6b6f7cd04888e Mon Sep 17 00:00:00 2001 From: Juan Jose Garcia Ripoll Date: Mon, 28 Dec 2009 14:46:28 +0100 Subject: [PATCH] Enforce :BOOL representation type on condition values for IF statements. --- src/new-cmp/cmpif.lsp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/new-cmp/cmpif.lsp b/src/new-cmp/cmpif.lsp index 10aa66e6f..340f34976 100644 --- a/src/new-cmp/cmpif.lsp +++ b/src/new-cmp/cmpif.lsp @@ -16,6 +16,8 @@ (defun c1alternatives (form true-branch false-branch) (c1with-saved-value (prefix postfix temp form) + (when (or prefix postfix) + (setf (var-kind temp) :bool)) (nconc prefix (if true-branch (nconc (c1jmp-true true-branch temp)