|
CBMC
|
#include "builtin_factory.h"#include "ansi_c_internal_additions.h"#include "ansi_c_parser.h"#include "ansi_c_typecheck.h"#include <util/config.h>#include <util/prefix.h>#include <util/string_utils.h>#include <sstream>
Include dependency graph for builtin_factory.cpp:Go to the source code of this file.
Functions | |
| static bool | find_pattern (const std::string &pattern, const char *header_file, std::ostream &out) |
| static bool | convert (const irep_idt &identifier, const std::ostringstream &s, symbol_tablet &symbol_table, message_handlert &message_handler) |
| bool | builtin_factory (const irep_idt &identifier, symbol_tablet &symbol_table, message_handlert &mh) |
| 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.
|
static |
Definition at line 41 of file builtin_factory.cpp.
|
static |
Definition at line 21 of file builtin_factory.cpp.