remove_exceptions.cpp File Reference

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>

Include dependency graph for remove_exceptions.cpp:

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...

Detailed Description

Remove exception handling.

Definition in file remove_exceptions.cpp.

Function Documentation

remove_exceptions() [1/2]

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().

remove_exceptions() [2/2]

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.