diff options
| author |  Mike Barnett <mbarnett@microsoft.com> | 2011-07-06 13:34:42 -0700 |
|---|---|---|
| committer | Mike Barnett <mbarnett@microsoft.com> | 2011-07-06 13:34:42 -0700 |
| commit | e2160bf5d17ef3e506340367e378ed1ddd989a07 (patch) | |
| tree | a1569a38283937310922796790937a641802c835 /BCT | |
| parent | df2584799b417184e0515d43beaaff0ebd31563c (diff) | |
| parent | 80ec1a41fc8b7109c8fc45eff6d9acf29851562d (diff) | |
Merge
Diffstat (limited to 'BCT')
| -rw-r--r-- | BCT/BytecodeTranslator/StatementTraverser.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/BCT/BytecodeTranslator/StatementTraverser.cs b/BCT/BytecodeTranslator/StatementTraverser.cs index 0dc7c5ab..6bc399c1 100644 --- a/BCT/BytecodeTranslator/StatementTraverser.cs +++ b/BCT/BytecodeTranslator/StatementTraverser.cs @@ -106,6 +106,7 @@ namespace BytecodeTranslator elseIfCmd = new Bpl.IfCmd(Bpl.Token.NoToken, Bpl.Expr.Binary(Bpl.BinaryOperator.Opcode.Eq, labelExpr, targetExpr), TranslationHelper.BuildStmtList(gotoCmd), elseIfCmd, null);
}
this.StmtBuilder.Add(elseIfCmd);
+ this.StmtBuilder.Add(new Bpl.AssumeCmd(Bpl.Token.NoToken, Bpl.Expr.Literal(false)));
}
}
#endregion
|