From: bdemsky <bdemsky>
Date: Tue, 22 Mar 2011 09:26:25 +0000 (+0000)
Subject: small bug
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=62086c4cdb2a43b1b66f55ec946a5f3748476b37;p=IRC.git

small bug
---

diff --git a/Robust/src/Analysis/Pointer/AllocFactory.java b/Robust/src/Analysis/Pointer/AllocFactory.java
index ed997a9e..cce24f33 100644
--- a/Robust/src/Analysis/Pointer/AllocFactory.java
+++ b/Robust/src/Analysis/Pointer/AllocFactory.java
@@ -127,7 +127,9 @@ public class AllocFactory {
     TypeDescriptor stringtd=new TypeDescriptor(stringcd);
     TypeDescriptor stringarraytd=stringtd.makeArray(state);
     StringArray=new AllocNode(0, new FlatNew(stringarraytd, null, false), false);
+    StringArray.as=getAllocSite(StringArray);
     Strings=new AllocNode(1, new FlatNew(stringtd, null, false), true);
+    Strings.as=getAllocSite(Strings);
   }
 
   public int getSiteNumber(FlatNew node) {