CBMC
builtin_factory.h File Reference
#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. More...
 

Function Documentation

◆ builtin_factory()

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.

Returns
'true' in case of error

If so, add declaration to symbol table.

Returns
'true' on error

Definition at line 100 of file builtin_factory.cpp.