Merge pull request #2838 from diffblue/remove-init-statement

remove unused 'init' statement

Author: tautschnig

src/analyses/invariant_set.cpp

@@ -1076,8 +1076,7 @@ void invariant_sett::apply_code(const codet &code)
     forall_operands(it, code)
       apply_code(to_code(*it));
   }
-  else if(statement==ID_assign ||
-          statement==ID_init)
+  else if(statement==ID_assign)
   {
     if(code.operands().size()!=2)
       throw "assignment expected to have two operands";

src/ansi-c/expr2c.cpp

@@ -2980,9 +2980,6 @@ std::string expr2ct::convert_code(
   if(statement==ID_assign)
     return convert_code_assign(to_code_assign(src), indent);
 
-  if(statement==ID_init)
-    return convert_code_init(src, indent);
-
   if(statement=="lock")
     return convert_code_lock(src, indent);
 
@@ -3049,15 +3046,6 @@ std::string expr2ct::convert_code_free(
   return indent_str(indent)+"FREE("+convert(src.op0())+");";
 }
 
-std::string expr2ct::convert_code_init(
-  const codet &src,
-  unsigned indent)
-{
-  std::string tmp=convert_binary(src, "=", 2, true);
-
-  return indent_str(indent)+"INIT "+tmp+";";
-}
-
 std::string expr2ct::convert_code_lock(
   const codet &src,
   unsigned indent)

src/ansi-c/expr2c_class.h

@@ -188,7 +188,6 @@ class expr2ct
   std::string convert_code_asm(const code_asmt &src, unsigned indent);
   std::string convert_code_assign(const code_assignt &src, unsigned indent);
   std::string convert_code_free(const codet &src, unsigned indent);
-  std::string convert_code_init(const codet &src, unsigned indent);
   // NOLINTNEXTLINE(whitespace/line_length)
   std::string convert_code_ifthenelse(const code_ifthenelset &src, unsigned indent);
   std::string convert_code_for(const code_fort &src, unsigned indent);

src/goto-programs/goto_convert.cpp

@@ -458,8 +458,6 @@ void goto_convertt::convert(
     convert_expression(to_code_expression(code), dest, mode);
   else if(statement==ID_assign)
     convert_assign(to_code_assign(code), dest, mode);
-  else if(statement==ID_init)
-    convert_init(code, dest, mode);
   else if(statement==ID_assert)
     convert_assert(to_code_assert(code), dest, mode);
   else if(statement==ID_assume)

src/pointer-analysis/value_set.cpp

@@ -1569,8 +1569,7 @@ void value_sett::apply_code_rec(
     // shouldn't be here
     UNREACHABLE;
   }
-  else if(statement==ID_assign ||
-          statement==ID_init)
+  else if(statement==ID_assign)
   {
     if(code.operands().size()!=2)
       throw "assignment expected to have two operands";

src/pointer-analysis/value_set_fi.cpp

@@ -1422,8 +1422,7 @@ void value_set_fit::apply_code(
     // shouldn't be here
     UNREACHABLE;
   }
-  else if(statement==ID_assign ||
-          statement==ID_init)
+  else if(statement==ID_assign)
   {
     if(code.operands().size()!=2)
       throw "assignment expected to have two operands";

src/pointer-analysis/value_set_fivr.cpp

@@ -1576,8 +1576,7 @@ void value_set_fivrt::apply_code(
     // shouldn't be here
     UNREACHABLE;
   }
-  else if(statement==ID_assign ||
-          statement==ID_init)
+  else if(statement==ID_assign)
   {
     if(code.operands().size()!=2)
       throw "assignment expected to have two operands";

src/pointer-analysis/value_set_fivrns.cpp

@@ -1235,8 +1235,7 @@ void value_set_fivrnst::apply_code(
     // shouldn't be here
     UNREACHABLE;
   }
-  else if(statement==ID_assign ||
-          statement==ID_init)
+  else if(statement==ID_assign)
   {
     if(code.operands().size()!=2)
       throw "assignment expected to have two operands";

src/util/irep_ids.def

@@ -372,7 +372,6 @@ IREP_ID_ONE(byte_extract_little_endian)
 IREP_ID_ONE(byte_update_big_endian)
 IREP_ID_ONE(byte_update_little_endian)
 IREP_ID_ONE(replication)
-IREP_ID_ONE(init)
 IREP_ID_ONE(cprover_atomic)
 IREP_ID_ONE(atomic)
 IREP_ID_ONE(atomic_type_specifier)