ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
clang_cpp_code_gen.h File Reference
Include dependency graph for clang_cpp_code_gen.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

void gen_vptr_initializations (contextt &context, symbolt &symbol)
 Write each class's vtable pointer at the entry of a constructor or destructor body, so a virtual call during construction resolves to that class's overrides.

Function Documentation

◆ 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, so a virtual call during construction resolves to that class's overrides.

Shared rather than a member of clang_cpp_adjust because the IREP2 C++ pass needs the same code generated and the function reads nothing but the context (docs/roadmap/scope-clang-cpp-irep2.md ยง3.6).