cprover
|
#include "ansi_c_internal_additions.h"
#include <util/config.h>
#include "gcc_builtin_headers_generic.inc"
#include "gcc_builtin_headers_math.inc"
#include "gcc_builtin_headers_mem_string.inc"
#include "gcc_builtin_headers_omp.inc"
#include "gcc_builtin_headers_tm.inc"
#include "gcc_builtin_headers_ubsan.inc"
#include "gcc_builtin_headers_ia32.inc"
#include "gcc_builtin_headers_ia32-2.inc"
#include "gcc_builtin_headers_ia32-3.inc"
#include "gcc_builtin_headers_ia32-4.inc"
#include "gcc_builtin_headers_alpha.inc"
#include "gcc_builtin_headers_arm.inc"
#include "gcc_builtin_headers_mips.inc"
#include "gcc_builtin_headers_power.inc"
#include "arm_builtin_headers.inc"
#include "cw_builtin_headers.inc"
#include "clang_builtin_headers.inc"
Go to the source code of this file.
Functions | |
static std::string | architecture_string (const std::string &value, const char *s) |
static std::string | architecture_string (int value, const char *s) |
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 | 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_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 [] |
void ansi_c_architecture_strings | ( | std::string & | code | ) |
Definition at line 333 of file ansi_c_internal_additions.cpp.
References configt::ansi_ct::alignment, configt::ansi_c, configt::ansi_ct::arch, architecture_string(), configt::ansi_ct::bool_width, configt::ansi_ct::char_is_unsigned, configt::ansi_ct::char_width, config, configt::ansi_ct::double_width, configt::ansi_ct::endianness, id2string(), configt::ansi_ct::int_width, configt::ansi_ct::long_double_width, configt::ansi_ct::long_int_width, configt::ansi_ct::long_long_int_width, configt::ansi_ct::memory_operand_size, configt::ansi_ct::NULL_is_zero, configt::ansi_ct::os, configt::ansi_ct::os_to_string(), configt::ansi_ct::pointer_width, configt::ansi_ct::short_int_width, configt::ansi_ct::single_width, configt::ansi_ct::use_fixed_for_float, configt::ansi_ct::wchar_t_is_unsigned, and configt::ansi_ct::wchar_t_width.
Referenced by ansi_c_internal_additions(), and cpp_internal_additions().
void ansi_c_internal_additions | ( | std::string & | code | ) |
Definition at line 106 of file ansi_c_internal_additions.cpp.
References configt::ansi_c, ansi_c_architecture_strings(), configt::ansi_ct::APPLE, configt::ansi_ct::arch, configt::ansi_ct::ARM, arm_builtin_headers, clang_builtin_headers, configt::ansi_ct::CODEWARRIOR, config, cw_builtin_headers, configt::ansi_ct::GCC, gcc_builtin_headers_alpha, gcc_builtin_headers_arm, gcc_builtin_headers_generic, gcc_builtin_headers_ia32, gcc_builtin_headers_ia32_2, gcc_builtin_headers_ia32_3, gcc_builtin_headers_ia32_4, gcc_builtin_headers_math, gcc_builtin_headers_mem_string, gcc_builtin_headers_mips, gcc_builtin_headers_omp, gcc_builtin_headers_power, gcc_builtin_headers_tm, gcc_builtin_headers_ubsan, configt::ansi_ct::long_int_width, configt::ansi_ct::mode, configt::ansi_ct::os, configt::ansi_ct::OS_WIN, and configt::ansi_ct::rounding_mode.
Referenced by ansi_c_languaget::parse().
|
static |
Definition at line 92 of file ansi_c_internal_additions.cpp.
Referenced by ansi_c_architecture_strings().
|
static |
Definition at line 99 of file ansi_c_internal_additions.cpp.
const char arm_builtin_headers[] |
Definition at line 77 of file ansi_c_internal_additions.cpp.
Referenced by ansi_c_internal_additions().
const char clang_builtin_headers[] |
Definition at line 87 of file ansi_c_internal_additions.cpp.
Referenced by ansi_c_internal_additions(), and cpp_internal_additions().
const char cw_builtin_headers[] |
Definition at line 82 of file ansi_c_internal_additions.cpp.
Referenced by ansi_c_internal_additions().
const char gcc_builtin_headers_alpha[] |
Definition at line 57 of file ansi_c_internal_additions.cpp.
Referenced by ansi_c_internal_additions().
const char gcc_builtin_headers_arm[] |
Definition at line 62 of file ansi_c_internal_additions.cpp.
Referenced by ansi_c_internal_additions().
const char gcc_builtin_headers_generic[] |
Definition at line 13 of file ansi_c_internal_additions.cpp.
Referenced by ansi_c_internal_additions(), and cpp_internal_additions().
const char gcc_builtin_headers_ia32[] |
Definition at line 43 of file ansi_c_internal_additions.cpp.
Referenced by ansi_c_internal_additions(), and cpp_internal_additions().
const char gcc_builtin_headers_ia32_2[] |
Definition at line 47 of file ansi_c_internal_additions.cpp.
Referenced by ansi_c_internal_additions(), and cpp_internal_additions().
const char gcc_builtin_headers_ia32_3[] |
Definition at line 50 of file ansi_c_internal_additions.cpp.
Referenced by ansi_c_internal_additions(), and cpp_internal_additions().
const char gcc_builtin_headers_ia32_4[] |
Definition at line 53 of file ansi_c_internal_additions.cpp.
Referenced by ansi_c_internal_additions(), and cpp_internal_additions().
const char gcc_builtin_headers_math[] |
Definition at line 18 of file ansi_c_internal_additions.cpp.
Referenced by ansi_c_internal_additions(), and cpp_internal_additions().
const char gcc_builtin_headers_mem_string[] |
Definition at line 23 of file ansi_c_internal_additions.cpp.
Referenced by ansi_c_internal_additions(), and cpp_internal_additions().
const char gcc_builtin_headers_mips[] |
Definition at line 67 of file ansi_c_internal_additions.cpp.
Referenced by ansi_c_internal_additions().
const char gcc_builtin_headers_omp[] |
Definition at line 28 of file ansi_c_internal_additions.cpp.
Referenced by ansi_c_internal_additions(), and cpp_internal_additions().
const char gcc_builtin_headers_power[] |
Definition at line 72 of file ansi_c_internal_additions.cpp.
Referenced by ansi_c_internal_additions().
const char gcc_builtin_headers_tm[] |
Definition at line 33 of file ansi_c_internal_additions.cpp.
Referenced by ansi_c_internal_additions(), and cpp_internal_additions().
const char gcc_builtin_headers_ubsan[] |
Definition at line 38 of file ansi_c_internal_additions.cpp.
Referenced by ansi_c_internal_additions(), and cpp_internal_additions().