destructor.cpp File Reference

Destructor Calls. More...

#include "destructor.h"
#include "goto_instruction_code.h"
#include <util/namespace.h>
#include <util/pointer_expr.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)

Detailed Description

Destructor Calls.

Definition in file destructor.cpp.

Function Documentation

get_destructor()

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

Definition at line 18 of file destructor.cpp.