about summary refs log tree commit diff homepage
path: root/lib
diff options
context:
space:
mode:
authorCristian Cadar <cristic@cs.stanford.edu>2009-09-05 00:10:27 +0000
committerCristian Cadar <cristic@cs.stanford.edu>2009-09-05 00:10:27 +0000
commitd3e11dffc7070bc4088f46deba933f76def083fd (patch)
tree11d40c02d6dd6a38373a0484cdd6c80c6535f24a /lib
parent400aea6b9d4d0a33f4c6cae4cada7e54029fccc4 (diff)
downloadklee-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
Diffstat (limited to 'lib')
-rw-r--r--lib/Expr/Parser.cpp2
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);