12 #ifndef CPROVER_GOTO_PROGRAMS_COMPUTE_CALLED_FUNCTIONS_H
13 #define CPROVER_GOTO_PROGRAMS_COMPUTE_CALLED_FUNCTIONS_H
15 #include <unordered_set>
28 std::unordered_set<irep_idt> &);
32 std::unordered_set<irep_idt> &);
36 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