12 #ifndef CPROVER_GOTO_PROGRAMS_COMPUTE_CALLED_FUNCTIONS_H 13 #define CPROVER_GOTO_PROGRAMS_COMPUTE_CALLED_FUNCTIONS_H 21 std::set<irep_idt> &address_taken);
25 std::set<irep_idt> &address_taken);
29 std::set<irep_idt> &address_taken);
34 std::set<irep_idt> &functions);
38 std::set<irep_idt> &functions);
40 #endif // CPROVER_GOTO_PROGRAMS_COMPUTE_CALLED_FUNCTIONS_H
A specialization of goto_program_templatet over goto programs in which instructions have codet type...
Base class for all expressions.
void compute_address_taken_functions(const exprt &src, std::set< irep_idt > &address_taken)
get all functions whose address is taken
void compute_called_functions(const goto_functionst &, std::set< irep_idt > &functions)
computes the functions that are (potentially) called