17 const std::string &message,
39 const auto full_path = location.
full_path();
41 if(full_path.has_value() && !line.empty())
47 const auto line_number = std::stoull(line);
49 for(std::size_t l = 0; l < line_number; l++)
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
void print(unsigned, const xmlt &) override
void print(unsigned, const xmlt &) override
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
optionalt< std::string > full_path() const
Get a path to the file, including working directory.
const irep_idt & get_file() const
const irep_idt & get_line() const
const std::string & id2string(const irep_idt &d)
#define widen_if_needed(s)