From 642f6d23474c386d435f7a1c655c77b1dfa07994 Mon Sep 17 00:00:00 2001
From: sjfink <sjfink@f5eafffb-2e1d-0410-98e4-8ec43c5233c4>
Date: Fri, 19 Oct 2007 13:11:49 +0000
Subject: [PATCH] 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
---
 .../src/com/ibm/wala/ipa/slicer/SliceFunctions.java              | 1 +
 1 file changed, 1 insertion(+)

diff --git a/com.ibm.wala.core/src/com/ibm/wala/ipa/slicer/SliceFunctions.java b/com.ibm.wala.core/src/com/ibm/wala/ipa/slicer/SliceFunctions.java
index 970dc21f0..c96359c88 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/ipa/slicer/SliceFunctions.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/ipa/slicer/SliceFunctions.java
@@ -36,6 +36,7 @@ public class SliceFunctions implements IFlowFunctionMap<Statement> {
     switch (s.getKind()) {
     case NORMAL_RET_CALLER:
     case PARAM_CALLER:
+    case EXC_RET_CALLER:
       // uh oh.  anything that flows into the missing function will be killed.
       return ReachabilityFunctions.killReachability;
     case HEAP_PARAM_CALLEE: