From: bdemsky <bdemsky>
Date: Tue, 12 Apr 2011 23:51:41 +0000 (+0000)
Subject: bug fix for optimizations`
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=524c0058b3ea2939a15de6d913136825e558c081;p=IRC.git

bug fix for optimizations`
---

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);
+	}
       }
     }
   }