From 1a7dfdf6e021e3065eb6ae54754c488b820310ad Mon Sep 17 00:00:00 2001
From: Nathan Phillips <nathan.phillips@diffblue.com>
Date: Wed, 20 Sep 2017 16:43:59 +0100
Subject: [PATCH] Fix location of show-symbol-table

---
 src/clobber/clobber_parse_options.cpp         | 29 ++++++++++---------
 .../goto_analyzer_parse_options.cpp           | 28 +++++++++---------
 2 files changed, 29 insertions(+), 28 deletions(-)

diff --git a/src/clobber/clobber_parse_options.cpp b/src/clobber/clobber_parse_options.cpp
index 28768bf4567..bfad81dd7da 100644
--- a/src/clobber/clobber_parse_options.cpp
+++ b/src/clobber/clobber_parse_options.cpp
@@ -126,6 +126,21 @@ int clobber_parse_optionst::doit()
   {
     goto_model=initialize_goto_model(cmdline, get_message_handler());
 
+
+    // show it?
+    if(cmdline.isset("show-loops"))
+    {
+      show_loop_ids(get_ui(), goto_model);
+      return 6;
+    }
+
+    // show it?
+    if(cmdline.isset("show-goto-functions"))
+    {
+      show_goto_functions(goto_model, get_ui());
+      return 6;
+    }
+
     label_properties(goto_model);
 
     if(cmdline.isset("show-properties"))
@@ -211,20 +226,6 @@ bool clobber_parse_optionst::process_goto_program(
 
     if(cmdline.isset("cover-assertions"))
       make_assertions_false(goto_model);
-
-    // show it?
-    if(cmdline.isset("show-loops"))
-    {
-      show_loop_ids(get_ui(), goto_model);
-      return true;
-    }
-
-    // show it?
-    if(cmdline.isset("show-goto-functions"))
-    {
-      show_goto_functions(goto_model, get_ui());
-      return true;
-    }
   }
 
   return false;
diff --git a/src/goto-analyzer/goto_analyzer_parse_options.cpp b/src/goto-analyzer/goto_analyzer_parse_options.cpp
index 536feb15c9f..1bd52d34560 100644
--- a/src/goto-analyzer/goto_analyzer_parse_options.cpp
+++ b/src/goto-analyzer/goto_analyzer_parse_options.cpp
@@ -185,6 +185,20 @@ int goto_analyzer_parse_optionst::doit()
   if(process_goto_program(options))
     return 6;
 
+  // show it?
+  if(cmdline.isset("show-symbol-table"))
+  {
+    ::show_symbol_table(goto_model.symbol_table, get_ui());
+    return 6;
+  }
+
+  // show it?
+  if(cmdline.isset("show-goto-functions"))
+  {
+    show_goto_functions(goto_model, get_ui());
+    return 6;
+  }
+
   if(cmdline.isset("taint"))
   {
     std::string taint_file=cmdline.get_value("taint");
@@ -400,20 +414,6 @@ bool goto_analyzer_parse_optionst::process_goto_program(
 
     // add loop ids
     goto_model.goto_functions.compute_loop_numbers();
-
-    // show it?
-    if(cmdline.isset("show-goto-functions"))
-    {
-      show_goto_functions(goto_model, get_ui());
-      return true;
-    }
-
-    // show it?
-    if(cmdline.isset("show-symbol-table"))
-    {
-      ::show_symbol_table(goto_model, get_ui());
-      return true;
-    }
   }
 
   catch(const char *e)