changes:

[IRC.git] / Robust / src / Analysis / Loops / CSE.java

diff --git a/Robust/src/Analysis/Loops/CSE.java b/Robust/src/Analysis/Loops/CSE.java
index c17768481c5c6de5f3ea287bbfb395bfabdf4035..e3ce58287f9282b8d1fc099943bf8cb26182ee83 100644 (file)
--- a/Robust/src/Analysis/Loops/CSE.java
+++ b/Robust/src/Analysis/Loops/CSE.java
@@ -55,9 +55,9 @@ public class CSE {
        {
          FlatCall fc=(FlatCall) fn;
          MethodDescriptor md=fc.getMethod();
-         Set<FieldDescriptor> fields=gft.getFields(md);
-         Set<TypeDescriptor> arrays=gft.getArrays(md);
-         killexpressions(tab, fields, arrays, gft.containsAtomic(md)||gft.containsBarrier(md));
+         Set<FieldDescriptor> fields=gft.getFieldsAll(md);
+         Set<TypeDescriptor> arrays=gft.getArraysAll(md);
+         killexpressions(tab, fields, arrays, gft.containsAtomicAll(md)||gft.containsBarrierAll(md));
          break;
        }
       case FKind.FlatOpNode: