cprover
|
Remove exception handling. More...
#include "remove_exceptions.h"
#include <stack>
#include <algorithm>
#include <util/c_types.h>
#include <util/std_expr.h>
#include <util/symbol_table.h>
Go to the source code of this file.
Classes | |
class | remove_exceptionst |
Functions | |
void | remove_exceptions (symbol_tablet &symbol_table, goto_functionst &goto_functions) |
removes throws/CATCH-POP/CATCH-PUSH More... | |
void | remove_exceptions (goto_modelt &goto_model) |
removes throws/CATCH-POP/CATCH-PUSH More... | |
Remove exception handling.
Definition in file remove_exceptions.cpp.
void remove_exceptions | ( | symbol_tablet & | symbol_table, |
goto_functionst & | goto_functions | ||
) |
removes throws/CATCH-POP/CATCH-PUSH
Definition at line 445 of file remove_exceptions.cpp.
References remove_exceptions().
Referenced by goto_instrument_parse_optionst::do_indirect_call_and_rtti_removal(), symex_parse_optionst::process_goto_program(), goto_analyzer_parse_optionst::process_goto_program(), cbmc_parse_optionst::process_goto_program(), and remove_exceptions().
void remove_exceptions | ( | goto_modelt & | goto_model | ) |
removes throws/CATCH-POP/CATCH-PUSH
Definition at line 454 of file remove_exceptions.cpp.
References goto_modelt::goto_functions, remove_exceptions(), and goto_modelt::symbol_table.