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

BUG: empty BB in InducedCFG.addExceptionalEdges 

Current workaround is to ignore it
This commit is contained in:
Tobias Blaschke 2014-02-02 18:46:14 +01:00 committed by Juergen Graf
parent 64a1eb0a60
commit 2d9486b2a9
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
com.ibm.wala.core/src/com/ibm/wala/cfg/InducedCFG.java
View File

@ -431,8 +431,10 @@ public class InducedCFG extends AbstractCFG<SSAInstruction, InducedCFG.BasicBloc
*/
private void addExceptionalEdges(SSAInstruction last) {
if (last == null) {
throw new IllegalStateException("Missing last SSA-Instruction in basic block (null)."); // XXX: When does this happen?
// simply Return?
// XXX: Bug here?
// throw new IllegalStateException("Missing last SSA-Instruction in basic block (null)."); // XXX: When does this happen?
System.err.println("Missing last SSA-Instruction in basic block (null).");
return;
}
if (last.isPEI()) {
// we don't currently model catch blocks here ... instead just link