locals.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module: Local variables
 
Author: Daniel Kroening
 
Date: March 2013
 
\*******************************************************************/
 
 
#include "locals.h"
 
#include <goto-programs/goto_function.h>
 
void localst::build(const goto_functiont &goto_function)
{
  for(const auto &instruction : goto_function.body.instructions)
  {
    if(instruction.is_decl())
      locals.insert(instruction.decl_symbol().get_identifier());
  }
 
  locals.insert(
    goto_function.parameter_identifiers.begin(),
    goto_function.parameter_identifiers.end());
}
void localst::build(const goto_functiont &goto_function) {…}
 
void localst::output(std::ostream &out) const
{
  for(const auto &local : locals)
    out << local << "\n";
}
void localst::output(std::ostream &out) const {…}