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

implement some functionality for METHOD_EXIT statements 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2555 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2008-02-10 23:10:43 +00:00
parent c07cffe4fe
commit 75006e83dd
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
com.ibm.wala.core/src/com/ibm/wala/ipa/slicer/SDGSupergraph.java
View File

@ -224,6 +224,7 @@ class SDGSupergraph implements ISupergraph<Statement, PDG> {
case HEAP_RET_CALLEE:
case HEAP_RET_CALLER:
case METHOD_ENTRY:
case METHOD_EXIT:
case CATCH:
case PI:
return false;
@ -285,6 +286,7 @@ class SDGSupergraph implements ISupergraph<Statement, PDG> {
case HEAP_RET_CALLEE:
case EXC_RET_CALLEE:
case NORMAL_RET_CALLEE:
case METHOD_EXIT:
return true;
default:
Assertions.UNREACHABLE(n.toString());