From e157be919b83177d57666234cd19f6b042140ac1 Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Wed, 3 Jul 2019 11:58:49 +0000 Subject: [PATCH] dwarf2out.c (add_scalar_info): Add back refererence to existing DIE if it has the DW_AT_data_member_location... * dwarf2out.c (add_scalar_info): Add back refererence to existing DIE if it has the DW_AT_data_member_location attribute. From-SVN: r273002 --- gcc/ChangeLog | 5 +++++ gcc/dwarf2out.c | 1 + gcc/testsuite/ChangeLog | 4 ++++ gcc/testsuite/gnat.dg/specs/debug1.ads | 18 ++++++++++++++++++ 4 files changed, 28 insertions(+) create mode 100644 gcc/testsuite/gnat.dg/specs/debug1.ads diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 77d1f608b1f..154e3361a35 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2019-07-03 Eric Botcazou + + * dwarf2out.c (add_scalar_info): Add back refererence to existing DIE + if it has the DW_AT_data_member_location attribute. + 2019-07-03 Richard Biener * gimple-pretty-print.c (dump_ternary_rhs): Fix BIT_INSERT_EXPR diff --git a/gcc/dwarf2out.c b/gcc/dwarf2out.c index 7fa8b05fe5c..6e82802b3a1 100644 --- a/gcc/dwarf2out.c +++ b/gcc/dwarf2out.c @@ -20845,6 +20845,7 @@ add_scalar_info (dw_die_ref die, enum dwarf_attribute attr, tree value, if (decl_die != NULL) { if (get_AT (decl_die, DW_AT_location) + || get_AT (decl_die, DW_AT_data_member_location) || get_AT (decl_die, DW_AT_const_value)) { add_AT_die_ref (die, attr, decl_die); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index d5521123230..656b589c0b8 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2019-07-03 Eric Botcazou + + * gnat.dg/specs/debug1.ads: New test. + 2019-07-03 Martin Liska PR tree-optimization/90892 diff --git a/gcc/testsuite/gnat.dg/specs/debug1.ads b/gcc/testsuite/gnat.dg/specs/debug1.ads new file mode 100644 index 00000000000..f94b42aa76c --- /dev/null +++ b/gcc/testsuite/gnat.dg/specs/debug1.ads @@ -0,0 +1,18 @@ +-- { dg-do compile } +-- { dg-options "-cargs -g -dA -fgnat-encodings=minimal -margs" } + +package Debug1 is + + type Index_T is new Positive range 1 .. 128; + + type Array_Type is array (Index_T range <>) of Integer; + + type Record_Type (N : Index_T := 16) is record + A : Array_Type (1 .. N); + end record; + + R : Record_Type; + +end Debug1; + +-- { dg-final { scan-assembler-times "DW_AT_upper_bound" 4 } } -- 2.30.2