Remove unused symbolt::{to,from}_irep

Serialisation is done in write_goto_binary_v3 and read_bin_goto_object_v3.

Author: tautschnig

src/util/symbol.cpp

@@ -73,86 +73,6 @@ std::ostream &operator<<(std::ostream &out,
   return out;
 }
 
-irept symbolt::to_irep() const
-{
-  irept dest;
-
-  dest.clear();
-  dest.add(ID_type)=type;
-  dest.add(ID_value)=value;
-  dest.add(ID_location)=location;
-  dest.set(ID_name, name);
-  dest.set(ID_module, module);
-  dest.set(ID_base_name, base_name);
-  dest.set(ID_mode, mode);
-  dest.set(ID_pretty_name, pretty_name);
-
-  if(is_type)
-    dest.set("is_type", true);
-  if(is_macro)
-    dest.set("is_macro", true);
-  if(is_exported)
-    dest.set("is_exported", true);
-  if(is_input)
-    dest.set("is_input", true);
-  if(is_output)
-    dest.set("is_output", true);
-  if(is_state_var)
-    dest.set("is_statevar", true);
-  if(is_parameter)
-    dest.set("is_parameter", true);
-  if(is_auxiliary)
-    dest.set("is_auxiliary", true);
-  if(is_weak)
-    dest.set("is_weak", true);
-  if(is_property)
-    dest.set("is_property", true);
-  if(is_lvalue)
-    dest.set("is_lvalue", true);
-  if(is_static_lifetime)
-    dest.set("is_static_lifetime", true);
-  if(is_thread_local)
-    dest.set("is_thread_local", true);
-  if(is_file_local)
-    dest.set("is_file_local", true);
-  if(is_extern)
-    dest.set("is_extern", true);
-  if(is_volatile)
-    dest.set("is_volatile", true);
-
-  return dest;
-}
-
-void symbolt::from_irep(const irept &src)
-{
-  type=static_cast<const typet &>(src.find(ID_type));
-  value=static_cast<const exprt &>(src.find(ID_value));
-  location=static_cast<const source_locationt &>(src.find(ID_location));
-
-  name=src.get(ID_name);
-  module=src.get(ID_module);
-  base_name=src.get(ID_base_name);
-  mode=src.get(ID_mode);
-  pretty_name=src.get(ID_pretty_name);
-
-  is_type=src.get_bool("is_type");
-  is_macro=src.get_bool("is_macro");
-  is_exported=src.get_bool("is_exported");
-  is_input=src.get_bool("is_input");
-  is_output=src.get_bool("is_output");
-  is_state_var=src.get_bool("is_state_var");
-  is_parameter=src.get_bool("is_parameter");
-  is_auxiliary=src.get_bool("is_auxiliary");
-  is_weak=src.get_bool("is_weak");
-  is_property=src.get_bool("property");
-  is_lvalue=src.get_bool("lvalue");
-  is_static_lifetime=src.get_bool("static_lifetime");
-  is_thread_local=src.get_bool("thread_local");
-  is_file_local=src.get_bool("file_local");
-  is_extern=src.get_bool("is_extern");
-  is_volatile=src.get_bool("is_volatile");
-}
-
 void symbolt::swap(symbolt &b)
 {
   #define SYM_SWAP1(x) x.swap(b.x)

src/util/symbol.h

@@ -91,10 +91,6 @@ class symbolt
   void swap(symbolt &b);
   void show(std::ostream &out) const;
 
-  // serialization
-  irept to_irep() const;
-  void from_irep(const irept &src);
-
   class symbol_exprt symbol_expr() const;
 
   bool is_shared() const