fix compiler bug

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index 83ca049b69528fa278f443b08cb5b1f17815aff1..848e81e1e17dd0f9bb8e215b65dcb788b626895f 100644 (file)
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -1792,6 +1792,14 @@ public class BuildCode {
                    output.print(temp.getType().getSafeSymbol());
            }
 
+           if (state.DSM&&locality.getBinding(lb,fc).isAtomic()&&!fc.getMethod().getModifiers().isNative()) {
+               LocalityBinding fclb=locality.getBinding(lb, fc);
+               if (printcomma)
+                   output.print(", ");
+               output.print("transrecord_t *");
+               printcomma=true;
+           }
+
            if (state.DSM) {
                LocalityBinding fclb=locality.getBinding(lb, fc);
                output.print("))virtualtable["+generateTemp(fm,fc.getThis(),lb)+"->type*"+maxcount+"+"+virtualcalls.getLocalityNumber(fclb)+"])");