20 const std::set<irep_idt> &functions,
31 << std::to_string(
config.
ansi_c.malloc_failure_mode_return_null)
34 "malloc_failure_mode_assert_then_assume "
39 << std::to_string(
config.
ansi_c.malloc_may_fail) <<
"\n";
42 "#line 1 \"<builtin-library>\"\n"
52#include "cprover_library.inc"
61 const std::set<irep_idt> &functions,
78 if(functions.find(
id)!=functions.end())
80 symbol_table_baset::symbolst::const_iterator old =
85 (old != symbol_table.
symbols.end() && old->second.value.is_nil()))
100 const std::set<irep_idt> &functions,
115 const std::string &src,
118 const std::set<irep_idt> &
keep)
123 std::istringstream in(src);
133 const std::set<irep_idt> &functions,
static std::string get_cprover_library_text(const std::set< irep_idt > &functions, const symbol_table_baset &symbol_table, const bool force_load)
void add_library(const std::string &src, symbol_table_baset &symbol_table, message_handlert &message_handler, const std::set< irep_idt > &keep)
Parses and typechecks the given src and adds its contents to the symbol table.
void cprover_c_library_factory_force_load(const std::set< irep_idt > &functions, symbol_table_baset &symbol_table, message_handlert &message_handler)
Load the requested function symbols from the cprover library and add them to the symbol table regardl...
void cprover_c_library_factory(const std::set< irep_idt > &functions, const symbol_table_baset &symbol_table, symbol_table_baset &dest_symbol_table, message_handlert &message_handler)
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
struct configt::ansi_ct ansi_c
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
The symbol table base class interface.
const symbolst & symbols
Read-only field, used to look up symbols given their names.