12 #ifndef CPROVER_GOTO_PROGRAMS_COMPUTE_CALLED_FUNCTIONS_H
13 #define CPROVER_GOTO_PROGRAMS_COMPUTE_CALLED_FUNCTIONS_H
21 std::unordered_set<irep_idt> &);
25 std::unordered_set<irep_idt> &);
29 std::unordered_set<irep_idt> &);
Base class for all expressions.
A collection of goto functions.
A generic container class for the GOTO intermediate representation of one function.
std::unordered_set< irep_idt > compute_called_functions(const goto_functionst &)
computes the functions that are (potentially) called
void compute_address_taken_functions(const exprt &, std::unordered_set< irep_idt > &)
get all functions whose address is taken