cprover
|
Destructor Calls. More...
Go to the source code of this file.
Functions | |
class code_function_callt | get_destructor (const namespacet &ns, const typet &type) |
Destructor Calls.
Definition in file destructor.h.
class code_function_callt get_destructor | ( | const namespacet & | ns, |
const typet & | type | ||
) |
Definition at line 17 of file destructor.cpp.
References irept::find(), namespace_baset::follow(), forall_operands, code_function_callt::function(), get_destructor(), get_nil_irep(), irept::id(), code_typet::parameters(), code_typet::return_type(), irept::set(), typet::subtype(), and to_code_type().
Referenced by goto_convertt::convert_decl(), and get_destructor().