From: Mark Wielaard Date: Wed, 26 Nov 2014 11:05:20 +0000 (+0000) Subject: PR debug/38757 continued. Handle C11, C++11 and C++14. X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5d45c9c04e7667f9d567d0d67cfd7d2d7cc00696;p=gcc.git PR debug/38757 continued. Handle C11, C++11 and C++14. Add experimental (minimal) DWARFv5 support. This change depends on the new DWARFv5 constants mentioned in the following draft: http://dwarfstd.org/doc/dwarf5.20141029.pdf gcc/ChangeLog * doc/invoke.texi (-gdwarf-@{version}): Mention experimental DWARFv5. * opts.c (common_handle_option): Accept -gdwarf-5. * dwarf2out.c (is_cxx): Add DW_LANG_C_plus_plus_11 and DW_LANG_C_plus_plus_14. (lower_bound_default): Likewise. Plus DW_LANG_C11. (gen_compile_unit_die): Output DW_LANG_C_plus_plus_11, DW_LANG_C_plus_plus_14 or DW_LANG_C11. (output_compilation_unit_header): Output at most a DWARFv4 header. (output_skeleton_debug_sections): Likewise. (output_line_info): Likewise. (output_aranges): Document header version number. gcc/testsuite/ChangeLog * gcc.dg/debug/dwarf2/lang-c11.c: New test. * gcc.dg/debug/dwarf2/lang-c11-d4-strict.c: Likewise. * g++.dg/debug/dwarf2/lang-cpp11.C: Likewise. * g++.dg/debug/dwarf2/lang-cpp14.C: Likewise. * g++.dg/debug/dwarf2/lang-cpp98.C: Likewise. include/ChangeLog * dwarf2.h: Add DW_LANG_C_plus_plus_11, DW_LANG_C11 and DW_LANG_C_plus_plus_14. From-SVN: r218077 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index c1f9da7b31f..8dd1ab75801 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,17 @@ +2014-11-21 Mark Wielaard + + * doc/invoke.texi (-gdwarf-@{version}): Mention experimental DWARFv5. + * opts.c (common_handle_option): Accept -gdwarf-5. + * dwarf2out.c (is_cxx): Add DW_LANG_C_plus_plus_11 and + DW_LANG_C_plus_plus_14. + (lower_bound_default): Likewise. Plus DW_LANG_C11. + (gen_compile_unit_die): Output DW_LANG_C_plus_plus_11, + DW_LANG_C_plus_plus_14 or DW_LANG_C11. + (output_compilation_unit_header): Output at most a DWARFv4 header. + (output_skeleton_debug_sections): Likewise. + (output_line_info): Likewise. + (output_aranges): Document header version number. + 2014-11-26 Richard Biener * gimple-fold.c (get_symbol_constant_value): Allow all diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi index 89edddb4712..d7bce2a6b0f 100644 --- a/gcc/doc/invoke.texi +++ b/gcc/doc/invoke.texi @@ -5407,8 +5407,8 @@ assembler (GAS) to fail with an error. @item -gdwarf-@var{version} @opindex gdwarf-@var{version} Produce debugging information in DWARF format (if that is supported). -The value of @var{version} may be either 2, 3 or 4; the default version -for most targets is 4. +The value of @var{version} may be either 2, 3, 4 or 5; the default version +for most targets is 4. DWARF Version 5 is only experimental. Note that with DWARF Version 2, some ports require and always use some non-conflicting DWARF 3 extensions in the unwind tables. diff --git a/gcc/dwarf2out.c b/gcc/dwarf2out.c index 25307d22d7b..25f0e7d3e26 100644 --- a/gcc/dwarf2out.c +++ b/gcc/dwarf2out.c @@ -4684,7 +4684,8 @@ is_cxx (void) { unsigned int lang = get_AT_unsigned (comp_unit_die (), DW_AT_language); - return lang == DW_LANG_C_plus_plus || lang == DW_LANG_ObjC_plus_plus; + return (lang == DW_LANG_C_plus_plus || lang == DW_LANG_ObjC_plus_plus + || lang == DW_LANG_C_plus_plus_11 || lang == DW_LANG_C_plus_plus_14); } /* Return TRUE if the language is Java. */ @@ -8966,7 +8967,9 @@ output_die (dw_die_ref die) static void output_compilation_unit_header (void) { - int ver = dwarf_version; + /* We don't support actual DWARFv5 units yet, we just use some + DWARFv5 draft DIE tags in DWARFv4 format. */ + int ver = dwarf_version < 5 ? dwarf_version : 4; if (DWARF_INITIAL_LENGTH_SIZE - DWARF_OFFSET_SIZE == 4) dw2_asm_output_data (4, 0xffffffff, @@ -9109,6 +9112,10 @@ add_top_level_skeleton_die_attrs (dw_die_ref die) static void output_skeleton_debug_sections (dw_die_ref comp_unit) { + /* We don't support actual DWARFv5 units yet, we just use some + DWARFv5 draft DIE tags in DWARFv4 format. */ + int ver = dwarf_version < 5 ? dwarf_version : 4; + /* These attributes will be found in the full debug_info section. */ remove_AT (comp_unit, DW_AT_producer); remove_AT (comp_unit, DW_AT_language); @@ -9128,7 +9135,7 @@ output_skeleton_debug_sections (dw_die_ref comp_unit) - DWARF_INITIAL_LENGTH_SIZE + size_of_die (comp_unit), "Length of Compilation Unit Info"); - dw2_asm_output_data (2, dwarf_version, "DWARF version number"); + dw2_asm_output_data (2, ver, "DWARF version number"); dw2_asm_output_offset (DWARF_OFFSET_SIZE, debug_skeleton_abbrev_section_label, debug_abbrev_section, "Offset Into Abbrev. Section"); @@ -9481,7 +9488,7 @@ output_aranges (unsigned long aranges_length) "Initial length escape value indicating 64-bit DWARF extension"); dw2_asm_output_data (DWARF_OFFSET_SIZE, aranges_length, "Length of Address Ranges Info"); - /* Version number for aranges is still 2, even in DWARF3. */ + /* Version number for aranges is still 2, even up to DWARF5. */ dw2_asm_output_data (2, 2, "DWARF Version"); if (dwarf_split_debug_info) dw2_asm_output_offset (DWARF_OFFSET_SIZE, debug_skeleton_info_section_label, @@ -10156,7 +10163,8 @@ static void output_line_info (bool prologue_only) { char l1[20], l2[20], p1[20], p2[20]; - int ver = dwarf_version; + /* We don't support DWARFv5 line tables yet. */ + int ver = dwarf_version < 5 ? dwarf_version : 4; bool saw_one = false; int opc; @@ -16402,7 +16410,10 @@ lower_bound_default (void) case DW_LANG_C: case DW_LANG_C89: case DW_LANG_C99: + case DW_LANG_C11: case DW_LANG_C_plus_plus: + case DW_LANG_C_plus_plus_11: + case DW_LANG_C_plus_plus_14: case DW_LANG_ObjC: case DW_LANG_ObjC_plus_plus: case DW_LANG_Java: @@ -16746,6 +16757,7 @@ add_prototyped_attribute (dw_die_ref die, tree func_type) case DW_LANG_C: case DW_LANG_C89: case DW_LANG_C99: + case DW_LANG_C11: case DW_LANG_ObjC: if (prototype_p (func_type)) add_AT_flag (die, DW_AT_prototyped, 1); @@ -19595,15 +19607,30 @@ gen_compile_unit_die (const char *filename) language = DW_LANG_C; if (strncmp (language_string, "GNU C", 5) == 0 - && (language_string[5] == 0 || ISDIGIT (language_string[5]))) + && ISDIGIT (language_string[5])) { language = DW_LANG_C89; if (dwarf_version >= 3 || !dwarf_strict) - if (strcmp (language_string, "GNU C99") == 0) - language = DW_LANG_C99; + { + if (strcmp (language_string, "GNU C89") != 0) + language = DW_LANG_C99; + + if (dwarf_version >= 5 /* || !dwarf_strict */) + if (strcmp (language_string, "GNU C11") == 0) + language = DW_LANG_C11; + } } else if (strncmp (language_string, "GNU C++", 7) == 0) - language = DW_LANG_C_plus_plus; + { + language = DW_LANG_C_plus_plus; + if (dwarf_version >= 5 /* || !dwarf_strict */) + { + if (strcmp (language_string, "GNU C++11") == 0) + language = DW_LANG_C_plus_plus_11; + else if (strcmp (language_string, "GNU C++14") == 0) + language = DW_LANG_C_plus_plus_14; + } + } else if (strcmp (language_string, "GNU F77") == 0) language = DW_LANG_Fortran77; else if (strcmp (language_string, "GNU Pascal") == 0) diff --git a/gcc/opts.c b/gcc/opts.c index f3deb4046a8..3a0ed61e593 100644 --- a/gcc/opts.c +++ b/gcc/opts.c @@ -1992,7 +1992,7 @@ common_handle_option (struct gcc_options *opts, /* FALLTHRU */ case OPT_gdwarf_: - if (value < 2 || value > 4) + if (value < 2 || value > 5) error_at (loc, "dwarf version %d is not supported", value); else opts->x_dwarf_version = value; diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 429885c21bf..18720461579 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,11 @@ +2014-11-21 Mark Wielaard + + * gcc.dg/debug/dwarf2/lang-c11.c: New test. + * gcc.dg/debug/dwarf2/lang-c11-d4-strict.c: Likewise. + * g++.dg/debug/dwarf2/lang-cpp11.C: Likewise. + * g++.dg/debug/dwarf2/lang-cpp14.C: Likewise. + * g++.dg/debug/dwarf2/lang-cpp98.C: Likewise. + 2014-11-24 Mark Wielaard * g++.dg/debug/dwarf2/noreturn-function.C: New test. diff --git a/gcc/testsuite/g++.dg/debug/dwarf2/lang-cpp11.C b/gcc/testsuite/g++.dg/debug/dwarf2/lang-cpp11.C new file mode 100644 index 00000000000..8079c0e1752 --- /dev/null +++ b/gcc/testsuite/g++.dg/debug/dwarf2/lang-cpp11.C @@ -0,0 +1,6 @@ +// { dg-do compile } +// { dg-options "-O -std=c++11 -gdwarf-5 -dA" } +// DW_LANG_C_plus_plus_11 = 0x001a +// { dg-final { scan-assembler "0x1a.*DW_AT_language" } } */ + +int version; diff --git a/gcc/testsuite/g++.dg/debug/dwarf2/lang-cpp14.C b/gcc/testsuite/g++.dg/debug/dwarf2/lang-cpp14.C new file mode 100644 index 00000000000..448ec7c0a30 --- /dev/null +++ b/gcc/testsuite/g++.dg/debug/dwarf2/lang-cpp14.C @@ -0,0 +1,6 @@ +// { dg-do compile } +// { dg-options "-O -std=c++14 -gdwarf-5 -dA" } +// DW_LANG_C_plus_plus_14 = 0x0021 +// { dg-final { scan-assembler "0x21.*DW_AT_language" } } */ + +int version; diff --git a/gcc/testsuite/g++.dg/debug/dwarf2/lang-cpp98.C b/gcc/testsuite/g++.dg/debug/dwarf2/lang-cpp98.C new file mode 100644 index 00000000000..065cc18264e --- /dev/null +++ b/gcc/testsuite/g++.dg/debug/dwarf2/lang-cpp98.C @@ -0,0 +1,6 @@ +// { dg-do compile } +// { dg-options "-O -std=c++98 -g -dA" } +// DW_LANG_C_plus_plus = 0x0004 +// { dg-final { scan-assembler "0x4.*DW_AT_language" } } */ + +int version; diff --git a/gcc/testsuite/gcc.dg/debug/dwarf2/lang-c11-d4-strict.c b/gcc/testsuite/gcc.dg/debug/dwarf2/lang-c11-d4-strict.c new file mode 100644 index 00000000000..accc13f18b5 --- /dev/null +++ b/gcc/testsuite/gcc.dg/debug/dwarf2/lang-c11-d4-strict.c @@ -0,0 +1,7 @@ +// { dg-do compile } +// { dg-options "-O -std=c11 -gdwarf-4 -gstrict-dwarf -dA" } +// We cannot produce DW_LANG_C11 = 0x001d because strict-dwarf. +// So expect DW_LANG_C99 = 0x000c +// { dg-final { scan-assembler "0xc.*DW_AT_language" } } */ + +int version; diff --git a/gcc/testsuite/gcc.dg/debug/dwarf2/lang-c11.c b/gcc/testsuite/gcc.dg/debug/dwarf2/lang-c11.c new file mode 100644 index 00000000000..f14c49fd3d3 --- /dev/null +++ b/gcc/testsuite/gcc.dg/debug/dwarf2/lang-c11.c @@ -0,0 +1,6 @@ +// { dg-do compile } +// { dg-options "-O -std=c11 -gdwarf-5 -dA" } +// DW_LANG_C11 = 0x001d +// { dg-final { scan-assembler "0x1d.*DW_AT_language" } } */ + +int version; diff --git a/include/ChangeLog b/include/ChangeLog index e73a9a89df6..e0baca9c10d 100644 --- a/include/ChangeLog +++ b/include/ChangeLog @@ -1,3 +1,8 @@ +2014-11-21 Mark Wielaard + + * dwarf2.h: Add DW_LANG_C_plus_plus_11, DW_LANG_C11 and + DW_LANG_C_plus_plus_14. + 2014-11-25 Mark Wielaard * dwarf2.def (DW_AT_noreturn): New DWARF5 attribute. diff --git a/include/dwarf2.h b/include/dwarf2.h index 120e2c16b48..ca440dd42b5 100644 --- a/include/dwarf2.h +++ b/include/dwarf2.h @@ -309,6 +309,10 @@ enum dwarf_source_language /* DWARF 5. */ DW_LANG_Go = 0x0016, + DW_LANG_C_plus_plus_11 = 0x001a, /* dwarf5.20141029.pdf DRAFT */ + DW_LANG_C11 = 0x001d, + DW_LANG_C_plus_plus_14 = 0x0021, + DW_LANG_lo_user = 0x8000, /* Implementation-defined range start. */ DW_LANG_hi_user = 0xffff, /* Implementation-defined range start. */