clang_cpp_destructor_call.h File Reference

#include <util/irep/std_types.h>
#include <util/symtab/namespace.h>

Include dependency graph for clang_cpp_destructor_call.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
exprt	destructor_binding (const namespacet &ns, const struct_typet &class_type, const struct_typet::componentt &dtor, const exprt &object)
	What delete p calls: the destructor named statically, or the vtable slot it dispatches through when the destructor is virtual.

Function Documentation

destructor_binding()

exprt destructor_binding	(	const namespacet &	ns,
		const struct_typet &	class_type,
		const struct_typet::componentt &	dtor,
		const exprt &	object )

What delete p calls: the destructor named statically, or the vtable slot it dispatches through when the destructor is virtual.

Shared because the IREP2 adjust pass builds the same call (scope-clang-cpp-irep2.md \S3.14).