<div dir="ltr">To explain to others who didn't follow that thread:<div><br></div><div>GDB currently does something amazingly stupid (and has since i wrote it) to find the RTTI type.  There were no other good options at the type.</div><div><br></div><div>What it does is find the vtable for the object, find the symbol that represents the vtable, demangle it, , chops off "vtable for", and tries to find the symbol for the string that results.</div><div><br></div><div>If you don't emit the linkage name, there are cases it won't find it, because this is a really dumb way of trying to find the answer :)</div><div><br></div><div>It also wont' find it depending on what demangler you use, etc.</div><div><br></div><div>Here's a more direct way:</div><div>For each vtable DIE, link to the concrete type it represents.</div><div><br></div><div>Now you just go from vtable object to concrete type with no string lookup, which is faster, doesnt' require linkage names, doesn't depend on demanglers matching, etc.</div><div><br></div><div>As an added bonus: This is what Tom Tromey already added to Rust to do this. So it's even been implemented before.<br></div><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Sat, Mar 3, 2018 at 8:20 PM, Daniel Berlin <span dir="ltr"><<a href="mailto:dberlin@dberlin.org" target="_blank">dberlin@dberlin.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote"><span class="">On Fri, Mar 2, 2018 at 3:58 PM, Roman Popov via llvm-dev <span dir="ltr"><<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hi all,<div><br></div><div>As you may know modern C++ debuggers (GDB and LLDB) support dynamic type identification for polymorphic objects, by utilizing C++ RTTI.  </div><div>Unfortunately this feature does not work with Clang and GDB >= 7.x .  The last compiler that worked well was G++ 6.x</div><div><br></div><div>I've asked about this issue both on GDB and LLDB maillists. Unfortunately it's hard or impossible to fix it on debugger side.</div></div></blockquote><div><br></div></span><div>Errr, i posited a solution on the gdb mailing list that i haven't seen shot down so far, that doesn't require linkage names, it only requires one new attribute that is a DW_FORM_ref, and very cheap.</div><div> </div><div>I also wrote the RTTI code for GDB :)<br><br></div><span class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>Currently what debugger has to do is to demangle RTTI name and try to match it to DW_AT_name attribute to find type. As you can see it does not work for any of 3 examples.</div><div><br></div><div>I've asked about the problem on G++ maillist, and one of the proposed solutions is to emit DW_AT_linkage_name for types. </div><div><br></div><div>Can this solution be also implemented in LLVM? </div></div></blockquote><div><br></div></span><div>Please, no.</div><div><br></div><div>This is completely unneeded and wastes a huge amount of space.</div><div><br></div><div>As you can see from the replies to my solution on the gdb mailing list, it is used by other languages (rust, for example) *anyway*, so we might as well use it for C++ too.</div><div><br></div><div><br></div><div><br></div></div></div></div>
</blockquote></div><br></div>