dwarf2out.c (add_scalar_info): Add back refererence to existing DIE if it has…

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

+2019-07-03  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* 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  <rguenther@suse.de>
 
 	* gimple-pretty-print.c (dump_ternary_rhs): Fix BIT_INSERT_EXPR

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);

gcc/testsuite/ChangeLog

+2019-07-03  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gnat.dg/specs/debug1.ads: New test.
+
 2019-07-03  Martin Liska  <mliska@suse.cz>
 
 	PR tree-optimization/90892

gcc/testsuite/gnat.dg/specs/debug1.ads

+-- { 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 } }