diff options
author | Martin Nowack <martin.nowack@gmail.com> | 2013-08-27 22:03:50 +0200 |
---|---|---|
committer | Martin Nowack <martin.nowack@gmail.com> | 2013-08-28 08:54:50 +0200 |
commit | 1f0255ab650b59ef8acafb57b23900f7d89046f7 (patch) | |
tree | 9a20cdde76bc3f2fe93cc145c999600ab92b2786 /lib/Core/Executor.cpp | |
parent | 45fa391391b57beecefd2cbcf3ce243d8aaea4f7 (diff) | |
download | klee-1f0255ab650b59ef8acafb57b23900f7d89046f7.tar.gz |
Fix constness warnings issued by gcc 4.7
Diffstat (limited to 'lib/Core/Executor.cpp')
-rw-r--r-- | lib/Core/Executor.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index 184b0983..ba9db804 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -425,17 +425,17 @@ void Executor::initializeGlobals(ExecutionState &state) { char' value [0,255]; by EOF (-1); or by any `signed char' value [-128,-1). ISO C requires that the ctype functions work for `unsigned */ const uint16_t **addr = __ctype_b_loc(); - addExternalObject(state, (void *)(*addr-128), + addExternalObject(state, const_cast<uint16_t*>(*addr-128), 384 * sizeof **addr, true); addExternalObject(state, addr, sizeof(*addr), true); const int32_t **lower_addr = __ctype_tolower_loc(); - addExternalObject(state, (void *)(*lower_addr-128), + addExternalObject(state, const_cast<int32_t*>(*lower_addr-128), 384 * sizeof **lower_addr, true); addExternalObject(state, lower_addr, sizeof(*lower_addr), true); const int32_t **upper_addr = __ctype_toupper_loc(); - addExternalObject(state, (void *)(*upper_addr-128), + addExternalObject(state, const_cast<int32_t*>(*upper_addr-128), 384 * sizeof **upper_addr, true); addExternalObject(state, upper_addr, sizeof(*upper_addr), true); #endif |