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

preserve holes in instruction array when transcribing method summary 

otherwise the iindex fields in the ssa instructions are inconsistent
with their index in the instruction array
This commit is contained in:
Martin Mohr 2014-11-28 16:18:32 +01:00
parent 7e3fb18fc0
commit 1acbf4b9f7
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
com.ibm.wala.core/src/com/ibm/wala/ipa/summaries/VolatileMethodSummary.java
View File

@ -295,6 +295,7 @@ public class VolatileMethodSummary {
if ((inst == null) || (inst == RESERVED)) {
if (DEBUG) { System.err.printf("No instruction at iindex {}", i); }
this.summary.addStatement(null);
} else {
if (DEBUG) { System.err.printf("Adding @{}: ", inst); }
this.summary.addStatement(inst);