diff options
Diffstat (limited to 'gcc/ada/gcc-interface/utils.c')
| -rw-r--r-- | gcc/ada/gcc-interface/utils.c | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/gcc/ada/gcc-interface/utils.c b/gcc/ada/gcc-interface/utils.c index 41f83bf..123c3a5 100644 --- a/gcc/ada/gcc-interface/utils.c +++ b/gcc/ada/gcc-interface/utils.c @@ -231,6 +231,15 @@ init_gnat_to_gnu (void) associate_gnat_to_gnu = ggc_alloc_cleared_vec_tree (max_gnat_nodes); } +/* Destroy the association of GNAT nodes to GCC trees. */ + +void +destroy_gnat_to_gnu (void) +{ + ggc_free (associate_gnat_to_gnu); + associate_gnat_to_gnu = NULL; +} + /* GNAT_ENTITY is a GNAT tree node for an entity. Associate GNU_DECL, a GCC tree node, with GNAT_ENTITY. If GNU_DECL is not a ..._DECL node, abort. If NO_CHECK is true, the latter check is suppressed. @@ -280,6 +289,15 @@ init_dummy_type (void) dummy_node_table = ggc_alloc_cleared_vec_tree (max_gnat_nodes); } +/* Destroy the association of GNAT nodes to GCC trees as dummies. */ + +void +destroy_dummy_type (void) +{ + ggc_free (dummy_node_table); + dummy_node_table = NULL; +} + /* Make a dummy type corresponding to GNAT_TYPE. */ tree |