Go to the documentation of this file.
30 if(goto_function.is_hidden())
39 !goto_function.body.instructions.empty() &&
40 goto_function.body.instructions.front().source_location.is_built_in())
55 std::smatch string_matcher;
72 unsigned long count_assignments = 0, count_goto = 0;
77 if((++count_goto) >= 2)
80 else if(i_it->is_assign())
82 if((++count_assignments) >= 5)
85 else if(i_it->is_decl())
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
bool operator()(const irep_idt &identifier, const goto_functionst::goto_functiont &goto_function) const override
Filter functions whose name match the regex.
static bool is_built_in(const std::string &s)
bool operator()(const irep_idt &identifier, const goto_functionst::goto_functiont &goto_function) const override
Call a goto_program non-trivial if it has:
bool operator()(const irep_idt &identifier, const goto_functionst::goto_functiont &goto_function) const override
Filter out functions that are not considered provided by the user.
const std::string & id2string(const irep_idt &d)
#define INITIALIZE_FUNCTION
::goto_functiont goto_functiont
bool operator()(const source_locationt &) const override
Filter goals at source locations considered internal.
const irep_idt & get_file() const
bool has_prefix(const std::string &s, const std::string &prefix)
static irep_idt entry_point()
Get the identifier of the entry point to a goto model.
#define forall_goto_program_instructions(it, program)