From d3e11dffc7070bc4088f46deba933f76def083fd Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Sat, 5 Sep 2009 00:10:27 +0000 Subject: 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 --- lib/Expr/Parser.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/Expr/Parser.cpp') 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); -- cgit 1.4.1