From 27f3bf04b53a96f101633037cedda014d759594f Mon Sep 17 00:00:00 2001 From: Peter Collingbourne Date: Thu, 24 Jun 2010 22:12:10 +0000 Subject: Added ExecutionState::dumpStack function for inspecting the status of the stack git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@106798 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Core/Executor.cpp | 30 +----------------------------- 1 file changed, 1 insertion(+), 29 deletions(-) (limited to 'lib/Core/Executor.cpp') diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index dc74b6cd..1da91f2a 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -2554,35 +2554,7 @@ void Executor::terminateStateOnError(ExecutionState &state, msg << "Line: " << ii.line << "\n"; } msg << "Stack: \n"; - unsigned idx = 0; - const KInstruction *target = state.prevPC; - for (ExecutionState::stack_ty::reverse_iterator - it = state.stack.rbegin(), ie = state.stack.rend(); - it != ie; ++it) { - StackFrame &sf = *it; - Function *f = sf.kf->function; - const InstructionInfo &ii = *target->info; - msg << "\t#" << idx++ - << " " << std::setw(8) << std::setfill('0') << ii.assemblyLine - << " in " << f->getNameStr() << " ("; - // Yawn, we could go up and print varargs if we wanted to. - unsigned index = 0; - for (Function::arg_iterator ai = f->arg_begin(), ae = f->arg_end(); - ai != ae; ++ai) { - if (ai!=f->arg_begin()) msg << ", "; - - msg << ai->getNameStr(); - // XXX should go through function - ref value = sf.locals[sf.kf->getArgRegister(index++)].value; - if (isa(value)) - msg << "=" << value; - } - msg << ")"; - if (ii.file != "") - msg << " at " << ii.file << ":" << ii.line; - msg << "\n"; - target = sf.caller; - } + state.dumpStack(msg); std::string info_str = info.str(); if (info_str != "") -- cgit 1.4.1