From fd0c6614ec5eb93fb00de029a79de4247511d0ef Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Fri, 14 Feb 2014 14:10:29 +0000 Subject: When running with -debug-only=klee_linker do not report the number of modules left because this information is no longer correct (we no longer shrink the vector). --- lib/Module/ModuleUtil.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'lib/Module') diff --git a/lib/Module/ModuleUtil.cpp b/lib/Module/ModuleUtil.cpp index 349defb3..58096de4 100644 --- a/lib/Module/ModuleUtil.cpp +++ b/lib/Module/ModuleUtil.cpp @@ -327,8 +327,7 @@ static bool linkBCA(object::Archive* archive, Module* composite, std::string& er passCounter++; DEBUG_WITH_TYPE("klee_linker", dbgs() << "Completed " << passCounter << " linker passes.\n" << modulesLoadedOnPass << - " modules loaded on the last pass\n" << - archiveModules.size() << " modules left.\n"); + " modules loaded on the last pass\n"); } while (undefinedSymbols != previouslyUndefinedSymbols); // Iterate until we reach a fixed point -- cgit 1.4.1