|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <clang_cpp_main.h>
Public Member Functions | |
| clang_cpp_maint (contextt &_context) | |
| void | adjust_init (code_assignt &assignment, codet &adjusted) override |
| void | convert_expression_to_code (exprt &expr) |
| void | static_lifetime_destroy (codet &dest) override |
| Public Member Functions inherited from clang_c_maint | |
| clang_c_maint (contextt &_context) | |
| bool | clang_main () |
| void | init_variable (codet &dest, const symbolt &sym) |
| void | static_lifetime_init (const contextt &context, codet &dest) |
Additional Inherited Members | |
| Protected Member Functions inherited from clang_c_maint | |
| bool | atexit_may_register () const |
| void | add_exit_code (codet &dest, const locationt &location) |
| Protected Attributes inherited from clang_c_maint | |
| contextt & | context |
| clang_cpp_maint::clang_cpp_maint | ( | contextt & | _context | ) |
|
overridevirtual |
Reimplemented from clang_c_maint.
| void clang_cpp_maint::convert_expression_to_code | ( | exprt & | expr | ) |
|
overridevirtual |
Reimplemented from clang_c_maint.