Change semantics of isPtr to also allow Array objects. It seems we alway do an ...

diff --git a/Robust/src/IR/TypeDescriptor.java b/Robust/src/IR/TypeDescriptor.java
index e82e8b53e0f99b135369d522afa2ed3dd508cefb..04a717ed0161d78d669cf295a64186760c6f1b6c 100644 (file)
--- a/Robust/src/IR/TypeDescriptor.java
+++ b/Robust/src/IR/TypeDescriptor.java
@@ -188,7 +188,7 @@ public class TypeDescriptor extends Descriptor {
     }
 
     public boolean isPtr() {
-       return (isClass()||isNull()||isTag());
+       return (isClass()||isNull()||isTag()||isArray());
     }
 
     public boolean isIntegerType() {