compute_called_functions.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Query Called Functions
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
 
#ifndef CPROVER_GOTO_PROGRAMS_COMPUTE_CALLED_FUNCTIONS_H
#define CPROVER_GOTO_PROGRAMS_COMPUTE_CALLED_FUNCTIONS_H
 
#include <unordered_set>
 
#include <util/irep.h>
 
class exprt;
class goto_functionst;
class goto_programt;
class goto_modelt;
 
// compute the set of functions whose address is taken
 
void compute_address_taken_functions(
  const exprt &,
  std::unordered_set<irep_idt> &);
 
void compute_address_taken_functions(
  const goto_programt &,
  std::unordered_set<irep_idt> &);
 
void compute_address_taken_functions(
  const goto_functionst &,
  std::unordered_set<irep_idt> &);
 
// computes the functions that are (potentially) called
std::unordered_set<irep_idt> compute_called_functions(const goto_functionst &);
std::unordered_set<irep_idt> compute_called_functions(const goto_modelt &);
 
#endif // CPROVER_GOTO_PROGRAMS_COMPUTE_CALLED_FUNCTIONS_H