From 524c0058b3ea2939a15de6d913136825e558c081 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Tue, 12 Apr 2011 23:51:41 +0000
Subject: [PATCH] bug fix for optimizations`

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

diff --git a/Robust/src/Analysis/Loops/GlobalFieldType.java b/Robust/src/Analysis/Loops/GlobalFieldType.java
index 3aa5ef89..997bac09 100644
--- a/Robust/src/Analysis/Loops/GlobalFieldType.java
+++ b/Robust/src/Analysis/Loops/GlobalFieldType.java
@@ -223,6 +223,12 @@ public class GlobalFieldType {
 	  containsBarrier.add(md);
 	  containsBarrier.add(mdcall);
 	}
+	//treat lock acquire the same as a barrier
+	if ((mdcall.getSymbol().equals("MonitorEnter")||mdcall.getSymbol().equals("MonitorExit"))&&
+	    mdcall.getClassDesc().getSymbol().equals("Object")) {
+	  containsBarrier.add(md);
+	  containsBarrier.add(mdcall);
+	}
       }
     }
   }
-- 
2.34.1