From d0edecea00fdd32bce58217fe225de90342e4396 Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Wed, 10 Nov 2010 11:35:08 +0000 Subject: [PATCH] decl.c (gnat_to_gnu_entity): Do not set DECL_ARTIFICIAL on the reused DECL node coming from a renamed object. * gcc-interface/decl.c (gnat_to_gnu_entity): Do not set DECL_ARTIFICIAL on the reused DECL node coming from a renamed object. Set DECL_IGNORED_P on the DECL node built for renaming entities if they don't need debug info. From-SVN: r166530 --- gcc/ada/ChangeLog | 7 ++++ gcc/ada/gcc-interface/decl.c | 16 +++++---- gcc/testsuite/ChangeLog | 4 +++ gcc/testsuite/gnat.dg/unchecked_convert7.adb | 36 ++++++++++++++++++++ 4 files changed, 57 insertions(+), 6 deletions(-) create mode 100644 gcc/testsuite/gnat.dg/unchecked_convert7.adb diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index c768d867423..0e522fddee1 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,10 @@ +2010-11-10 Eric Botcazou + + * gcc-interface/decl.c (gnat_to_gnu_entity): Do not set DECL_ARTIFICIAL + on the reused DECL node coming from a renamed object. + Set DECL_IGNORED_P on the DECL node built for renaming entities if they + don't need debug info. + 2010-11-09 Eric Botcazou * gcc-interface/utils.c (save_gnu_tree): Improve comments. diff --git a/gcc/ada/gcc-interface/decl.c b/gcc/ada/gcc-interface/decl.c index c2b82786a84..71816538682 100644 --- a/gcc/ada/gcc-interface/decl.c +++ b/gcc/ada/gcc-interface/decl.c @@ -4894,13 +4894,17 @@ gnat_to_gnu_entity (Entity_Id gnat_entity, tree gnu_expr, int definition) Set_RM_Size (gnat_entity, annotate_value (rm_size (gnu_type))); } - if (!Comes_From_Source (gnat_entity) && DECL_P (gnu_decl)) - DECL_ARTIFICIAL (gnu_decl) = 1; + /* If we really have a ..._DECL node, set a couple of flags on it. But we + cannot do that if we are reusing the ..._DECL node made for a renamed + object, since the predicates don't apply to it but to GNAT_ENTITY. */ + if (DECL_P (gnu_decl) && !(Present (Renamed_Object (gnat_entity)) && saved)) + { + if (!Comes_From_Source (gnat_entity)) + DECL_ARTIFICIAL (gnu_decl) = 1; - if (!debug_info_p && DECL_P (gnu_decl) - && TREE_CODE (gnu_decl) != FUNCTION_DECL - && No (Renamed_Object (gnat_entity))) - DECL_IGNORED_P (gnu_decl) = 1; + if (!debug_info_p && TREE_CODE (gnu_decl) != FUNCTION_DECL) + DECL_IGNORED_P (gnu_decl) = 1; + } /* If we haven't already, associate the ..._DECL node that we just made with the input GNAT entity node. */ diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index e4ae2acf849..32ee4fabf61 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2010-11-10 Eric Botcazou + + * gnat.dg/unchecked_convert7.adb: New test. + 2010-11-10 Richard Guenther PR tree-optimization/46398 diff --git a/gcc/testsuite/gnat.dg/unchecked_convert7.adb b/gcc/testsuite/gnat.dg/unchecked_convert7.adb new file mode 100644 index 00000000000..502459bba7b --- /dev/null +++ b/gcc/testsuite/gnat.dg/unchecked_convert7.adb @@ -0,0 +1,36 @@ +-- { dg-do compile } +-- { dg-options "-g -gnatVa" } + +with Unchecked_Conversion; + +procedure Unchecked_Convert7 is + + type BPA is array (1 .. 23) of Boolean; + pragma Pack (BPA); + for BPA'Size use 23; + + subtype Byte is Natural range 0 .. 255; + + type R is + record + S : Boolean; + E : Byte; + F : BPA; + end record; + + for R use + record + S at 0 range 0 .. 0; + E at 0 range 1 .. 8; + F at 0 range 9 .. 31; + end record; + for R'Size use 32; + + function Conversion + is new Unchecked_Conversion (Source => R, Target => Float); + + F : Float := Conversion (R'(False, Byte'Last, (others => False))); + +begin + null; +end; -- 2.30.2