diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2012-04-30 07:50:07 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2012-04-30 07:50:07 +0000 |
| commit | f04b8d6927ad8374c40a3412eeda8f3be18e9fc0 (patch) | |
| tree | 37a384e07b2e25f70080174ef8e49ccde609ad7d /gcc/ada/gcc-interface/gigi.h | |
| parent | 90137d8f2c5dfb3cb589e4b3497c63d7f810767e (diff) | |
| download | gcc-f04b8d6927ad8374c40a3412eeda8f3be18e9fc0.zip gcc-f04b8d6927ad8374c40a3412eeda8f3be18e9fc0.tar.gz gcc-f04b8d6927ad8374c40a3412eeda8f3be18e9fc0.tar.bz2 | |
gigi.h (mark_out_of_scope): Delete.
* gcc-interface/gigi.h (mark_out_of_scope): Delete.
(destroy_gnat_to_gnu): Declare.
(destroy_dummy_type): Likewise.
* gcc-interface/decl.c (mark_out_of_scope): Delete.
* gcc-interface/utils.c (destroy_gnat_to_gnu): New function.
(destroy_dummy_type): Likewise.
* gcc-interface/trans.c (gnat_validate_uc_list): New variable.
(gigi): Call validate_unchecked_conversion on gnat_validate_uc_list
after the translation is completed. Call destroy_gnat_to_gnu and
destroy_dummy_type at the end.
(Subprogram_Body_to_gnu): Do not call mark_out_of_scope.
(gnat_to_gnu) <N_Block_Statement>: Likewise.
<N_Validate_Unchecked_Conversion>: Do not process the node, only push
it onto gnat_validate_uc_list.
(validate_unchecked_conversion): New function.
From-SVN: r186956
Diffstat (limited to 'gcc/ada/gcc-interface/gigi.h')
| -rw-r--r-- | gcc/ada/gcc-interface/gigi.h | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/gcc/ada/gcc-interface/gigi.h b/gcc/ada/gcc-interface/gigi.h index c507615..fb1106f 100644 --- a/gcc/ada/gcc-interface/gigi.h +++ b/gcc/ada/gcc-interface/gigi.h @@ -108,10 +108,6 @@ extern Entity_Id Gigi_Equivalent_Type (Entity_Id gnat_entity); be elaborated at the point of its definition, but do nothing else. */ extern void elaborate_entity (Entity_Id gnat_entity); -/* Mark GNAT_ENTITY as going out of scope at this point. Recursively mark - any entities on its entity chain similarly. */ -extern void mark_out_of_scope (Entity_Id gnat_entity); - /* Get the unpadded version of a GNAT type. */ extern tree get_unpadded_type (Entity_Id gnat_entity); @@ -504,6 +500,9 @@ extern tree convert_to_index_type (tree expr); /* Initialize the association of GNAT nodes to GCC trees. */ extern void init_gnat_to_gnu (void); +/* Destroy the association of GNAT nodes to GCC trees. */ +extern void destroy_gnat_to_gnu (void); + /* GNAT_ENTITY is a GNAT tree node for a defining identifier. GNU_DECL is the GCC tree which is to be associated with GNAT_ENTITY. Such gnu tree node is always an ..._DECL node. @@ -523,6 +522,9 @@ extern bool present_gnu_tree (Entity_Id gnat_entity); /* Initialize the association of GNAT nodes to GCC trees as dummies. */ extern void init_dummy_type (void); +/* Destroy the association of GNAT nodes to GCC trees as dummies. */ +extern void destroy_dummy_type (void); + /* Make a dummy type corresponding to GNAT_TYPE. */ extern tree make_dummy_type (Entity_Id gnat_type); |