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(); }