28 while(std::getline(
hdr, line))
43 const std::ostringstream &s,
47 std::istringstream in(s.str());
77 symbol_tablet::symbolst::const_iterator
s_it=
78 new_symbol_table.
symbols.find(identifier);
83 message.
error() <<
"failed to produce built-in symbol '" << identifier
105 std::ostringstream s;
113 return convert(identifier, s, symbol_table,
mh);
119 return convert(identifier, s, symbol_table,
mh);
126 return convert(identifier, s, symbol_table,
mh);
133 return convert(identifier, s, symbol_table,
mh);
143 return convert(identifier, s, symbol_table,
mh);
146 return convert(identifier, s, symbol_table,
mh);
149 return convert(identifier, s, symbol_table,
mh);
152 return convert(identifier, s, symbol_table,
mh);
155 return convert(identifier, s, symbol_table,
mh);
158 return convert(identifier, s, symbol_table,
mh);
161 return convert(identifier, s, symbol_table,
mh);
168 return convert(identifier, s, symbol_table,
mh);
171 return convert(identifier, s, symbol_table,
mh);
174 return convert(identifier, s, symbol_table,
mh);
177 return convert(identifier, s, symbol_table,
mh);
180 return convert(identifier, s, symbol_table,
mh);
188 return convert(identifier, s, symbol_table,
mh);
198 return convert(identifier, s, symbol_table,
mh);
205 return convert(identifier, s, symbol_table,
mh);
const char cprover_builtin_headers[]
const char gcc_builtin_headers_ia32[]
const char gcc_builtin_headers_ia32_2[]
const char gcc_builtin_headers_ia32_5[]
const char gcc_builtin_headers_ubsan[]
const char windows_builtin_headers[]
const char gcc_builtin_headers_mem_string[]
const char gcc_builtin_headers_ia32_4[]
const char gcc_builtin_headers_generic[]
void ansi_c_internal_additions(std::string &code)
const char gcc_builtin_headers_tm[]
const char cw_builtin_headers[]
const char gcc_builtin_headers_math[]
const char gcc_builtin_headers_arm[]
const char gcc_builtin_headers_mips[]
const char clang_builtin_headers[]
const char arm_builtin_headers[]
const char gcc_builtin_headers_omp[]
const char gcc_builtin_headers_ia32_3[]
const char gcc_builtin_headers_power[]
ansi_c_parsert ansi_c_parser
void ansi_c_scanner_init()
bool ansi_c_typecheck(ansi_c_parse_treet &ansi_c_parse_tree, symbol_tablet &symbol_table, const std::string &module, message_handlert &message_handler)
ANSI-C Language Type Checking.
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.
static bool find_pattern(const std::string &pattern, const char *header_file, std::ostream &out)
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
ansi_c_parse_treet parse_tree
virtual void clear() override
virtual bool parse() override
struct configt::ansi_ct ansi_c
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Class that provides messages with a built-in verbosity 'level'.
virtual void set_message_handler(message_handlert &_message_handler)
void set_file(const irep_idt &file)
const symbolst & symbols
Read-only field, used to look up symbols given their names.
bool add(const symbolt &symbol)
Add a new symbol to the symbol table.
bool has_prefix(const std::string &s, const std::string &prefix)
const std::string & id2string(const irep_idt &d)
std::string strip_string(const std::string &s)
Remove all whitespace characters from either end of a string.