bug fix for exceptional return value from call-to-none
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1901 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
parent
ec6ba69332
commit
642f6d2347
|
@ -36,6 +36,7 @@ public class SliceFunctions implements IFlowFunctionMap<Statement> {
|
||||||
switch (s.getKind()) {
|
switch (s.getKind()) {
|
||||||
case NORMAL_RET_CALLER:
|
case NORMAL_RET_CALLER:
|
||||||
case PARAM_CALLER:
|
case PARAM_CALLER:
|
||||||
|
case EXC_RET_CALLER:
|
||||||
// uh oh. anything that flows into the missing function will be killed.
|
// uh oh. anything that flows into the missing function will be killed.
|
||||||
return ReachabilityFunctions.killReachability;
|
return ReachabilityFunctions.killReachability;
|
||||||
case HEAP_PARAM_CALLEE:
|
case HEAP_PARAM_CALLEE:
|
||||||
|
|
Loading…
Reference in New Issue