ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
clang_cpp_main.h
Go to the documentation of this file.
1#ifndef CLANG_CPP_FRONTEND_CLANG_CPP_MAIN_H_
2#define CLANG_CPP_FRONTEND_CLANG_CPP_MAIN_H_
3
5
7{
8public:
9 clang_cpp_maint(contextt &_context);
10
11 // code adjustment for C++, e.g. adding implicit this in ctor when
12 // adjusting the object initialization
13 void adjust_init(code_assignt &assignment, codet &adjusted) override;
15 void static_lifetime_destroy(codet &dest) override;
16};
17
18#endif /* CLANG_CPP_FRONTEND_CLANG_CPP_MAIN_H_ */
clang_c_maint(contextt &_context)
Definition clang_c_main.h:11
void static_lifetime_destroy(codet &dest) override
Definition clang_cpp_main.cpp:159
clang_cpp_maint(contextt &_context)
Definition clang_cpp_main.cpp:11
void convert_expression_to_code(exprt &expr)
Definition clang_cpp_main.cpp:140
void adjust_init(code_assignt &assignment, codet &adjusted) override
Definition clang_cpp_main.cpp:34
Definition std_code.h:77
Definition std_code.h:8
Definition context.h:57
Definition expr.h:34