re PR debug/84645 (-flto -g0 at compile-time vs. -flto -g at link time ICEs in add_dw...

2018-03-01  Richard Biener  <rguenther@suse.de>

	PR debug/84645
	* dwarf2out.c (gen_variable_die): Properly handle late VLA
	type annotation with LTO when debug was disabled at compile-time.

	* gfortran.dg/lto/pr84645_0.f90: New testcase.

From-SVN: r258100

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 447ea67aaf95b6a8591dad5d5708c6351ec9c644..879694331189394ab2ab6f86a03720b85b37c532 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2018-03-01  Richard Biener  <rguenther@suse.de>
+
+       PR debug/84645
+       * dwarf2out.c (gen_variable_die): Properly handle late VLA
+       type annotation with LTO when debug was disabled at compile-time.
+
 2018-03-01  Matthew Fortune  <mfortune@gmail.com>
 
        * config/mips/mips.c (mips_final_prescan_insn): Fix incorrect

diff --git a/gcc/dwarf2out.c b/gcc/dwarf2out.c
index 5e88c7bacf063b896479649917f09ec45fb032f3..41bb11558f695e3be348c72871b12645b5b6269d 100644 (file)
--- a/gcc/dwarf2out.c
+++ b/gcc/dwarf2out.c
@@ -23527,10 +23527,12 @@ gen_variable_die (tree decl, tree origin, dw_die_ref context_die)
 
          /* ???  In LTRANS we cannot annotate early created variably
             modified type DIEs without copying them and adjusting all
-            references to them.  Thus we dumped them again, also add a
-            reference to them.  */
+            references to them.  Thus we dumped them again.  Also add a
+            reference to them but beware of -g0 compile and -g link
+            in which case the reference will be already present.  */
          tree type = TREE_TYPE (decl_or_origin);
          if (in_lto_p
+             && ! get_AT (var_die, DW_AT_type)
              && variably_modified_type_p
                   (type, decl_function_context (decl_or_origin)))
            {

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index e4ed421e7be320c4b274a0327dbeabd58b9baeda..a9e12bef2b48813b1dc5f23872351137fe8efda9 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2018-03-01  Richard Biener  <rguenther@suse.de>
+
+       PR debug/84645
+       * gfortran.dg/lto/pr84645_0.f90: New testcase.
+
 2018-03-01  Paul Thomas  <pault@gcc.gnu.org>
 
        PR fortran/84219

diff --git a/gcc/testsuite/gfortran.dg/lto/pr84645_0.f90 b/gcc/testsuite/gfortran.dg/lto/pr84645_0.f90
new file mode 100644 (file)
index 0000000..9935624
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/lto/pr84645_0.f90
@@ -0,0 +1,17 @@
+! { dg-lto-do link }
+! { dg-lto-options { { -flto -g0 } } }
+! { dg-extra-ld-options { -g } }
+program nml_test
+  implicit none
+  type t
+    integer :: c1
+    integer :: c2(3)
+  end type t
+  call test2(2) 
+contains
+  subroutine test2(n)
+    integer :: n
+    type(t) :: x12(n)
+    namelist /nml2/ x12
+  end subroutine test2
+end program nml_test