missing const method qualifiers

Author: Daniel Kroening

src/goto-cc/compile.cpp

@@ -662,7 +662,7 @@ compilet::~compilet()
     delete_directory(*it);
 }
 
-unsigned compilet::function_body_count(const goto_functionst &functions)
+unsigned compilet::function_body_count(const goto_functionst &functions) const
 {
   int fbs=0;
 

src/goto-cc/compile.h

@@ -94,7 +94,7 @@ class compilet:public language_uit
   cmdlinet &cmdline;
   bool warning_is_fatal;
 
-  unsigned function_body_count(const goto_functionst &);
+  unsigned function_body_count(const goto_functionst &) const;
 
   void add_compiler_specific_defines(class configt &config) const;
 

src/goto-cc/linker_script_merge.cpp

@@ -114,9 +114,9 @@ int linker_script_merget::add_linker_script_definitions()
 
 linker_script_merget::linker_script_merget(
       compilet &compiler,
-      std::list<std::string> &elf_binaries,
-      std::list<std::string> &goto_binaries,
-      cmdlinet &cmdline,
+      const std::list<std::string> &elf_binaries,
+      const std::list<std::string> &goto_binaries,
+      const cmdlinet &cmdline,
       message_handlert &message_handler) :
     messaget(message_handler), compiler(compiler),
     elf_binaries(elf_binaries), goto_binaries(goto_binaries),

src/goto-cc/linker_script_merge.h

@@ -82,17 +82,17 @@ class linker_script_merget:public messaget
   typedef std::map<irep_idt, std::pair<symbol_exprt, exprt>> linker_valuest;
 
   linker_script_merget(
-      compilet &compiler,
-      std::list<std::string> &elf_binaries,
-      std::list<std::string> &goto_binaries,
-      cmdlinet &cmdline,
-      message_handlert &message_handler);
+      compilet &,
+      const std::list<std::string> &elf_binaries,
+      const std::list<std::string> &goto_binaries,
+      const cmdlinet &,
+      message_handlert &);
 
 protected:
   compilet &compiler;
-  std::list<std::string> &elf_binaries;
-  std::list<std::string> &goto_binaries;
-  cmdlinet &cmdline;
+  const std::list<std::string> &elf_binaries;
+  const std::list<std::string> &goto_binaries;
+  const cmdlinet &cmdline;
 
   /// \brief The "shapes" of expressions to be replaced by a pointer
   ///