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

#include <clang_c_main.h>

Inheritance diagram for clang_c_maint:
[legend]

Public Member Functions

 clang_c_maint (contextt &_context)
bool clang_main ()
void init_variable (codet &dest, const symbolt &sym)
virtual void adjust_init (code_assignt &assignment, codet &adjusted)
void static_lifetime_init (const contextt &context, codet &dest)
virtual void static_lifetime_destroy (codet &dest)

Protected Member Functions

bool atexit_may_register () const
void add_exit_code (codet &dest, const locationt &location)

Protected Attributes

contextt & context

Constructor & Destructor Documentation

◆ clang_c_maint()

clang_c_maint::clang_c_maint ( contextt & _context)
inline

Member Function Documentation

◆ add_exit_code()

void clang_c_maint::add_exit_code ( codet & dest,
const locationt & location )
protected

◆ adjust_init()

void clang_c_maint::adjust_init ( code_assignt & assignment,
codet & adjusted )
virtual

Reimplemented in clang_cpp_maint.

◆ atexit_may_register()

bool clang_c_maint::atexit_may_register ( ) const
protected

◆ clang_main()

bool clang_c_maint::clang_main ( )

◆ init_variable()

void clang_c_maint::init_variable ( codet & dest,
const symbolt & sym )

◆ static_lifetime_destroy()

void clang_c_maint::static_lifetime_destroy ( codet & dest)
virtual

Reimplemented in clang_cpp_maint.

◆ static_lifetime_init()

void clang_c_maint::static_lifetime_init ( const contextt & context,
codet & dest )

Member Data Documentation

◆ context

contextt& clang_c_maint::context
protected

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