From 7c01256b30d1ef68259964de51c2c7703e255bf5 Mon Sep 17 00:00:00 2001
From: dolby-oss <dolby-oss@f5eafffb-2e1d-0410-98e4-8ec43c5233c4>
Date: Thu, 14 May 2009 19:15:45 +0000
Subject: [PATCH] fix hackish multithreaded support to deal with array writes

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3594 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
---
 .../src/com/ibm/wala/cast/java/ipa/slicer/AstJavaSlicer.java   | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/com.ibm.wala.cast.java/src/com/ibm/wala/cast/java/ipa/slicer/AstJavaSlicer.java b/com.ibm.wala.cast.java/src/com/ibm/wala/cast/java/ipa/slicer/AstJavaSlicer.java
index 92e8e602a..d60898cf4 100644
--- a/com.ibm.wala.cast.java/src/com/ibm/wala/cast/java/ipa/slicer/AstJavaSlicer.java
+++ b/com.ibm.wala.cast.java/src/com/ibm/wala/cast/java/ipa/slicer/AstJavaSlicer.java
@@ -18,6 +18,7 @@ import com.ibm.wala.ipa.slicer.SDG;
 import com.ibm.wala.ipa.slicer.Slicer;
 import com.ibm.wala.ipa.slicer.Statement;
 import com.ibm.wala.ssa.IR;
+import com.ibm.wala.ssa.SSAArrayStoreInstruction;
 import com.ibm.wala.ssa.SSAInstruction;
 import com.ibm.wala.ssa.SSAPutInstruction;
 import com.ibm.wala.util.collections.Filter;
@@ -71,7 +72,7 @@ public class AstJavaSlicer extends Slicer {
   public static Set<Statement> gatherWrites(CallGraph CG, Collection<CGNode> partialRoots) {
     return gatherStatements(CG, partialRoots, new Filter<SSAInstruction>() {
       public boolean accepts(SSAInstruction o) {
-        return o instanceof SSAPutInstruction;
+        return (o instanceof SSAPutInstruction) || (o instanceof SSAArrayStoreInstruction);
       }
     });
   }