diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-01-17 10:42:15 +0100 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-01-17 10:42:15 +0100 |
| commit | b64b96f721edc32bb806ef182f8097053585685d (patch) | |
| tree | 4c8fa1e361095c23b5b8c7019f2efa30d8694013 | |
| parent | 8c03dfa5ea9fe5176cbb82b70a36ffa93c70b91c (diff) | |
| download | klee-b64b96f721edc32bb806ef182f8097053585685d.tar.gz | |
Make KLEE fail in case main function is missing
Existence of main() function is checked with assertion. This check fails if KLEE is compiled in Release mode.
| -rw-r--r-- | lib/Module/KModule.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/Module/KModule.cpp b/lib/Module/KModule.cpp index 34e5f60c..2ecb14b8 100644 --- a/lib/Module/KModule.cpp +++ b/lib/Module/KModule.cpp @@ -182,7 +182,8 @@ static void injectStaticConstructorsAndDestructors(Module *m) { if (ctors || dtors) { Function *mainFn = m->getFunction("main"); - assert(mainFn && "unable to find main function"); + if (!mainFn) + klee_error("Could not find main() function."); if (ctors) CallInst::Create(getStubFunctionForCtorList(m, ctors, "klee.ctor_stub"), |