From: bdemsky <bdemsky>
Date: Thu, 25 Mar 2010 03:50:17 +0000 (+0000)
Subject: little optimization to allow it to quickly recompute methods it already has informati... 
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=5f29447cc35219fa74ec8ff677a0acd683abe822;p=IRC.git

little optimization to allow it to quickly recompute methods it already has information for
---

diff --git a/Robust/src/Analysis/Disjoint/PointerMethod.java b/Robust/src/Analysis/Disjoint/PointerMethod.java
index bace6eb4..19ab62b6 100644
--- a/Robust/src/Analysis/Disjoint/PointerMethod.java
+++ b/Robust/src/Analysis/Disjoint/PointerMethod.java
@@ -15,6 +15,8 @@ public class PointerMethod {
   Hashtable<FlatNode, Vector<FlatNode>> prevmap;
 
   public void analyzeMethod(FlatMethod fm) {
+    if (nextmap.containsKey(fm))
+      return;
     Hashtable<FlatNode, HashSet<FlatNode>> map=new Hashtable<FlatNode, HashSet<FlatNode>>();
     HashSet<FlatNode> toprocess=new HashSet<FlatNode>();
     toprocess.add(fm);