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 317 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 127 of file ansi_c_internal_additions.cpp.

Variable Documentation

arm_builtin_headers

const char arm_builtin_headers[]

extern

Definition at line 93 of file ansi_c_internal_additions.cpp.

clang_builtin_headers

const char clang_builtin_headers[]

extern

Definition at line 101 of file ansi_c_internal_additions.cpp.

cprover_builtin_headers

const char cprover_builtin_headers[]

extern

Definition at line 105 of file ansi_c_internal_additions.cpp.

cw_builtin_headers

const char cw_builtin_headers[]

extern

Definition at line 97 of file ansi_c_internal_additions.cpp.

gcc_builtin_headers_alpha

const char gcc_builtin_headers_alpha[]

extern

Definition at line 77 of file ansi_c_internal_additions.cpp.

gcc_builtin_headers_arm

const char gcc_builtin_headers_arm[]

extern

Definition at line 81 of file ansi_c_internal_additions.cpp.

gcc_builtin_headers_generic

const char gcc_builtin_headers_generic[]

extern

Definition at line 24 of file ansi_c_internal_additions.cpp.

gcc_builtin_headers_ia32

const char gcc_builtin_headers_ia32[]

extern

Definition at line 49 of file ansi_c_internal_additions.cpp.

gcc_builtin_headers_ia32_2

const char gcc_builtin_headers_ia32_2[]

extern

Definition at line 52 of file ansi_c_internal_additions.cpp.

gcc_builtin_headers_ia32_3

const char gcc_builtin_headers_ia32_3[]

extern

Definition at line 55 of file ansi_c_internal_additions.cpp.

gcc_builtin_headers_ia32_4

const char gcc_builtin_headers_ia32_4[]

extern

Definition at line 58 of file ansi_c_internal_additions.cpp.

gcc_builtin_headers_ia32_5

const char gcc_builtin_headers_ia32_5[]

extern

Definition at line 61 of file ansi_c_internal_additions.cpp.

gcc_builtin_headers_ia32_6

const char gcc_builtin_headers_ia32_6[]

extern

Definition at line 64 of file ansi_c_internal_additions.cpp.

gcc_builtin_headers_ia32_7

const char gcc_builtin_headers_ia32_7[]

extern

Definition at line 67 of file ansi_c_internal_additions.cpp.

gcc_builtin_headers_ia32_8

const char gcc_builtin_headers_ia32_8[]

extern

Definition at line 70 of file ansi_c_internal_additions.cpp.

gcc_builtin_headers_ia32_9

const char gcc_builtin_headers_ia32_9[]

extern

Definition at line 73 of file ansi_c_internal_additions.cpp.

gcc_builtin_headers_math

const char gcc_builtin_headers_math[]

extern

Definition at line 28 of file ansi_c_internal_additions.cpp.

gcc_builtin_headers_mem_string

const char gcc_builtin_headers_mem_string[]

extern

Definition at line 32 of file ansi_c_internal_additions.cpp.

gcc_builtin_headers_mips

const char gcc_builtin_headers_mips[]

extern

Definition at line 85 of file ansi_c_internal_additions.cpp.

gcc_builtin_headers_omp

const char gcc_builtin_headers_omp[]

extern

Definition at line 37 of file ansi_c_internal_additions.cpp.

gcc_builtin_headers_power

const char gcc_builtin_headers_power[]

extern

Definition at line 89 of file ansi_c_internal_additions.cpp.

gcc_builtin_headers_tm

const char gcc_builtin_headers_tm[]

extern

Definition at line 41 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 45 of file ansi_c_internal_additions.cpp.

windows_builtin_headers

const char windows_builtin_headers[]

extern

Definition at line 109 of file ansi_c_internal_additions.cpp.