diff options
| author |  Peter Collingbourne <peter@pcc.me.uk> | 2012-06-11 16:57:36 +0100 |
|---|---|---|
| committer | Peter Collingbourne <peter@pcc.me.uk> | 2012-06-11 16:57:36 +0100 |
| commit | 3e3b628f2b1a416bfb823f8de9d3311bad479899 (patch) | |
| tree | 3e00a0c4582a32066da7756bf682bab5c09e3e61 /Source | |
| parent | d7dd2464cb438c32b11b2f16923999da1fb89d5b (diff) | |
GPUVerify: dualiser: preserve attributes of assert cmd
This allows us to retain invariant tags.
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/GPUVerify/KernelDualiser.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/GPUVerify/KernelDualiser.cs b/Source/GPUVerify/KernelDualiser.cs index 5c3f6edc..614659b6 100644 --- a/Source/GPUVerify/KernelDualiser.cs +++ b/Source/GPUVerify/KernelDualiser.cs @@ -188,12 +188,12 @@ namespace GPUVerify AssertCmd ass = c as AssertCmd;
if (ContainsAsymmetricExpression(ass.Expr))
{
- cs.Add(new AssertCmd(c.tok, new VariableDualiser(1, verifier.uniformityAnalyser, procName).VisitExpr(ass.Expr.Clone() as Expr)));
+ cs.Add(new AssertCmd(c.tok, new VariableDualiser(1, verifier.uniformityAnalyser, procName).VisitExpr(ass.Expr.Clone() as Expr), ass.Attributes));
}
else
{
cs.Add(new AssertCmd(c.tok, Expr.And(new VariableDualiser(1, verifier.uniformityAnalyser, procName).VisitExpr(ass.Expr.Clone() as Expr),
- new VariableDualiser(2, verifier.uniformityAnalyser, procName).VisitExpr(ass.Expr.Clone() as Expr))));
+ new VariableDualiser(2, verifier.uniformityAnalyser, procName).VisitExpr(ass.Expr.Clone() as Expr)), ass.Attributes));
}
}
else if (c is AssumeCmd)
|