allow turning off this analysisi

diff --git a/Robust/src/Analysis/Loops/WriteBarrier.java b/Robust/src/Analysis/Loops/WriteBarrier.java
index 7a933bfff482d05e1adaa59beb1613d5454b3026..16a6d79deba9799c5c2c518a4c85476f98bcaa73 100644 (file)
--- a/Robust/src/Analysis/Loops/WriteBarrier.java
+++ b/Robust/src/Analysis/Loops/WriteBarrier.java
@@ -12,12 +12,25 @@ public class WriteBarrier {
   /* This computes whether we actually need a write barrier. */
   LocalityAnalysis la;
   State state;
+  boolean turnoff;
+
   public WriteBarrier(LocalityAnalysis la, State state) {
     this.la=la;
     this.state=state;
+    turnoff=false;
+  }
+
+  public void turnoff() {
+    turnoff=true;
+  }
+
+  public void turnon() {
+    turnoff=false;
   }
   
   public boolean needBarrier(FlatNode fn) {
+    if (turnoff)
+      return false;
     HashSet<TempDescriptor> nb=computeIntersection(fn);
     switch(fn.kind()) {
     case FKind.FlatSetElementNode: