diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2013-05-26 08:48:22 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2013-05-26 08:48:22 +0000 |
| commit | 3fd7a66fddefe6ea59a42fc1139f715d0e3bb72f (patch) | |
| tree | e3ae07551814997a53789a389ad5325c631e067e /gcc/ada | |
| parent | 184179f1834363a901d50a31610d51045b6976c1 (diff) | |
| download | gcc-3fd7a66fddefe6ea59a42fc1139f715d0e3bb72f.zip gcc-3fd7a66fddefe6ea59a42fc1139f715d0e3bb72f.tar.gz gcc-3fd7a66fddefe6ea59a42fc1139f715d0e3bb72f.tar.bz2 | |
decl.c (gnat_to_gnu_entity): Do not prematurely elaborate the full view of a type with a freeze node.
* gcc-interface/decl.c (gnat_to_gnu_entity): Do not prematurely
elaborate the full view of a type with a freeze node.
* gcc-interface/trans.c (process_type): Add explicit predicate.
From-SVN: r199336
Diffstat (limited to 'gcc/ada')
| -rw-r--r-- | gcc/ada/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/ada/gcc-interface/decl.c | 7 | ||||
| -rw-r--r-- | gcc/ada/gcc-interface/trans.c | 2 |
3 files changed, 12 insertions, 3 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 7c42173..2844de4 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5 +1,11 @@ 2013-05-26 Eric Botcazou <ebotcazou@adacore.com> + * gcc-interface/decl.c (gnat_to_gnu_entity): Do not prematurely + elaborate the full view of a type with a freeze node. + * gcc-interface/trans.c (process_type): Add explicit predicate. + +2013-05-26 Eric Botcazou <ebotcazou@adacore.com> + * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Always build the UNC variable for aliased objects with unconstrained nominal subtype. diff --git a/gcc/ada/gcc-interface/decl.c b/gcc/ada/gcc-interface/decl.c index bf334da..4a528b2 100644 --- a/gcc/ada/gcc-interface/decl.c +++ b/gcc/ada/gcc-interface/decl.c @@ -288,7 +288,8 @@ gnat_to_gnu_entity (Entity_Id gnat_entity, tree gnu_expr, int definition) If we are defining the node, we should not have already processed it. In that case, we will abort below when we try to save a new GCC tree for this object. We also need to handle the case of getting a dummy - type when a Full_View exists. */ + type when a Full_View exists but be careful so as not to trigger its + premature elaboration. */ if ((!definition || (is_type && imported_p)) && present_gnu_tree (gnat_entity)) { @@ -297,7 +298,9 @@ gnat_to_gnu_entity (Entity_Id gnat_entity, tree gnu_expr, int definition) if (TREE_CODE (gnu_decl) == TYPE_DECL && TYPE_IS_DUMMY_P (TREE_TYPE (gnu_decl)) && IN (kind, Incomplete_Or_Private_Kind) - && Present (Full_View (gnat_entity))) + && Present (Full_View (gnat_entity)) + && (present_gnu_tree (Full_View (gnat_entity)) + || No (Freeze_Node (Full_View (gnat_entity))))) { gnu_decl = gnat_to_gnu_entity (Full_View (gnat_entity), NULL_TREE, 0); diff --git a/gcc/ada/gcc-interface/trans.c b/gcc/ada/gcc-interface/trans.c index 6c9407e..13767e9 100644 --- a/gcc/ada/gcc-interface/trans.c +++ b/gcc/ada/gcc-interface/trans.c @@ -8723,7 +8723,7 @@ process_type (Entity_Id gnat_entity) if (Present (Freeze_Node (gnat_entity)) || (IN (Ekind (gnat_entity), Incomplete_Or_Private_Kind) && Present (Full_View (gnat_entity)) - && Freeze_Node (Full_View (gnat_entity)) + && Present (Freeze_Node (Full_View (gnat_entity))) && !present_gnu_tree (Full_View (gnat_entity)))) { elaborate_entity (gnat_entity); |