diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-02-20 11:29:17 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-02-20 11:29:17 +0000 |
| commit | 8090de20463b4eff4f0397c3fa386c72eb4f0cad (patch) | |
| tree | c35f28f67c1f7b6f075e7662143a6e24c2c87f41 | |
| parent | b2f93ff457827757e8a05961314bc549a2c41770 (diff) | |
| parent | 8313dcbb14f69624d8a5fed4a11cace1b55deaf7 (diff) | |
| download | klee-8090de20463b4eff4f0397c3fa386c72eb4f0cad.tar.gz | |
Merge pull request #596 from andreamattavelli/fix_readexpr_tests
Silenced warning: comparison of integers of different signs ('const i…| -rw-r--r-- | unittests/Expr/ExprTest.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/unittests/Expr/ExprTest.cpp b/unittests/Expr/ExprTest.cpp index b1f593a5..fba15535 100644 --- a/unittests/Expr/ExprTest.cpp +++ b/unittests/Expr/ExprTest.cpp @@ -182,7 +182,7 @@ TEST(ExprTest, ReadExprFoldingConstantUpdate) { // Check that constant folding worked EXPECT_EQ(Expr::Constant, read.get()->getKind()); ConstantExpr *c = static_cast<ConstantExpr *>(read.get()); - EXPECT_EQ(32, c->getZExtValue()); + EXPECT_EQ(UINT64_C(32), c->getZExtValue()); } TEST(ExprTest, ReadExprFoldingConstantMultipleUpdate) { @@ -209,7 +209,7 @@ TEST(ExprTest, ReadExprFoldingConstantMultipleUpdate) { // Check that constant folding worked EXPECT_EQ(Expr::Constant, read.get()->getKind()); ConstantExpr *c = static_cast<ConstantExpr *>(read.get()); - EXPECT_EQ(64, c->getZExtValue()); + EXPECT_EQ(UINT64_C(64), c->getZExtValue()); } TEST(ExprTest, ReadExprFoldingSymbolicValueUpdate) { |