From: bdemsky <bdemsky>
Date: Wed, 24 Oct 2007 23:05:33 +0000 (+0000)
Subject: Change semantics of isPtr to also allow Array objects.  It seems we alway do an ... 
X-Git-Tag: preEdgeChange~407
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=daafa858cceda87dad9e465b63149cfb04c730fd;p=IRC.git

Change semantics of isPtr to also allow Array objects.  It seems we alway do an || with isArray everytime it is used.
---

diff --git a/Robust/src/IR/TypeDescriptor.java b/Robust/src/IR/TypeDescriptor.java
index e82e8b53..04a717ed 100644
--- 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() {