diff options
Diffstat (limited to 'tools')
-rw-r--r-- | tools/klee/main.cpp | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index 8dc2fd27..d94cdc76 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -909,19 +909,6 @@ void externalsAndGlobalsCheck(const llvm::Module *m) { fnIt != fn_ie; ++fnIt) { if (fnIt->isDeclaration() && !fnIt->use_empty()) externals.insert(std::make_pair(fnIt->getName(), false)); - for (Function::const_iterator bbIt = fnIt->begin(), bb_ie = fnIt->end(); - bbIt != bb_ie; ++bbIt) { - for (BasicBlock::const_iterator it = bbIt->begin(), ie = bbIt->end(); - it != ie; ++it) { - if (const CallInst *ci = dyn_cast<CallInst>(it)) { - if (isa<InlineAsm>(ci->getCalledOperand())) { - klee_warning_once(&*fnIt, - "function \"%s\" has inline asm", - fnIt->getName().data()); - } - } - } - } } for (Module::const_global_iterator |