Go to the documentation of this file.
43 std::vector<unsigned> line_numbers(
44 pair.second.begin(), pair.second.end());
const irep_idt & get_function() const
std::string to_string() const
Construct a string representing the set of lines.
std::size_t safe_string2size_t(const std::string &str, int base)
void insert(const source_locationt &loc)
Insert a line (a source location) into the set of lines.
const irep_idt & get_line() const
const std::string & id2string(const irep_idt &d)
Set of source code lines contributing to a basic block.
Stream & join_strings(Stream &&os, const It b, const It e, const Delimiter &delimiter, TransformFunc &&transform_func)
Prints items to an stream, separated by a constant delimiter.
Ranges: pair of begin and end iterators, which can be initialized from containers,...
const irep_idt & get_file() const
static bool is_built_in(const std::string &s)
ranget< iteratort > make_range(iteratort begin, iteratort end)