[Bug debug/60885] New: typeless DW_TAG_typedef

[pmachata at redhat dot com]

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

            Bug ID: 60885
           Summary: typeless DW_TAG_typedef
           Product: gcc
           Version: 4.8.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: debug
          Assignee: unassigned at gcc dot gnu.org
          Reporter: pmachata at redhat dot com

GCC emits DW_TAG_typedef without DW_AT_type when the typedef'd type is void:

typedef void VOID;
int foo (VOID *v) {}

$ gcc void.c -g -c

 [    2d]    typedef
             name                 (strp) "VOID"
             decl_file            (data1) 1
             decl_line            (data1) 1

DWARF4 states:
"""If the debugging information entry for a typedef represents a
declaration of the type that is not also a definition, it does not contain a
type attribute."""

As I understand things, a typedef defines a new type, and as such should
contain a DW_AT_type even though it's void.