cprover
Loading...
Searching...
No Matches
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)
 
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_types_gcc7plus []
 
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_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 327 of file ansi_c_internal_additions.cpp.

◆ ansi_c_internal_additions()

void ansi_c_internal_additions ( std::string &  code)

Definition at line 161 of file ansi_c_internal_additions.cpp.

Variable Documentation

◆ arm_builtin_headers

const char arm_builtin_headers[]
extern

Definition at line 99 of file ansi_c_internal_additions.cpp.

◆ clang_builtin_headers

const char clang_builtin_headers[]
extern

Definition at line 107 of file ansi_c_internal_additions.cpp.

◆ cprover_builtin_headers

const char cprover_builtin_headers[]
extern

Definition at line 111 of file ansi_c_internal_additions.cpp.

◆ cw_builtin_headers

const char cw_builtin_headers[]
extern

Definition at line 103 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_alpha

const char gcc_builtin_headers_alpha[]
extern

Definition at line 80 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_arm

const char gcc_builtin_headers_arm[]
extern

Definition at line 85 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_generic

const char gcc_builtin_headers_generic[]
extern

Definition at line 31 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_ia32

const char gcc_builtin_headers_ia32[]
extern

Definition at line 60 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_ia32_2

const char gcc_builtin_headers_ia32_2[]
extern

Definition at line 64 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_ia32_3

const char gcc_builtin_headers_ia32_3[]
extern

Definition at line 67 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_ia32_4

const char gcc_builtin_headers_ia32_4[]
extern

Definition at line 70 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_ia32_5

const char gcc_builtin_headers_ia32_5[]
extern

Definition at line 73 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_ia32_6

const char gcc_builtin_headers_ia32_6[]
extern

Definition at line 76 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_math

const char gcc_builtin_headers_math[]
extern

Definition at line 36 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_mem_string

const char gcc_builtin_headers_mem_string[]
extern

Definition at line 41 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_mips

const char gcc_builtin_headers_mips[]
extern

Definition at line 89 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_omp

const char gcc_builtin_headers_omp[]
extern

Definition at line 47 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_power

const char gcc_builtin_headers_power[]
extern

Definition at line 94 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_tm

const char gcc_builtin_headers_tm[]
extern

Definition at line 51 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_types_gcc7plus

const char gcc_builtin_headers_types_gcc7plus[]
extern

Definition at line 25 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_ubsan

const char gcc_builtin_headers_ubsan[]
extern

Definition at line 55 of file ansi_c_internal_additions.cpp.

◆ windows_builtin_headers

const char windows_builtin_headers[]
extern

Definition at line 115 of file ansi_c_internal_additions.cpp.