Output message about used object bits settings

Author: peterschrammel

src/cbmc/cbmc_parse_options.cpp

@@ -720,6 +720,8 @@ int cbmc_parse_optionst::get_goto_program(
       show_goto_functions(ns, get_ui(), goto_functions);
       return 0;
     }
+
+    status() << config.object_bits_info() << eom;
   }
 
   catch(const char *e)

src/util/config.cpp

@@ -1194,6 +1194,16 @@ void configt::set_object_bits_from_symbol_table(
   }
 }
 
+std::string configt::object_bits_info()
+{
+  return "Running with "+std::to_string(bv_encoding.object_bits)+
+    " object bits, "+
+    std::to_string(ansi_c.pointer_width-bv_encoding.object_bits)+
+    " offset bits ("+
+    (bv_encoding.is_object_bits_default ? "default" : "user-specified")+
+    ")";
+}
+
 irep_idt configt::this_architecture()
 {
   irep_idt this_arch;

src/util/config.h

@@ -168,6 +168,7 @@ class configt
   bool set(const cmdlinet &cmdline);
 
   void set_object_bits_from_symbol_table(const symbol_tablet &);
+  std::string object_bits_info();
 
   static irep_idt this_architecture();
   static irep_idt this_operating_system();