Remove unused goto_convertt::convert_init

It is protected and was never called.

Author: tautschnig

src/goto-programs/goto_convert.cpp

@@ -771,23 +771,6 @@ void goto_convertt::convert_assign(
   }
 }
 
-void goto_convertt::convert_init(
-  const codet &code,
-  goto_programt &dest,
-  const irep_idt &mode)
-{
-  INVARIANT_WITH_DIAGNOSTICS(
-    code.operands().size() == 2,
-    "init statement takes two operands",
-    code.find_source_location());
-
-  // make it an assignment
-  codet assignment=code;
-  assignment.set_statement(ID_assign);
-
-  convert(to_code_assign(assignment), dest, mode);
-}
-
 void goto_convertt::convert_cpp_delete(
   const codet &code,
   goto_programt &dest)

src/goto-programs/goto_convert_class.h

@@ -266,8 +266,6 @@ class goto_convertt:public messaget
     const code_ifthenelset &code,
     goto_programt &dest,
     const irep_idt &mode);
-  void
-  convert_init(const codet &code, goto_programt &dest, const irep_idt &mode);
   void convert_goto(const code_gotot &code, goto_programt &dest);
   void convert_gcc_computed_goto(const codet &code, goto_programt &dest);
   void convert_skip(const codet &code, goto_programt &dest);