cprover
builtin_factory.cpp File Reference
#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/string_utils.h>
#include <ostream>
#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...
 

Function Documentation

◆ builtin_factory()

◆ convert()

◆ find_pattern()

static bool find_pattern ( const std::string &  pattern,
const char *  header_file,
std::ostream &  out 
)
static

Definition at line 21 of file builtin_factory.cpp.

References has_prefix(), and strip_string().

Referenced by builtin_factory().