From 402e89f5986220a96898381cc32f7efe76bd092c Mon Sep 17 00:00:00 2001 From: Pierre-Marie de Rodat Date: Tue, 3 May 2016 16:21:14 +0000 Subject: Fix a typo in dwarf2out.c:resolve_args_picking_1 Under specific circumstances for Ada programs, such as in the testcase this change adds, the DWARF back-end currently crashes because of inconsistent internal state. This is due to a typo: a local variable is called frame_offset_ but resolve_args_picking_1 wrongly modifies emit-rtl.h's frame_offset instead. This change fixes this typo. gcc/ * dwarf2out.c (resolve_args_picking_1): Replace the frame_offset occurence with frame_offset_ ones. gcc/testsuite/ * gnat.dg/debug5.adb: New testcase. From-SVN: r235830 --- gcc/testsuite/ChangeLog | 4 ++++ gcc/testsuite/gnat.dg/debug5.adb | 22 ++++++++++++++++++++++ 2 files changed, 26 insertions(+) create mode 100644 gcc/testsuite/gnat.dg/debug5.adb (limited to 'gcc/testsuite') diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 3ff4ea4..818a177 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2016-05-03 Pierre-Marie de Rodat + + * gnat.dg/debug5.adb: New testcase. + 2016-05-03 Dominik Vogt * gcc.target/s390/md/rXsbg_mode_sXl.c: New test. diff --git a/gcc/testsuite/gnat.dg/debug5.adb b/gcc/testsuite/gnat.dg/debug5.adb new file mode 100644 index 0000000..6569a15 --- /dev/null +++ b/gcc/testsuite/gnat.dg/debug5.adb @@ -0,0 +1,22 @@ +-- { dg-do compile } +-- { dg-options "-g" } + +procedure Debug5 is + + type Record_Type (L1, L2 : Natural) is record + S1 : String (1 .. L1); + case L2 is + when 0 => null; + when others => S2 : String (L1 .. L2); + end case; + end record; + + procedure Discard (R : Record_Type) is + begin + null; + end Discard; + + R : constant Record_Type := (0, 0, others => <>); +begin + Discard (R); +end Debug5; -- cgit v1.1