ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
configt::ansi_ct Struct Reference

#include <config.h>

Public Types

enum  cheri_flavor { CHERI_OFF , CHERI_HYBRID , CHERI_PURECAP }
enum  endianesst { NO_ENDIANESS , IS_LITTLE_ENDIAN , IS_BIG_ENDIAN }
enum  libt { LIB_NONE , LIB_FULL }

Public Member Functions

unsigned pointer_width () const noexcept
unsigned int capability_width () const noexcept
unsigned int max_alignment () const noexcept
bool endianess_overrides_target () const
 Whether –big-endian or –little-endian contradicts the target.
void set_data_model (enum data_model dm)

Public Attributes

unsigned int_width
unsigned long_int_width
unsigned bool_width
unsigned char_width
unsigned short_int_width
unsigned long_long_int_width
unsigned address_width
unsigned single_width
unsigned double_width
unsigned long_double_width
unsigned pointer_diff_width
unsigned word_size
unsigned wchar_t_width
unsigned long_long_align = 0
unsigned double_align = 0
unsigned long_double_align = 0
unsigned bitint_max_align = 0
bool char_is_unsigned
bool use_fixed_for_float
bool reserve_first_page = false
enum configt::ansi_ct::cheri_flavor cheri
bool cheri_concentrate
unsigned int_128_width = 128
endianesst endianess
triple target
std::string locale_name
std::list< std::string > defines
std::list< std::string > include_files
std::list< std::string > include_paths
std::list< std::string > idirafter_paths
std::list< std::string > forces
std::list< std::string > warnings
std::vector< std::string > frontend_opts
libt lib

Member Enumeration Documentation

◆ cheri_flavor

enum configt::ansi_ct::cheri_flavor
Enumerator
CHERI_OFF 
CHERI_HYBRID 
CHERI_PURECAP 

◆ endianesst

enum configt::ansi_ct::endianesst
Enumerator
NO_ENDIANESS 
IS_LITTLE_ENDIAN 
IS_BIG_ENDIAN 

◆ libt

enum configt::ansi_ct::libt
Enumerator
LIB_NONE 
LIB_FULL 

Member Function Documentation

◆ capability_width()

unsigned int configt::ansi_ct::capability_width ( ) const
inlinenoexcept

◆ endianess_overrides_target()

bool configt::ansi_ct::endianess_overrides_target ( ) const

Whether –big-endian or –little-endian contradicts the target.

◆ max_alignment()

unsigned int configt::ansi_ct::max_alignment ( ) const
inlinenoexcept

◆ pointer_width()

unsigned configt::ansi_ct::pointer_width ( ) const
inlinenoexcept

◆ set_data_model()

void configt::ansi_ct::set_data_model ( enum data_model dm)

Member Data Documentation

◆ address_width

unsigned configt::ansi_ct::address_width

◆ bitint_max_align

unsigned configt::ansi_ct::bitint_max_align = 0

◆ bool_width

unsigned configt::ansi_ct::bool_width

◆ char_is_unsigned

bool configt::ansi_ct::char_is_unsigned

◆ char_width

unsigned configt::ansi_ct::char_width

◆ cheri

enum configt::ansi_ct::cheri_flavor configt::ansi_ct::cheri

◆ cheri_concentrate

bool configt::ansi_ct::cheri_concentrate

◆ defines

std::list<std::string> configt::ansi_ct::defines

◆ double_align

unsigned configt::ansi_ct::double_align = 0

◆ double_width

unsigned configt::ansi_ct::double_width

◆ endianess

endianesst configt::ansi_ct::endianess

◆ forces

std::list<std::string> configt::ansi_ct::forces

◆ frontend_opts

std::vector<std::string> configt::ansi_ct::frontend_opts

◆ idirafter_paths

std::list<std::string> configt::ansi_ct::idirafter_paths

◆ include_files

std::list<std::string> configt::ansi_ct::include_files

◆ include_paths

std::list<std::string> configt::ansi_ct::include_paths

◆ int_128_width

unsigned configt::ansi_ct::int_128_width = 128

◆ int_width

unsigned configt::ansi_ct::int_width

◆ lib

libt configt::ansi_ct::lib

◆ locale_name

std::string configt::ansi_ct::locale_name

◆ long_double_align

unsigned configt::ansi_ct::long_double_align = 0

◆ long_double_width

unsigned configt::ansi_ct::long_double_width

◆ long_int_width

unsigned configt::ansi_ct::long_int_width

◆ long_long_align

unsigned configt::ansi_ct::long_long_align = 0

◆ long_long_int_width

unsigned configt::ansi_ct::long_long_int_width

◆ pointer_diff_width

unsigned configt::ansi_ct::pointer_diff_width

◆ reserve_first_page

bool configt::ansi_ct::reserve_first_page = false

◆ short_int_width

unsigned configt::ansi_ct::short_int_width

◆ single_width

unsigned configt::ansi_ct::single_width

◆ target

triple configt::ansi_ct::target

◆ use_fixed_for_float

bool configt::ansi_ct::use_fixed_for_float

◆ warnings

std::list<std::string> configt::ansi_ct::warnings

◆ wchar_t_width

unsigned configt::ansi_ct::wchar_t_width

◆ word_size

unsigned configt::ansi_ct::word_size
The documentation for this struct was generated from the following files: