Remove build_declaration_stack

Author: thomasspriggs

src/goto-programs/goto_convert.cpp

@@ -93,47 +93,6 @@ static void finish_catch_push_targets(goto_programt &dest)
   }
 }
 
-goto_programt goto_convertt::build_declaration_stack(
-  const irep_idt &mode,
-  node_indext declaration_start_point,
-  node_indext declaration_end_point)
-{
-  goto_programt declarations;
-
-  // As we go we'll keep targets.scope_stack.current_node pointing at the
-  // next node we intend to declare. if it contains any DECL statements they
-  // will be added as a new child branch, again at the right point.
-
-  const node_indext start_id = declaration_start_point;
-  const node_indext end_id = declaration_end_point;
-
-  targets.scope_stack.set_current_node(start_id);
-
-  while(targets.scope_stack.get_current_node() > end_id)
-  {
-    //node_indext current_node = targets.scope_stack.get_current_node();
-
-    //    optionalt<goto_programt::targett> &declaration =
-    //      targets.scope_stack.get_declaration(current_node);
-    //    targets.scope_stack.descend_tree();
-    //    if(declaration)
-    //    {
-    //      // TODO - TYPE CHECK FOR VAR ARRAYS!
-    //
-    //      declarations.instructions.push_front(
-    //        goto_programt::instructiont{
-    //          *declaration,
-    //        declaration->source_location(),
-    //          goto_program_instruction_typet::DECL, nil_exprt(), {}});
-    //    }
-  }
-
-  // Restore the working destructor stack to how it was before we began:
-  targets.scope_stack.set_current_node(start_id);
-
-  return declarations;
-}
-
 struct build_declaration_hops_inputst
 {
   irep_idt mode;

src/goto-programs/goto_convert_class.h

@@ -363,11 +363,6 @@ class goto_convertt:public messaget
     optionalt<node_indext> destructor_end_point = {},
     optionalt<node_indext> destructor_start_point = {});
 
-  goto_programt build_declaration_stack(
-    const irep_idt &mode,
-    node_indext declaration_start_point,
-    node_indext declaration_end_point);
-
   void build_declaration_hops(
     goto_programt &dest,
     std::unordered_map<irep_idt, symbolt, irep_id_hash> &label_flags,