CBMC
|
Destructor Calls. More...
#include "destructor.h"
#include <util/c_types.h>
#include <util/namespace.h>
#include <util/pointer_expr.h>
#include <util/symbol.h>
#include <goto-programs/goto_program.h>
Go to the source code of this file.
Functions | |
code_function_callt | get_destructor (const namespacet &ns, const typet &type) |
void | destruct_locals (const std::list< irep_idt > &vars, goto_programt &dest, const namespacet &ns) |
Destructor Calls.
Definition in file destructor.cpp.
void destruct_locals | ( | const std::list< irep_idt > & | vars, |
goto_programt & | dest, | ||
const namespacet & | ns | ||
) |
Definition at line 62 of file destructor.cpp.
code_function_callt get_destructor | ( | const namespacet & | ns, |
const typet & | type | ||
) |
Definition at line 21 of file destructor.cpp.