DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

another bug fix 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1993 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2007-11-08 22:40:21 +00:00
parent 72b99ed91f
commit b91b9d8c55
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/rta/TypeBasedPointerAnalysis.java
View File

@ -138,10 +138,8 @@ public class TypeBasedPointerAnalysis extends AbstractPointerAnalysis {
BimodalMutableIntSet s = new BimodalMutableIntSet();
for (Iterator it = c.iterator(); it.hasNext();) {
IClass klass = (IClass) it.next();
int index = getInstanceKeyMapping().getMappedIndex(new ConcreteTypeKey(klass));
if (index >= 0) {
s.add(index);
}
int index = getInstanceKeyMapping().add(new ConcreteTypeKey(klass));
s.add(index);
}
return new OrdinalSet<InstanceKey>(s, getInstanceKeyMapping());
}