Properly use const_cast to fix a cast-away-const error.

llvm-svn: 172561
This commit is contained in:
David Greene 2013-01-15 22:09:45 +00:00
parent bae0e356b6
commit 0d5a34bcad
1 changed files with 2 additions and 1 deletions

View File

@ -1043,7 +1043,8 @@ bool ExprEngine::replayWithoutInlining(ExplodedNode *N,
// Add the special flag to GDM to signal retrying with no inlining.
// Note, changing the state ensures that we are not going to cache out.
ProgramStateRef NewNodeState = BeforeProcessingCall->getState();
NewNodeState = NewNodeState->set<ReplayWithoutInlining>((void*)CE);
NewNodeState =
NewNodeState->set<ReplayWithoutInlining>(const_cast<Stmt *>(CE));
// Make the new node a successor of BeforeProcessingCall.
bool IsNew = false;