clang_cpp_destructor_call.h

Go to the documentation of this file.

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

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