From bbfe70007076f28ddbc58abc0eeb7f6dc95e2036 Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Sun, 2 May 2010 16:38:56 +0000 Subject: Fix some const cast warnings. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@102867 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Core/SpecialFunctionHandler.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'lib/Core/SpecialFunctionHandler.cpp') diff --git a/lib/Core/SpecialFunctionHandler.cpp b/lib/Core/SpecialFunctionHandler.cpp index ba86428d..1b96d5f1 100644 --- a/lib/Core/SpecialFunctionHandler.cpp +++ b/lib/Core/SpecialFunctionHandler.cpp @@ -644,7 +644,7 @@ void SpecialFunctionHandler::handleMakeSymbolic(ExecutionState &state, for (Executor::ExactResolutionList::iterator it = rl.begin(), ie = rl.end(); it != ie; ++it) { - MemoryObject *mo = (MemoryObject*) it->first.first; + const MemoryObject *mo = it->first.first; mo->setName(name); const ObjectState *old = it->first.second; @@ -688,7 +688,7 @@ void SpecialFunctionHandler::handleMarkGlobal(ExecutionState &state, for (Executor::ExactResolutionList::iterator it = rl.begin(), ie = rl.end(); it != ie; ++it) { - MemoryObject *mo = (MemoryObject*) it->first.first; + const MemoryObject *mo = it->first.first; assert(!mo->isLocal); mo->isGlobal = true; } -- cgit 1.4.1