cprover
config.h File Reference
#include <list>
#include "ieee_float.h"
#include "irep.h"
#include "optional.h"
+ 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    " --object-bits n number of bits used for object addresses\n"
 

Variables

configt config
 

Macro Definition Documentation

◆ HELP_CONFIG_BACKEND

#define HELP_CONFIG_BACKEND    " --object-bits n number of bits used for object addresses\n"

Definition at line 97 of file config.h.

◆ HELP_CONFIG_C_CPP

#define HELP_CONFIG_C_CPP
Value:
" -I path set include path (C/C++)\n" \
" -D macro define preprocessor macro (C/C++)\n" \
" --c89/99/11 set C language standard (default: " \
" --cpp98/03/11 set C++ language standard (default: " \
" --unsigned-char make \"char\" unsigned by default\n" \
" --round-to-nearest rounding towards nearest even (default)\n" \
" --round-to-plus-inf rounding towards plus infinity\n" \
" --round-to-minus-inf rounding towards minus infinity\n" \
" --round-to-zero rounding towards zero\n" \
" --no-library disable built-in abstract C library\n" \

Definition at line 34 of file config.h.

◆ HELP_CONFIG_LIBRARY

#define HELP_CONFIG_LIBRARY
Value:
" --malloc-may-fail allow malloc calls to return a null pointer\n" \
" --malloc-fail-assert set malloc failure mode to assert-then-assume\n"\
" --malloc-fail-null set malloc failure mode to return null\n" \

Definition at line 63 of file config.h.

◆ HELP_CONFIG_PLATFORM

#define HELP_CONFIG_PLATFORM
Value:
" --arch set architecture (default: " \
" --os set operating system (default: " \
" --16, --32, --64 set width of int\n" \
" --LP64, --ILP64, --LLP64,\n" \
" --ILP32, --LP32 set width of int, long and pointers\n" \
" --little-endian allow little-endian word-byte conversions\n" \
" --big-endian allow big-endian word-byte conversions\n" \
" --gcc use GCC as preprocessor\n" \

Definition at line 82 of file config.h.

◆ OPT_CONFIG_BACKEND

#define OPT_CONFIG_BACKEND    "(object-bits):" \

Definition at line 94 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 26 of file config.h.

◆ OPT_CONFIG_JAVA

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

Definition at line 69 of file config.h.

◆ OPT_CONFIG_LIBRARY

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

Definition at line 59 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 73 of file config.h.

Variable Documentation

◆ config

configt config
extern

Definition at line 25 of file config.cpp.

configt::cppt::cpp_standardt::CPP98
@ CPP98
configt::cppt::cpp_standardt::CPP03
@ CPP03
configt::ansi_ct::c_standardt::C89
@ C89
configt::this_operating_system
static irep_idt this_operating_system()
Definition: config.cpp:1427
configt::ansi_ct::default_c_standard
static c_standardt default_c_standard()
Definition: config.cpp:675
configt::ansi_ct::c_standardt::C99
@ C99
configt::this_architecture
static irep_idt this_architecture()
Definition: config.cpp:1327
configt::ansi_ct::c_standardt::C11
@ C11
configt::cppt::default_cpp_standard
static cpp_standardt default_cpp_standard()
Definition: config.cpp:690
configt::cppt::cpp_standardt::CPP11
@ CPP11