projects
/
IRC.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
4ff45b1
)
little optimization to allow it to quickly recompute methods it already has informati...
author
bdemsky
<bdemsky>
Thu, 25 Mar 2010 03:50:17 +0000
(
03:50
+0000)
committer
bdemsky
<bdemsky>
Thu, 25 Mar 2010 03:50:17 +0000
(
03:50
+0000)
Robust/src/Analysis/Disjoint/PointerMethod.java
patch
|
blob
|
history
diff --git
a/Robust/src/Analysis/Disjoint/PointerMethod.java
b/Robust/src/Analysis/Disjoint/PointerMethod.java
index bace6eb47693b46b0fda0322e70c0889226ec99f..19ab62b6f55e76207e4da2f65c696f1fba8802a2 100644
(file)
--- 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);