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
17
#include <
goto-programs/goto_model.h
>
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
24
void
remove_exceptions
(
symbol_tablet
&,
goto_functionst
&);
25
void
remove_exceptions
(
goto_modelt
&);
26
27
#endif
goto_modelt
Definition:
goto_model.h:22
remove_exceptions
void remove_exceptions(symbol_tablet &, goto_functionst &)
removes throws/CATCH-POP/CATCH-PUSH
Definition:
remove_exceptions.cpp:445
goto_model.h
Symbol Table + CFG.
symbol_tablet
The symbol table.
Definition:
symbol_table.h:52
goto_functionst
Definition:
goto_functions.h:20
goto-programs
remove_exceptions.h
Generated by
1.8.12