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.