Changes:

[IRC.git] / Robust / src / IR / Flat / BuildFlat.java

diff --git a/Robust/src/IR/Flat/BuildFlat.java b/Robust/src/IR/Flat/BuildFlat.java
index 14d50e7af7ce096137db3a23ad49d05397eeb54e..08101573549cfd4c3d769f1e70206d9e3fab2fa3 100644 (file)
--- a/Robust/src/IR/Flat/BuildFlat.java
+++ b/Robust/src/IR/Flat/BuildFlat.java
@@ -570,7 +570,11 @@ public class BuildFlat {
            FlatFieldNode ffn=new FlatFieldNode(nn.getField(), tmp, out_temp); 
            return new NodePair(ffn,ffn);
        } else {
-           TempDescriptor tmp=getTempforVar(nn.getVar());
+           TempDescriptor tmp=getTempforVar(nn.isTag()?nn.getTagVar():nn.getVar());
+           if (nn.isTag()) {
+               //propagate tag
+               out_temp.setTag(tmp.getTag());
+           }
            FlatOpNode fon=new FlatOpNode(out_temp, tmp, null, new Operation(Operation.ASSIGN));
            return new NodePair(fon,fon);
        }