Skip to content

Commit

Permalink
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
update tag to expressions
Browse files Browse the repository at this point in the history
tonghaining committed Oct 1, 2024
1 parent a63dd9c commit 533d214
Showing 1 changed file with 5 additions and 5 deletions.
Original file line number Diff line number Diff line change
@@ -2,9 +2,9 @@

import com.dat3m.dartagnan.configuration.Arch;
import com.dat3m.dartagnan.exception.ParsingException;
import com.dat3m.dartagnan.expression.BinaryExpression;
import com.dat3m.dartagnan.expression.Expression;
import com.dat3m.dartagnan.expression.ExpressionFactory;
import com.dat3m.dartagnan.expression.base.BinaryExpressionBase;
import com.dat3m.dartagnan.expression.integers.IntLiteral;
import com.dat3m.dartagnan.expression.type.IntegerType;
import com.dat3m.dartagnan.expression.type.TypeFactory;
@@ -741,10 +741,10 @@ private void addMemoryObjectTags(Event event, Expression address) {
if (object != null) {
event.addTags(object.getFeatureTags());
}
} else if (address instanceof BinaryExpressionBase<?,?> binExpr) {
// TODO: Convert memory space tags for binary expressions
addMemoryObjectTags(event, binExpr.getLeft());
addMemoryObjectTags(event, binExpr.getRight());
} else {
for (Expression add : address.getOperands()) {
addMemoryObjectTags(event, add);
}
}
}
}

0 comments on commit 533d214

Please sign in to comment.