diff options
author | Chaoqi Zhang <prncoprs@163.com> | 2022-05-25 23:56:18 +0800 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-06-13 22:13:05 +0100 |
commit | f57c93a7e38db4c6d87cfc88c0e1d4f4112c065f (patch) | |
tree | b9f81adb2e8e52d4edcece832d6613a2271d54ee /lib | |
parent | fd19e44a5cab0d914864f5d49289fa63b50b53b0 (diff) | |
download | klee-f57c93a7e38db4c6d87cfc88c0e1d4f4112c065f.tar.gz |
Update SpecialFunctionHandler.cpp
use size() to get N in bind(), just like the way in prepare().
Diffstat (limited to 'lib')
-rw-r--r-- | lib/Core/SpecialFunctionHandler.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/SpecialFunctionHandler.cpp b/lib/Core/SpecialFunctionHandler.cpp index e2ff9cb2..2b788d60 100644 --- a/lib/Core/SpecialFunctionHandler.cpp +++ b/lib/Core/SpecialFunctionHandler.cpp @@ -204,7 +204,7 @@ void SpecialFunctionHandler::prepare( } void SpecialFunctionHandler::bind() { - unsigned N = sizeof(handlerInfo)/sizeof(handlerInfo[0]); + unsigned N = size(); for (unsigned i=0; i<N; ++i) { HandlerInfo &hi = handlerInfo[i]; |