ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
clang_cpp_maint Class Reference

#include <clang_cpp_main.h>

Inheritance diagram for clang_cpp_maint:
[legend]

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

Constructor & Destructor Documentation

◆ clang_cpp_maint()

clang_cpp_maint::clang_cpp_maint ( contextt & _context)

Member Function Documentation

◆ adjust_init()

void clang_cpp_maint::adjust_init ( code_assignt & assignment,
codet & adjusted )
overridevirtual

Reimplemented from clang_c_maint.

◆ convert_expression_to_code()

void clang_cpp_maint::convert_expression_to_code ( exprt & expr)

◆ static_lifetime_destroy()

void clang_cpp_maint::static_lifetime_destroy ( codet & dest)
overridevirtual

Reimplemented from clang_c_maint.


The documentation for this class was generated from the following files: