cprover
|
Go to the source code of this file.
Functions | |
bool | builtin_factory (const irep_idt &identifier, symbol_tablet &, message_handlert &) |
Check whether given identifier is a compiler built-in. More... | |
bool builtin_factory | ( | const irep_idt & | identifier, |
symbol_tablet & | symbol_table, | ||
message_handlert & | mh | ||
) |
Check whether given identifier is a compiler built-in.
If so, add declaration to symbol table.
Definition at line 97 of file builtin_factory.cpp.
References configt::ansi_c, ansi_c_internal_additions(), configt::ansi_ct::arch, configt::ansi_ct::ARM, arm_builtin_headers, configt::ansi_ct::CLANG, clang_builtin_headers, configt::ansi_ct::CODEWARRIOR, config, convert(), cprover_builtin_headers, cw_builtin_headers, find_pattern(), configt::ansi_ct::GCC, 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, id2string(), configt::ansi_ct::mode, configt::ansi_ct::os, configt::ansi_ct::OS_WIN, and windows_builtin_headers.
Referenced by cpp_typecheckt::builtin_factory(), and c_typecheck_baset::typecheck_side_effect_function_call().