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/Core/StatsTracker.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'lib/Core/StatsTracker.cpp') diff --git a/lib/Core/StatsTracker.cpp b/lib/Core/StatsTracker.cpp index 7a87024d..3437e10c 100644 --- a/lib/Core/StatsTracker.cpp +++ b/lib/Core/StatsTracker.cpp @@ -464,7 +464,7 @@ void StatsTracker::writeIStats() { for (Module::iterator fnIt = m->begin(), fn_ie = m->end(); fnIt != fn_ie; ++fnIt) { if (!fnIt->isDeclaration()) { - of << "fn=" << fnIt->getName() << "\n"; + of << "fn=" << fnIt->getNameStr() << "\n"; for (Function::iterator bbIt = fnIt->begin(), bb_ie = fnIt->end(); bbIt != bb_ie; ++bbIt) { for (BasicBlock::iterator it = bbIt->begin(), ie = bbIt->end(); @@ -497,7 +497,7 @@ void StatsTracker::writeIStats() { if (fii.file!="" && fii.file!=sourceFile) of << "cfl=" << fii.file << "\n"; - of << "cfn=" << f->getName() << "\n"; + of << "cfn=" << f->getNameStr() << "\n"; of << "calls=" << csi.count << " "; of << fii.assemblyLine << " "; of << fii.line << "\n"; -- cgit 1.4.1