From: jzhou <jzhou>
Date: Fri, 6 Feb 2009 01:21:10 +0000 (+0000)
Subject: allow & operation on boolean
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=823fd3d3728daaedb7ef5a9e34cfa0d1b99871c2;p=IRC.git

allow & operation on boolean
---

diff --git a/Robust/src/IR/Tree/SemanticCheck.java b/Robust/src/IR/Tree/SemanticCheck.java
index 045961a6..d8c5d530 100644
--- a/Robust/src/IR/Tree/SemanticCheck.java
+++ b/Robust/src/IR/Tree/SemanticCheck.java
@@ -861,6 +861,9 @@ NextMethod:
 	throw new Error();
       else if (ltd.isLong()||rtd.isLong())
 	lefttype=new TypeDescriptor(TypeDescriptor.LONG);
+      // 090205 hack for boolean
+      else if (ltd.isBoolean()||rtd.isBoolean())
+		lefttype=new TypeDescriptor(TypeDescriptor.BOOLEAN);
       else
 	lefttype=new TypeDescriptor(TypeDescriptor.INT);
       righttype=lefttype;