From 1277acf6d1de3208a458d76710a94e63f9d3bf94 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Sun, 12 Jul 2009 20:29:01 +0000
Subject: Simplify.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@75425 91177308-0d34-0410-b5e6-96231b3b80d8
---
 lib/Core/Executor.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index 62f033be..a921511e 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -402,7 +402,7 @@ void Executor::initializeGlobalObject(ExecutionState &state, ObjectState *os,
     // Extend the constant if necessary;
     assert(StoreBits >= C->getWidth() && "Invalid store size!");
     if (StoreBits > C->getWidth())
-      C = ConstantExpr::alloc(0, StoreBits - C->getWidth())->Concat(C);
+      C = C->ZExt(StoreBits);
 
     os->write(offset, C);
   }
-- 
cgit 1.4.1