CBMC: Member List

add_exception_dispatch_sequence(const irep_idt &function_identifier, goto_programt &goto_program, const goto_programt::targett &instr_it, const stack_catcht &stack_catch, const std::vector< symbol_exprt > &locals) remove_exceptionst protected

catch_handlerst typedef remove_exceptionst private

class_hierarchy remove_exceptionst protected

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_exceptionst protected

function_may_throw remove_exceptionst protected

function_may_throwt typedef remove_exceptionst

function_or_callees_may_throw(const goto_programt &) const remove_exceptionst protected

get_inflight_exception_global() remove_exceptionst protected

instrument_exception_handler(goto_programt &goto_program, const goto_programt::targett &, bool may_catch) remove_exceptionst protected

instrument_exceptions(const irep_idt &function_identifier, goto_programt &goto_program) remove_exceptionst protected

instrument_function_call(const irep_idt &function_identifier, goto_programt &goto_program, const goto_programt::targett &, const stack_catcht &, const std::vector< symbol_exprt > &) remove_exceptionst protected

instrument_throw(const irep_idt &function_identifier, goto_programt &goto_program, const goto_programt::targett &, const stack_catcht &, const std::vector< symbol_exprt > &) remove_exceptionst protected

instrumentation_resultt enum name remove_exceptionst protected

message_handler remove_exceptionst protected

operator()(goto_functionst &goto_functions) remove_exceptionst

operator()(const irep_idt &function_identifier, goto_programt &goto_program) remove_exceptionst

remove_added_instanceof remove_exceptionst protected

remove_exceptionst(symbol_table_baset &_symbol_table, const class_hierarchyt *_class_hierarchy, function_may_throwt _function_may_throw, bool _remove_added_instanceof, message_handlert &_message_handler) remove_exceptionst inlineexplicit

stack_catcht typedef remove_exceptionst private

symbol_table remove_exceptionst protected