From e6d22bdfa029067ab9c48889167df5f1af05c982 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Thu, 9 Jun 2011 17:27:51 +0000
Subject: 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
---
 lib/Expr/Expr.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

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);
-- 
cgit 1.4.1