cprover
Loading...
Searching...
No Matches
ansi_c_internal_additions.cpp File Reference
#include "ansi_c_internal_additions.h"
#include <util/c_types.h>
#include <util/config.h>
#include <goto-programs/adjust_float_expressions.h>
#include <linking/static_lifetime_init.h>
#include "ansi_c_parser.h"
#include "compiler_headers/gcc_builtin_headers_types.inc"
#include "compiler_headers/gcc_builtin_headers_generic.inc"
#include "compiler_headers/gcc_builtin_headers_math.inc"
#include "compiler_headers/gcc_builtin_headers_mem_string.inc"
#include "compiler_headers/gcc_builtin_headers_omp.inc"
#include "compiler_headers/gcc_builtin_headers_tm.inc"
#include "compiler_headers/gcc_builtin_headers_ubsan.inc"
#include "compiler_headers/gcc_builtin_headers_ia32.inc"
#include "compiler_headers/gcc_builtin_headers_ia32-2.inc"
#include "compiler_headers/gcc_builtin_headers_ia32-3.inc"
#include "compiler_headers/gcc_builtin_headers_ia32-4.inc"
#include "compiler_headers/gcc_builtin_headers_ia32-5.inc"
#include "compiler_headers/gcc_builtin_headers_ia32-6.inc"
#include "compiler_headers/gcc_builtin_headers_ia32-7.inc"
#include "compiler_headers/gcc_builtin_headers_ia32-8.inc"
#include "compiler_headers/gcc_builtin_headers_ia32-9.inc"
#include "compiler_headers/gcc_builtin_headers_alpha.inc"
#include "compiler_headers/gcc_builtin_headers_arm.inc"
#include "compiler_headers/gcc_builtin_headers_mips.inc"
#include "compiler_headers/gcc_builtin_headers_power.inc"
#include "compiler_headers/arm_builtin_headers.inc"
#include "compiler_headers/cw_builtin_headers.inc"
#include "compiler_headers/clang_builtin_headers.inc"
#include "cprover_builtin_headers.inc"
#include "compiler_headers/windows_builtin_headers.inc"
Include dependency graph for ansi_c_internal_additions.cpp:

Go to the source code of this file.

Functions

static std::string architecture_string (const std::string &value, const char *s)
template<typename T>
static std::string architecture_string (T value, const char *s)
void ansi_c_internal_additions (std::string &code, bool support_float16_type)
void ansi_c_architecture_strings (std::string &code)

Variables

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 clang_builtin_headers [] =
const char cprover_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.

◆ architecture_string() [1/2]

std::string architecture_string ( const std::string & value,
const char * s )
static

Definition at line 113 of file ansi_c_internal_additions.cpp.

◆ architecture_string() [2/2]

template<typename T>
std::string architecture_string ( T value,
const char * s )
static

Definition at line 120 of file ansi_c_internal_additions.cpp.

Variable Documentation

◆ arm_builtin_headers

const char arm_builtin_headers[] =

Definition at line 93 of file ansi_c_internal_additions.cpp.

◆ clang_builtin_headers

const char clang_builtin_headers[] =

Definition at line 101 of file ansi_c_internal_additions.cpp.

◆ cprover_builtin_headers

const char cprover_builtin_headers[] =

Definition at line 105 of file ansi_c_internal_additions.cpp.

◆ cw_builtin_headers

const char cw_builtin_headers[] =

Definition at line 97 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_alpha

const char gcc_builtin_headers_alpha[] =

Definition at line 77 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_arm

const char gcc_builtin_headers_arm[] =

Definition at line 81 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_generic

const char gcc_builtin_headers_generic[] =

Definition at line 24 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_ia32

const char gcc_builtin_headers_ia32[] =

Definition at line 49 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_ia32_2

const char gcc_builtin_headers_ia32_2[] =

Definition at line 52 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_ia32_3

const char gcc_builtin_headers_ia32_3[] =

Definition at line 55 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_ia32_4

const char gcc_builtin_headers_ia32_4[] =

Definition at line 58 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_ia32_5

const char gcc_builtin_headers_ia32_5[] =

Definition at line 61 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_ia32_6

const char gcc_builtin_headers_ia32_6[] =

Definition at line 64 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_ia32_7

const char gcc_builtin_headers_ia32_7[] =

Definition at line 67 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_ia32_8

const char gcc_builtin_headers_ia32_8[] =

Definition at line 70 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_ia32_9

const char gcc_builtin_headers_ia32_9[] =

Definition at line 73 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_math

const char gcc_builtin_headers_math[] =

Definition at line 28 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_mem_string

const char gcc_builtin_headers_mem_string[] =

Definition at line 32 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_mips

const char gcc_builtin_headers_mips[] =

Definition at line 85 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_omp

const char gcc_builtin_headers_omp[] =

Definition at line 37 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_power

const char gcc_builtin_headers_power[] =

Definition at line 89 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_tm

const char gcc_builtin_headers_tm[] =

Definition at line 41 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_types

const char gcc_builtin_headers_types[] =

Definition at line 20 of file ansi_c_internal_additions.cpp.

◆ gcc_builtin_headers_ubsan

const char gcc_builtin_headers_ubsan[] =

Definition at line 45 of file ansi_c_internal_additions.cpp.

◆ windows_builtin_headers

const char windows_builtin_headers[] =

Definition at line 109 of file ansi_c_internal_additions.cpp.