Removing const from method params

Author: JohnDumbell

src/goto-checker/symex_bmc.cpp

@@ -86,7 +86,7 @@ void symex_bmct::symex_step(
   }
 }
 
-void symex_bmct::merge_goto(const goto_statet &goto_state, statet &state)
+void symex_bmct::merge_goto(goto_statet &goto_state, statet &state)
 {
   const goto_programt::const_targett prev_pc = goto_state.source.pc;
   const guardt prev_guard = goto_state.guard;

src/goto-checker/symex_bmc.h

@@ -94,7 +94,7 @@ class symex_bmct : public goto_symext
   void symex_step(const get_goto_functiont &get_goto_function, statet &state)
     override;
 
-  void merge_goto(const goto_statet &goto_state, statet &state) override;
+  void merge_goto(goto_statet &goto_state, statet &state) override;
 
   bool should_stop_unwind(
     const symex_targett::sourcet &source,

src/goto-symex/goto_symex.h

@@ -235,11 +235,11 @@ class goto_symext
   // gotos
   void merge_gotos(statet &);
 
-  virtual void merge_goto(const goto_statet &goto_state, statet &);
+  virtual void merge_goto(goto_statet &goto_state, statet &);
 
-  void merge_value_sets(const goto_statet &goto_state, statet &dest);
+  void merge_value_sets(goto_statet &goto_state, statet &dest);
 
-  void phi_function(const goto_statet &goto_state, statet &);
+  void phi_function(goto_statet &goto_state, statet &);
 
   // determine whether to unwind a loop -- true indicates abort,
   // with false we continue.

src/goto-symex/symex_goto.cpp

@@ -318,7 +318,7 @@ void goto_symext::merge_gotos(statet &state)
   frame.goto_state_map.erase(state_map_it);
 }
 
-void goto_symext::merge_goto(const goto_statet &goto_state, statet &state)
+void goto_symext::merge_goto(goto_statet &goto_state, statet &state)
 {
   // check atomic section
   if(state.atomic_section_id != goto_state.atomic_section_id)
@@ -338,7 +338,7 @@ void goto_symext::merge_goto(const goto_statet &goto_state, statet &state)
   state.depth=std::min(state.depth, goto_state.depth);
 }
 
-void goto_symext::merge_value_sets(const goto_statet &src, statet &dest)
+void goto_symext::merge_value_sets(goto_statet &src, statet &dest)
 {
   if(dest.guard.is_false())
   {