about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorDan Liew <daniel.liew@imperial.ac.uk>2014-02-14 14:10:29 +0000
committerDan Liew <daniel.liew@imperial.ac.uk>2014-02-14 14:14:45 +0000
commitfd0c6614ec5eb93fb00de029a79de4247511d0ef (patch)
treec40139cc13bf4abf2c84f7d5d8c4c9d2b4157e34
parent3c49bee67765e3b58ff5cfd2dcc26568509e275b (diff)
downloadklee-fd0c6614ec5eb93fb00de029a79de4247511d0ef.tar.gz
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).
-rw-r--r--lib/Module/ModuleUtil.cpp3
1 files changed, 1 insertions, 2 deletions
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