CBMC
Loading...
Searching...
No Matches
Functions
builtin_factory.cpp File Reference
#include "builtin_factory.h"
#include <util/config.h>
#include <util/prefix.h>
#include <util/string_utils.h>
#include <util/symbol_table.h>
#include "ansi_c_internal_additions.h"
#include "ansi_c_parser.h"
#include "ansi_c_typecheck.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_table_baset &symbol_table, message_handlert &message_handler)
 
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.
 

Function Documentation

◆  builtin_factory()

bool builtin_factory ( const irep_idtidentifier,
bool  support_float16_type,
symbol_table_basetsymbol_table,
message_handlertmh 
)

Check whether given identifier is a compiler built-in.

If so, add declaration to symbol table.

Returns
'true' on error

Definition at line 104 of file builtin_factory.cpp.

◆  convert()

static bool convert ( const irep_idtidentifier,
const std::ostringstream &  s,
symbol_table_basetsymbol_table,
message_handlertmessage_handler 
)
static

Definition at line 42 of file builtin_factory.cpp.

◆  find_pattern()

static bool find_pattern ( const std::string &  pattern,
const charheader_file,
std::ostream &  out 
)
static

Definition at line 22 of file builtin_factory.cpp.

AltStyle によって変換されたページ (->オリジナル) /