Loading...

Searching...

No Matches

destructor.cpp File Reference

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>

+ Include dependency graph for destructor.cpp:

[フレーム]

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)

Detailed Description

Destructor Calls.

Definition in file destructor.cpp.

Function Documentation

◆ destruct_locals()

void destruct_locals ( const std::list< irep_idt > & vars,

goto_programt & dest,

const namespacet & ns

)

Definition at line 62 of file destructor.cpp.

◆ get_destructor()

code_function_callt get_destructor ( const namespacet & ns,

const typet & type

)

Definition at line 21 of file destructor.cpp.