|
CBMC
|
#include <util/irep.h>
Include dependency graph for builtin_factory.h:
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Functions | |
| bool | builtin_factory (const irep_idt &identifier, bool support_float16_type, symbol_table_baset &, message_handlert &) |
| Check whether given identifier is a compiler built-in. | |
| bool builtin_factory | ( | const irep_idt & | identifier, |
| bool | support_float16_type, | ||
| symbol_table_baset & | symbol_table, | ||
| message_handlert & | mh | ||
| ) |
Check whether given identifier is a compiler built-in.
If so, add declaration to symbol table.
Definition at line 104 of file builtin_factory.cpp.