The allocation size cannot exceed the number represented by the (signed) offset, otherwise it would not be possible to store a pointer into a valid bit of memory. Therefore, the max allocation size is 2^(offset_bits - 1), where the offset bits is the number of bits left in the pointer after the object bits.

The offset must be signed, as a pointer can point to the end of the memory block, and needs to be able to point back to the start.

Returns: The size in bytes of the maximum allocation supported.

Definition at line 1604 of file config.cpp.

◆ object_bits_info()

std::string configt::object_bits_info ( )

Definition at line 1448 of file config.cpp.

◆ set()

bool configt::set ( const cmdlinet & cmdline )

Definition at line 863 of file config.cpp.

◆ set_arch()

void configt::set_arch ( const irep_idt & arch )

Definition at line 763 of file config.cpp.

◆ set_classpath()

void configt::set_classpath ( const std::string & cp )

private

Definition at line 1547 of file config.cpp.

◆ set_from_symbol_table()

void configt::set_from_symbol_table ( const symbol_table_baset & symbol_table )

Definition at line 1364 of file config.cpp.

◆ set_object_bits_from_symbol_table()

void configt::set_object_bits_from_symbol_table ( const symbol_table_baset & symbol_table )

Sets the number of bits used for object addresses.

Parameters: symbol_table The symbol table

Definition at line 1423 of file config.cpp.

◆ this_architecture()

irep_idt configt::this_architecture ( )

static

Definition at line 1459 of file config.cpp.

◆ this_operating_system()

irep_idt configt::this_operating_system ( )

static

Definition at line 1563 of file config.cpp.

Member Data Documentation

◆ ansi_c

struct configt::ansi_ct configt::ansi_c

◆ bv_encoding

struct configt::bv_encodingt configt::bv_encoding

◆ cpp

struct configt::cppt configt::cpp

◆ java

struct configt::javat configt::java

◆ main

std::optional<std::string> configt::main

Definition at line 391 of file config.h.

◆ verilog

struct configt::verilogt configt::verilog

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

/home/runner/work/cbmc/cbmc/src/util/config.h
/home/runner/work/cbmc/cbmc/src/util/config.cpp