From 6c253b960294ca9af711a5b33d8dbd281354d069 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Mon, 29 Jun 2009 10:30:31 +0000
Subject: [PATCH] allow turning off this analysisi

---
 Robust/src/Analysis/Loops/WriteBarrier.java | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/Robust/src/Analysis/Loops/WriteBarrier.java b/Robust/src/Analysis/Loops/WriteBarrier.java
index 7a933bff..16a6d79d 100644
--- 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:
-- 
2.34.1