diff options
author | Cristian Cadar <cristic@cs.stanford.edu> | 2009-09-05 00:10:27 +0000 |
---|---|---|
committer | Cristian Cadar <cristic@cs.stanford.edu> | 2009-09-05 00:10:27 +0000 |
commit | d3e11dffc7070bc4088f46deba933f76def083fd (patch) | |
tree | 11d40c02d6dd6a38373a0484cdd6c80c6535f24a | |
parent | 400aea6b9d4d0a33f4c6cae4cada7e54029fccc4 (diff) | |
download | klee-d3e11dffc7070bc4088f46deba933f76def083fd.tar.gz |
Applied patch submitted by Pongsin Poosankam that fixes a bug in the
parser. Fixed bug in the parses. Patch reported by git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@81056 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | lib/Expr/Parser.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Expr/Parser.cpp b/lib/Expr/Parser.cpp index 88729c09..caeeabd7 100644 --- a/lib/Expr/Parser.cpp +++ b/lib/Expr/Parser.cpp @@ -1115,7 +1115,7 @@ ExprResult ParserImpl::ParseBinaryParenExpr(const Token &Name, case Expr::AShr: return Builder->AShr(LHS_E, RHS_E); case Expr::LShr: return Builder->LShr(LHS_E, RHS_E); - case Expr::Shl: return Builder->And(LHS_E, RHS_E); + case Expr::Shl: return Builder->Shl(LHS_E, RHS_E); case Expr::And: return Builder->And(LHS_E, RHS_E); case Expr::Or: return Builder->Or(LHS_E, RHS_E); |