14 #ifndef CPROVER_GOTO_PROGRAMS_REMOVE_FUNCTION_POINTERS_H
15 #define CPROVER_GOTO_PROGRAMS_REMOVE_FUNCTION_POINTERS_H
30 bool add_safety_assertion,
31 bool only_remove_const_fps=
false);
37 bool add_safety_assertion,
38 bool only_remove_const_fps=
false);
46 bool add_safety_assertion,
47 bool only_remove_const_fps =
false);
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
A collection of goto functions.
A generic container class for the GOTO intermediate representation of one function.
void remove_function_pointers(message_handlert &_message_handler, goto_modelt &goto_model, bool add_safety_assertion, bool only_remove_const_fps=false)