symbolt::to_irep now returns an irep

Author: Daniel Kroening

src/util/symbol.cpp

@@ -88,8 +88,10 @@ Function: symbolt::to_irep
 
 \*******************************************************************/
 
-void symbolt::to_irep(irept &dest) const
+irept symbolt::to_irep() const
 {
+  irept dest;
+
   dest.clear();
   dest.add(ID_type)=type;
   dest.add(ID_value)=value;
@@ -116,6 +118,8 @@ void symbolt::to_irep(irept &dest) const
   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;
 }
 
 /*******************************************************************\

src/util/symbol.h

@@ -94,7 +94,7 @@ class symbolt
   void show(std::ostream &out) const;
 
   // serialization
-  void to_irep(irept &dest) const;
+  irept to_irep() const;
   void from_irep(const irept &src);
 
   class symbol_exprt symbol_expr() const;