diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2011-06-09 17:27:51 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2011-06-09 17:27:51 +0000 |
| commit | e6d22bdfa029067ab9c48889167df5f1af05c982 (patch) | |
| tree | b6d7eb67c51ca770411a2fcc38334f655fcae8a2 | |
| parent | aab6134c46bb4d0eb5ad1b4a8ffcb14355d9fcda (diff) | |
| download | klee-e6d22bdfa029067ab9c48889167df5f1af05c982.tar.gz | |
Patch from Martin Nowack for LLVM 2.9
(http://llvm.org/bugs/show_bug.cgi?id=9595) git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@132787 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | lib/Expr/Expr.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Expr/Expr.cpp b/lib/Expr/Expr.cpp index 66793b13..08d5cd27 100644 --- a/lib/Expr/Expr.cpp +++ b/lib/Expr/Expr.cpp @@ -346,7 +346,7 @@ void ConstantExpr::toString(std::string &Res) const { ref<ConstantExpr> ConstantExpr::Concat(const ref<ConstantExpr> &RHS) { Expr::Width W = getWidth() + RHS->getWidth(); APInt Tmp(value); -#if (LLVM_VERSION_MAJOR < 3) +#if (LLVM_VERSION_MAJOR <= 2 && LLVM_VERSION_MINOR <= 8) Tmp.zext(W); #else Tmp=Tmp.zext(W); |