diff options
| -rw-r--r-- | lib/Core/Executor.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
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); } |