From: bdemsky <bdemsky>
Date: Tue, 7 Apr 2009 22:18:50 +0000 (+0000)
Subject: fix for alokika's bug
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=1a94b5318e571c370a3073a96c8f82d45986bf45;p=IRC.git

fix for alokika's bug
---

diff --git a/Robust/src/IR/TypeUtil.java b/Robust/src/IR/TypeUtil.java
index f80b2a77..df0a163e 100644
--- a/Robust/src/IR/TypeUtil.java
+++ b/Robust/src/IR/TypeUtil.java
@@ -232,6 +232,10 @@ NextMethod:
           &&(possiblesuper.getArrayCount()<cd2.getArrayCount()))
 	return true;
 
+      //Allow arraytype=null statements
+      if (possiblesuper.isArray()&&cd2.isNull())
+	return true;
+
       return false;
     }