cprover
Loading...
Searching...
No Matches
destructor.h File Reference

Destructor Calls. More...

#include <util/irep.h>
#include <list>
Include dependency graph for destructor.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

class 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.h.

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()

class code_function_callt get_destructor ( const namespacet & ns,
const typet & type )

Definition at line 21 of file destructor.cpp.