|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
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. | |
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).