From b9814df41fc775d2e06570965d5841cb4c7c2c77 Mon Sep 17 00:00:00 2001
From: sjfink <sjfink@f5eafffb-2e1d-0410-98e4-8ec43c5233c4>
Date: Wed, 16 Jan 2008 14:44:29 +0000
Subject: [PATCH] logic for PI nodes

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2395 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
---
 com.ibm.wala.core/src/com/ibm/wala/ipa/slicer/SDG.java          | 1 +
 .../src/com/ibm/wala/ipa/slicer/SDGSupergraph.java              | 2 ++
 2 files changed, 3 insertions(+)

diff --git a/com.ibm.wala.core/src/com/ibm/wala/ipa/slicer/SDG.java b/com.ibm.wala.core/src/com/ibm/wala/ipa/slicer/SDG.java
index c5134a3d4..08f739060 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/ipa/slicer/SDG.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/ipa/slicer/SDG.java
@@ -440,6 +440,7 @@ public class SDG extends AbstractNumberedGraph<Statement> implements ISDG {
           }
         }
       case PHI:
+      case PI:
       case CATCH:
       case EXC_RET_CALLER:
       case NORMAL_RET_CALLER:
diff --git a/com.ibm.wala.core/src/com/ibm/wala/ipa/slicer/SDGSupergraph.java b/com.ibm.wala.core/src/com/ibm/wala/ipa/slicer/SDGSupergraph.java
index 2bc0d37a8..2f4b5c193 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/ipa/slicer/SDGSupergraph.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/ipa/slicer/SDGSupergraph.java
@@ -270,6 +270,7 @@ class SDGSupergraph implements ISupergraph<Statement, PDG> {
     case HEAP_RET_CALLER:
     case METHOD_ENTRY:
     case CATCH:
+    case PI:
       return false;
     case HEAP_PARAM_CALLER:
     case PARAM_CALLER:
@@ -317,6 +318,7 @@ class SDGSupergraph implements ISupergraph<Statement, PDG> {
     case PARAM_CALLEE:
     case HEAP_PARAM_CALLEE:
     case PHI:
+    case PI:
     case NORMAL_RET_CALLER:
     case PARAM_CALLER:
     case HEAP_RET_CALLER: