cprover
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 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 clang_builtin_headers []
 
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 arm_builtin_headers []
 

Function Documentation

§ ansi_c_architecture_strings()

§ ansi_c_internal_additions()

Variable Documentation

§ arm_builtin_headers

const char arm_builtin_headers[]

Definition at line 77 of file ansi_c_internal_additions.cpp.

Referenced by ansi_c_internal_additions().

§ clang_builtin_headers

const char clang_builtin_headers[]

§ gcc_builtin_headers_generic

const char gcc_builtin_headers_generic[]

§ gcc_builtin_headers_ia32

const char gcc_builtin_headers_ia32[]

§ gcc_builtin_headers_ia32_2

const char gcc_builtin_headers_ia32_2[]

§ gcc_builtin_headers_ia32_3

const char gcc_builtin_headers_ia32_3[]

§ gcc_builtin_headers_ia32_4

const char gcc_builtin_headers_ia32_4[]

§ gcc_builtin_headers_math

const char gcc_builtin_headers_math[]

§ gcc_builtin_headers_mem_string

const char gcc_builtin_headers_mem_string[]

§ gcc_builtin_headers_omp

const char gcc_builtin_headers_omp[]

§ gcc_builtin_headers_tm

const char gcc_builtin_headers_tm[]

§ gcc_builtin_headers_ubsan

const char gcc_builtin_headers_ubsan[]