static string typename_for_vaddr_interval(iterator_df<subprogram_die> i_subp,
const boost::icl::discrete_interval<Dwarf_Off> interval)
{
std::ostringstream s_typename;
if (i_subp.name_here()) s_typename << *i_subp.name_here();
else s_typename << "0x" << std::hex << i_subp.offset_here() << std::dec;
s_typename << "_vaddrs_0x" << std::hex << interval.lower() << "_0x"
<< interval.upper() << std::dec;
return s_typename.str();
}
std::string j(const boost::icl::discrete_interval<uint64_t>& i) {
std::stringstream buf;
buf << "(" << i.lower() << ", " << i.upper() << ")";
return buf.str();
}