docs/api/clang__cpp__code__gen_8h_source.html

#ifndef ESBMC_CLANG_CPP_FRONTEND_CLANG_CPP_CODE_GEN_H

#define ESBMC_CLANG_CPP_FRONTEND_CLANG_CPP_CODE_GEN_H


#include <util/symtab/context.h>

#include <util/symtab/symbol.h>


void gen_vptr_initializations(contextt &context, symbolt &symbol);


#endif

gen_vptr_initializations
void gen_vptr_initializations(contextt &context, symbolt &symbol)
Write each class's vtable pointer at the entry of a constructor or destructor body,...
Definition clang_cpp_adjust_code_gen.cpp:41

contextt
Definition context.h:57

symbolt
Definition symbol.h:12

context.h

symbol.h