cprover
remove_exceptionst Member List

This is the complete list of members for remove_exceptionst, including all inherited members.

add_exception_dispatch_sequence(goto_programt &goto_program, const goto_programt::targett &instr_it, const stack_catcht &stack_catch, const std::vector< exprt > &locals)remove_exceptionstprotected
catch_handlerst typedefremove_exceptionstprivate
find_universal_exception(const remove_exceptionst::stack_catcht &stack_catch, goto_programt &goto_program, std::size_t &universal_try, std::size_t &universal_catch)remove_exceptionstprotected
function_may_throwremove_exceptionstprotected
function_may_throwt typedefremove_exceptionst
function_or_callees_may_throw(const goto_programt &) constremove_exceptionstprotected
get_inflight_exception_global()remove_exceptionstprotected
instrument_exception_handler(goto_programt &goto_program, const goto_programt::targett &, bool may_catch)remove_exceptionstprotected
instrument_exceptions(goto_programt &goto_program)remove_exceptionstprotected
instrument_function_call(goto_programt &goto_program, const goto_programt::targett &, const stack_catcht &, const std::vector< exprt > &)remove_exceptionstprotected
instrument_throw(goto_programt &goto_program, const goto_programt::targett &, const stack_catcht &, const std::vector< exprt > &)remove_exceptionstprotected
message_handlerremove_exceptionstprotected
operator()(goto_functionst &goto_functions)remove_exceptionst
operator()(goto_programt &goto_program)remove_exceptionst
remove_added_instanceofremove_exceptionstprotected
remove_exceptionst(symbol_table_baset &_symbol_table, function_may_throwt _function_may_throw, bool remove_added_instanceof, message_handlert &message_handler)remove_exceptionstinlineexplicit
stack_catcht typedefremove_exceptionstprivate
symbol_tableremove_exceptionstprotected