From: bdemsky <bdemsky>
Date: Wed, 3 Jun 2009 20:19:36 +0000 (+0000)
Subject: bug fix
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=26dcd237b3400dda1333228e4e92c007defdbf72;p=IRC.git

bug fix
---

diff --git a/Robust/src/Analysis/Loops/GlobalFieldType.java b/Robust/src/Analysis/Loops/GlobalFieldType.java
index 25b17b14..c81fdab5 100644
--- a/Robust/src/Analysis/Loops/GlobalFieldType.java
+++ b/Robust/src/Analysis/Loops/GlobalFieldType.java
@@ -131,9 +131,11 @@ public class GlobalFieldType {
       } else if (fn.kind()==FKind.FlatCall) {
 	MethodDescriptor mdcall=((FlatCall)fn).getMethod();
 	if (mdcall.getSymbol().equals("enterBarrier")&&
-	    mdcall.getClassDesc().getSymbol().equals("Barrier"))
+	    mdcall.getClassDesc().getSymbol().equals("Barrier")) {
 	  containsBarrier.add(md);
+	  containsBarrier.add(mdcall);
+	}
       }
     }
   }
-}
\ No newline at end of file
+}