From f8f6c637b24f11703a9991361df8c4260242dbd9 Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Sat, 25 Jul 2009 05:17:51 +0000 Subject: (llvm up) Update for llvm::Value getName() change. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77049 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Module/KModule.cpp | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) (limited to 'lib/Module') diff --git a/lib/Module/KModule.cpp b/lib/Module/KModule.cpp index 5d88fbda..eae1d2a9 100644 --- a/lib/Module/KModule.cpp +++ b/lib/Module/KModule.cpp @@ -26,6 +26,7 @@ #include "llvm/PassManager.h" #include "llvm/ValueSymbolTable.h" #include "llvm/Support/CommandLine.h" +#include "llvm/Support/raw_ostream.h" #include "llvm/System/Path.h" #include "llvm/Target/TargetData.h" #include "llvm/Transforms/Scalar.h" @@ -221,7 +222,7 @@ void KModule::prepare(const Interpreter::ModuleOptions &opts, CallInst::Create(mergeFn, "", exit); ReturnInst::Create(result, exit); - llvm::cerr << "KLEE: adding klee_merge at exit of: " << name << "\n"; + llvm::errs() << "KLEE: adding klee_merge at exit of: " << name << "\n"; for (llvm::Function::iterator bbit = f->begin(), bbie = f->end(); bbit != bbie; ++bbit) { if (&*bbit != exit) { @@ -395,12 +396,12 @@ void KModule::prepare(const Interpreter::ModuleOptions &opts, } if (DebugPrintEscapingFunctions && !escapingFunctions.empty()) { - llvm::cerr << "KLEE: escaping functions: ["; + llvm::errs() << "KLEE: escaping functions: ["; for (std::set::iterator it = escapingFunctions.begin(), ie = escapingFunctions.end(); it != ie; ++it) { - llvm::cerr << (*it)->getName() << ", "; + llvm::errs() << (*it)->getName() << ", "; } - llvm::cerr << "]\n"; + llvm::errs() << "]\n"; } } -- cgit 1.4.1