cprover
remove_exceptions.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Remove function exceptional returns
4 
5 Author: Cristina David
6 
7 Date: December 2016
8 
9 \*******************************************************************/
10 
13 
14 #ifndef CPROVER_GOTO_PROGRAMS_REMOVE_EXCEPTIONS_H
15 #define CPROVER_GOTO_PROGRAMS_REMOVE_EXCEPTIONS_H
16 
18 
19 #define EXC_SUFFIX "#exception_value"
20 
21 // Removes 'throw x' and CATCH-PUSH/CATCH-POP
22 // and adds the required instrumentation (GOTOs and assignments)
23 
26 
27 #endif
void remove_exceptions(symbol_tablet &, goto_functionst &)
removes throws/CATCH-POP/CATCH-PUSH
Symbol Table + CFG.
The symbol table.
Definition: symbol_table.h:52