From 58f553f083dccead06c6ac3c38872b3cbeea3260 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Wed, 8 Feb 2023 12:46:11 +0000 Subject: [PATCH] Remove unused function_depth variable Compact goto traces never print depth information (unlike full trace output): `function_depth` was initialised and being written to, but never read. This was always the case (the code was added in b62ffe9fa28), it's not a matter of printing having been removed. --- src/goto-programs/goto_trace.cpp | 7 ------- 1 file changed, 7 deletions(-) diff --git a/src/goto-programs/goto_trace.cpp b/src/goto-programs/goto_trace.cpp index f4a2607b182..ed2c4a401e1 100644 --- a/src/goto-programs/goto_trace.cpp +++ b/src/goto-programs/goto_trace.cpp @@ -397,15 +397,8 @@ void show_compact_goto_trace( const goto_tracet &goto_trace, const trace_optionst &options) { - std::size_t function_depth = 0; - for(const auto &step : goto_trace.steps) { - if(step.is_function_call()) - function_depth++; - else if(step.is_function_return()) - function_depth--; - // hide the hidden ones if(step.hidden) continue;