CBMC
config.h File Reference
#include "ieee_float.h"
#include "irep.h"
#include <list>
#include <optional>
+ Include dependency graph for config.h:

Go to the source code of this file.

Classes

class  configt
 Globally accessible architectural configuration. More...
 
struct  configt::ansi_ct
 
struct  configt::cppt
 
struct  configt::verilogt
 
struct  configt::javat
 
struct  configt::bv_encodingt
 

Macros

#define OPT_CONFIG_C_CPP
 
#define HELP_CONFIG_C_CPP
 
#define OPT_CONFIG_LIBRARY
 
#define HELP_CONFIG_LIBRARY
 
#define OPT_CONFIG_JAVA   "(classpath)(cp)(main-class)"
 
#define OPT_CONFIG_PLATFORM
 
#define HELP_CONFIG_PLATFORM
 
#define OPT_CONFIG_BACKEND   "(object-bits):"
 
#define HELP_CONFIG_BACKEND    " {y--object-bits} {un} \t number of bits used for object addresses\n"
 

Variables

configt config
 

Macro Definition Documentation

◆ HELP_CONFIG_BACKEND

#define HELP_CONFIG_BACKEND    " {y--object-bits} {un} \t number of bits used for object addresses\n"

Definition at line 126 of file config.h.

◆ HELP_CONFIG_C_CPP

#define HELP_CONFIG_C_CPP

Definition at line 32 of file config.h.

◆ HELP_CONFIG_LIBRARY

#define HELP_CONFIG_LIBRARY
Value:
" {y--malloc-may-fail} \t allow malloc calls to return a null pointer\n" \
" {y--no-malloc-may-fail} \t disable potential malloc failure\n" \
" {y--malloc-fail-assert} \t " \
"set malloc failure mode to assert-then-assume\n" \
" {y--malloc-fail-null} \t set malloc failure mode to return null\n" \
" {y--string-abstraction} \t track C string lengths and zero-termination\n"

Definition at line 77 of file config.h.

◆ HELP_CONFIG_PLATFORM

#define HELP_CONFIG_PLATFORM
Value:
" {y--arch} {uarch_name} \t " \
"set architecture (default: " + \
id2string(configt::this_architecture()) + \
") to one of: {yalpha}, {yarm}, {yarm64}, {yarmel}, {yarmhf}, {yhppa}, " \
"{yi386}, {yia64}, {ymips}, {ymips64}, {ymips64el}, {ymipsel}, " \
"{ymipsn32}, " \
"{ymipsn32el}, {ypowerpc}, {yppc64}, {yppc64le}, {yriscv64}, {ys390}, " \
"{ys390x}, {ysh4}, {ysparc}, {ysparc64}, {yv850}, {yx32}, {yx86_64}, or " \
"{ynone}\n" \
" {y--os} {uos_name} \t " \
"set operating system (default: " + \
") to one of: {yfreebsd}, {ylinux}, {ymacos}, {ynetbsd}, {yopenbsd}, " \
"{ysolaris}, or {ywindows}\n" \
" {y--i386-linux}, {y--i386-win32}, {y--i386-macos}, {y--ppc-macos}, " \
"{y--win32}, {y--winx64} \t " \
"set architecture and operating system\n" \
" {y--LP64}, {y--ILP64}, {y--LLP64}, {y--ILP32}, {y--LP32} \t " \
"set width of int, long and pointers, but don't override default " \
"architecture and operating system\n" \
" {y--16}, {y--32}, {y--64} \t " \
"equivalent to {y--LP32}, {y--ILP32}, {y--LP64} (on Windows: " \
"{y--LLP64})\n" \
" {y--little-endian} \t allow little-endian word-byte conversions\n" \
" {y--big-endian} \t allow big-endian word-byte conversions\n" \
" {y--gcc} \t use GCC as preprocessor\n"
static irep_idt this_architecture()
Definition: config.cpp:1361
static irep_idt this_operating_system()
Definition: config.cpp:1461

Definition at line 96 of file config.h.

◆ OPT_CONFIG_BACKEND

#define OPT_CONFIG_BACKEND   "(object-bits):"

Definition at line 124 of file config.h.

◆ OPT_CONFIG_C_CPP

#define OPT_CONFIG_C_CPP
Value:
"D:I:(include)(function)" \
"(c89)(c99)(c11)(cpp98)(cpp03)(cpp11)" \
"(unsigned-char)" \
"(round-to-even)(round-to-nearest)" \
"(round-to-plus-inf)(round-to-minus-inf)(round-to-zero)" \
"(no-library)"

Definition at line 24 of file config.h.

◆ OPT_CONFIG_JAVA

#define OPT_CONFIG_JAVA   "(classpath)(cp)(main-class)"

Definition at line 85 of file config.h.

◆ OPT_CONFIG_LIBRARY

#define OPT_CONFIG_LIBRARY
Value:
"(malloc-fail-assert)(malloc-fail-null)(malloc-may-fail)" \
"(no-malloc-may-fail)" \
"(string-abstraction)"

Definition at line 72 of file config.h.

◆ OPT_CONFIG_PLATFORM

#define OPT_CONFIG_PLATFORM
Value:
"(arch):(os):" \
"(16)(32)(64)(LP64)(ILP64)(LLP64)(ILP32)(LP32)" \
"(little-endian)(big-endian)" \
"(i386-linux)" \
"(i386-win32)(win32)(winx64)" \
"(i386-macos)(ppc-macos)" \
"(gcc)"

Definition at line 87 of file config.h.

Variable Documentation

◆ config

configt config
extern

Definition at line 25 of file config.cpp.