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

fix getNextProgramCounter() 

handle the case that the current program counter is free
This commit is contained in:
Martin Mohr 2014-12-20 19:15:22 +01:00
parent 8610ac29c7
commit a5b6490951
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -83,7 +83,7 @@ import com.ibm.wala.util.strings.Atom;
*/
public class VolatileMethodSummary {
private static final boolean DEBUG = false;
private static final boolean DEBUG = true;
private boolean allowReservedPC = false;
private MethodSummary summary;
private List<SSAInstruction> instructions = new ArrayList<SSAInstruction>();
@ -435,10 +435,11 @@ public class VolatileMethodSummary {
* @return A non-reserved writable ProgramCounter
*/
public int getNextProgramCounter() {
while (isUsed(this.currentProgramCounter) || isReserved(this.currentProgramCounter)) {
this.currentProgramCounter++;
while (this.instructions.size() < this.currentProgramCounter) this.instructions.add(null);
int pc = this.currentProgramCounter;
return pc;
}
while (this.instructions.size() < this.currentProgramCounter) this.instructions.add(null);
return this.currentProgramCounter;
}
/**