[Bug debug/49090] provide a way to recognize defaulted template parameters

[tromey at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49090

--- Comment #3 from Tom Tromey <tromey at gcc dot gnu.org> 2013-01-31 20:11:36 UTC ---
(In reply to comment #2)
> Is GDB actually using the DW_TAG_template_*_param to generate the name of a
> type, or just using the pretty name generated by GCC for DW_AT_name?
> 
> Note that we don't currently generate those tags for uninstantiated types.

I don't think I understand this last comment.


A recent gdb does use the various template parameters to prettify
type display.  The example in this PR isn't so great, gdb gets
something wrong :(.  However:

(gdb) ptype k
type = struct K<int, int> [with T1 = int, T2 = int] {
    T1 v1;
    T1 v2;
}

I'd like to be able to print:

(gdb) whatis k
type = K<int>

This will make type display in various places more consistent with
what people generally want to see; and anyway there is an option to
peel back the curtain and see the full information.