From 93e9b7a0f19398244adf628ee74a3e396f7eaae3 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Thu, 3 Mar 2011 02:08:11 +0000
Subject: [PATCH] changes

---
 Robust/src/Analysis/Pointer/Pointer.java | 24 ++++++++++++++++++++----
 1 file changed, 20 insertions(+), 4 deletions(-)

diff --git a/Robust/src/Analysis/Pointer/Pointer.java b/Robust/src/Analysis/Pointer/Pointer.java
index 8aa7c7ab..ceca50bd 100644
--- a/Robust/src/Analysis/Pointer/Pointer.java
+++ b/Robust/src/Analysis/Pointer/Pointer.java
@@ -63,14 +63,19 @@ public class Pointer {
       PPoint ppoint=delta.getBlock();
       BBlock bblock=ppoint.getBBlock();
       Vector<FlatNode> nodes=bblock.nodes();
+      int startindex=0;
+      if (ppoint.getIndex()==-1) {
+	//Build base graph for entrance to this basic block
+	delta=applyInitDelta(delta, bblock);
+      } else {
+	startindex=ppoint.getIndex()+1;
+	delta=applyCallDelta(delta, bblock);
+      }
 
-      //Build base graph for entrance to this basic block
-      delta=applyInitDelta(delta, bblock);
       Graph graph=bbgraphMap.get(bblock);
-
       Graph nodeGraph=null;
       //Compute delta at exit of each node
-      for(int i=0; i<nodes.size();i++) {
+      for(int i=startindex; i<nodes.size();i++) {
 	FlatNode currNode=nodes.get(i);
 	if (!graphMap.containsKey(currNode)) {
 	  graphMap.put(currNode, new Graph(graph));
@@ -562,6 +567,17 @@ public class Pointer {
     return delta;
   }
 
+  Delta applyCallDelta(Delta delta, BBlock bblock) {
+    Vector<FlatNode> nodes=bblock.nodes();
+    PPoint ppoint=delta.getBlock();
+    FlatCall fcall=(FlatCall)nodes.get(ppoint.getIndex());
+    Graph graph=graphMap.get(fcall);
+    
+
+
+    return null;
+  }
+
   void applyDiffs(Graph graph, Delta delta) {
     applyDiffs(graph, delta, false);
   }
-- 
2.34.1