tiny refactoring
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2380 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
parent
59f6d5c571
commit
db137eb5ae
|
@ -1032,8 +1032,8 @@ public class PDG implements NumberedGraph<Statement> {
|
|||
case NORMAL:
|
||||
NormalStatement st = (NormalStatement) N;
|
||||
if (!(IGNORE_ALLOC_HEAP_DEFS && st.getInstruction() instanceof SSANewInstruction)) {
|
||||
Collection<PointerKey> ref = modRef.getMod(node, heapModel, pa, st.getInstruction(), exclusions);
|
||||
for (PointerKey pk : ref) {
|
||||
Collection<PointerKey> mod = modRef.getMod(node, heapModel, pa, st.getInstruction(), exclusions);
|
||||
for (PointerKey pk : mod) {
|
||||
createHeapDataDependenceEdges(pk);
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Reference in New Issue