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

bug fix for putfield on unresolved field 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2571 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2008-02-13 18:46:35 +00:00
parent a3ac4d3a45
commit 6ebce2d0f5
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/PropagationCallGraphBuilder.java
View File

@ -1306,7 +1306,9 @@ public abstract class PropagationCallGraphBuilder implements CallGraphBuilder {
InstanceKey I = system.getInstanceKey(i);
if (!representsNullType(I)) {
PointerKey p = getPointerKeyForInstanceField(I, field);
sideEffect.b |= system.newConstraint(p, instance);
if (p != null) {
sideEffect.b |= system.newConstraint(p, instance);
}
}
}
};