cprover
remove_exceptions.h File Reference

Remove function exceptional returns. More...

Include dependency graph for remove_exceptions.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define EXC_SUFFIX   "#exception_value"
 

Functions

void remove_exceptions (symbol_tablet &, goto_functionst &)
 removes throws/CATCH-POP/CATCH-PUSH More...
 
void remove_exceptions (goto_modelt &)
 removes throws/CATCH-POP/CATCH-PUSH More...
 

Detailed Description

Remove function exceptional returns.

Definition in file remove_exceptions.h.

Macro Definition Documentation

§ EXC_SUFFIX

Function Documentation

§ remove_exceptions() [1/2]

§ remove_exceptions() [2/2]

void remove_exceptions ( goto_modelt )

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.