checked in changes

[IRC.git] / Robust / src / IR / TypeUtil.java

diff --git a/Robust/src/IR/TypeUtil.java b/Robust/src/IR/TypeUtil.java
index 5e12999aafbd4ee7b4d453361c25a4aabcc9a946..b0d584abab3fc2f838e3a378b51511ea70e7e847 100644 (file)
--- a/Robust/src/IR/TypeUtil.java
+++ b/Robust/src/IR/TypeUtil.java
@@ -121,7 +121,14 @@ public class TypeUtil {
                return true;
            
            return false;
-       } else throw new Error();
+       } else if (possiblesuper.isPrimitive()&&(!possiblesuper.isArray())&&
+                  (cd2.isArray()||cd2.isPtr()))
+           return false;
+       else if (cd2.isPrimitive()&&(!cd2.isArray())&&
+                (possiblesuper.isArray()||possiblesuper.isPtr()))
+           return false;
+       else
+           throw new Error();
     }