CBMC
ansi_c_internal_additions.h File Reference
#include <string>
+ Include dependency graph for ansi_c_internal_additions.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

void ansi_c_internal_additions (std::string &code, bool support_float16_type)
 
void ansi_c_architecture_strings (std::string &code)
 

Variables

const char clang_builtin_headers []
 
const char cprover_builtin_headers []
 
const char gcc_builtin_headers_types []
 
const char gcc_builtin_headers_generic []
 
const char gcc_builtin_headers_math []
 
const char gcc_builtin_headers_mem_string []
 
const char gcc_builtin_headers_omp []
 
const char gcc_builtin_headers_tm []
 
const char gcc_builtin_headers_ubsan []
 
const char gcc_builtin_headers_ia32 []
 
const char gcc_builtin_headers_ia32_2 []
 
const char gcc_builtin_headers_ia32_3 []
 
const char gcc_builtin_headers_ia32_4 []
 
const char gcc_builtin_headers_ia32_5 []
 
const char gcc_builtin_headers_ia32_6 []
 
const char gcc_builtin_headers_ia32_7 []
 
const char gcc_builtin_headers_ia32_8 []
 
const char gcc_builtin_headers_ia32_9 []
 
const char gcc_builtin_headers_alpha []
 
const char gcc_builtin_headers_arm []
 
const char gcc_builtin_headers_mips []
 
const char gcc_builtin_headers_power []
 
const char arm_builtin_headers []
 
const char cw_builtin_headers []
 
const char windows_builtin_headers []
 

Function Documentation

◆ ansi_c_architecture_strings()

void ansi_c_architecture_strings ( std::string &  code)

Definition at line 307 of file ansi_c_internal_additions.cpp.

◆ ansi_c_internal_additions()

void ansi_c_internal_additions ( std::string &  code,
bool  support_float16_type 
)

Definition at line 136 of file ansi_c_internal_additions.cpp.

Variable Documentation

◆ arm_builtin_headers

const char arm_builtin_headers[]
extern

Definition at line 102 of file ansi_c_internal_additions.cpp.

◆ clang_builtin_headers

const char clang_builtin_headers[]
extern

Definition at line 110 of file ansi_c_internal_additions.cpp.

◆ cprover_builtin_headers

const char cprover_builtin_headers[]
extern

Definition at line 114 of file ansi_c_internal_additions.cpp.

◆ cw_builtin_headers

const char cw_builtin_headers[]
extern

Definition at line 106 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_alpha

const char gcc_builtin_headers_alpha[]
extern

Definition at line 83 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_arm

const char gcc_builtin_headers_arm[]
extern

Definition at line 88 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_generic

const char gcc_builtin_headers_generic[]
extern

Definition at line 25 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_ia32

const char gcc_builtin_headers_ia32[]
extern

Definition at line 54 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_ia32_2

const char gcc_builtin_headers_ia32_2[]
extern

Definition at line 58 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_ia32_3

const char gcc_builtin_headers_ia32_3[]
extern

Definition at line 61 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_ia32_4

const char gcc_builtin_headers_ia32_4[]
extern

Definition at line 64 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_ia32_5

const char gcc_builtin_headers_ia32_5[]
extern

Definition at line 67 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_ia32_6

const char gcc_builtin_headers_ia32_6[]
extern

Definition at line 70 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_ia32_7

const char gcc_builtin_headers_ia32_7[]
extern

Definition at line 73 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_ia32_8

const char gcc_builtin_headers_ia32_8[]
extern

Definition at line 76 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_ia32_9

const char gcc_builtin_headers_ia32_9[]
extern

Definition at line 79 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_math

const char gcc_builtin_headers_math[]
extern

Definition at line 30 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_mem_string

const char gcc_builtin_headers_mem_string[]
extern

Definition at line 35 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_mips

const char gcc_builtin_headers_mips[]
extern

Definition at line 92 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_omp

const char gcc_builtin_headers_omp[]
extern

Definition at line 41 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_power

const char gcc_builtin_headers_power[]
extern

Definition at line 97 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_tm

const char gcc_builtin_headers_tm[]
extern

Definition at line 45 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_types

const char gcc_builtin_headers_types[]
extern

Definition at line 20 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_ubsan

const char gcc_builtin_headers_ubsan[]
extern

Definition at line 49 of file ansi_c_internal_additions.cpp.

◆ windows_builtin_headers

const char windows_builtin_headers[]
extern

Definition at line 118 of file ansi_c_internal_additions.cpp.