bug fix for optimizations`

diff --git a/Robust/src/Analysis/Loops/GlobalFieldType.java b/Robust/src/Analysis/Loops/GlobalFieldType.java
index 3aa5ef8973bb6ef32de64ee81621eaa0ad5c05ce..997bac0999fa1e7a7e5f04c16ca7faebc7078326 100644 (file)
--- 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);
+       }
       }
     }
   }