24 ss << std::regex_replace(
29 ss << extra_info <<
"_";
38 unsigned long hash = 5381;
41 hash = ((hash << 5) + hash) +
c;
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
irep_idt operator()(const symbolt &, const std::string &)
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
irep_idt operator()(const symbolt &, const std::string &)
const std::regex multi_under
const std::regex forbidden
const irep_idt & get_working_directory() const
const irep_idt & get_file() const
source_locationt location
Source code location of definition of symbol.
irep_idt name
The unique identifier.
std::string get_base_name(const std::string &in, bool strip_suffix)
cleans a filename from path and extension
Mangle names of file-local functions to make them unique.
#define FILE_LOCAL_PREFIX