From 1f1b69e56f6bbc82cbd134dbbfe1743c92fb17d7 Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Sun, 26 May 2013 10:23:23 +0000 Subject: [PATCH] decl.c: (gnat_to_gnu_entity): In ASIS mode, do not check that access types have a set size. * gcc-interface/decl.c: (gnat_to_gnu_entity): In ASIS mode, do not check that access types have a set size. From-SVN: r199343 --- gcc/ada/ChangeLog | 5 +++++ gcc/ada/gcc-interface/decl.c | 9 ++++++--- 2 files changed, 11 insertions(+), 3 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index efe59e0fcfa..b9d47e2fa1b 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2013-05-26 Eric Botcazou + + * gcc-interface/decl.c: (gnat_to_gnu_entity): In ASIS mode, do not + check that access types have a set size. + 2013-05-26 Eric Botcazou * gcc-interface/decl.c (vinfo_t): New type and associated vector. diff --git a/gcc/ada/gcc-interface/decl.c b/gcc/ada/gcc-interface/decl.c index 26e3944df37..31bdf5b13f8 100644 --- a/gcc/ada/gcc-interface/decl.c +++ b/gcc/ada/gcc-interface/decl.c @@ -311,8 +311,10 @@ gnat_to_gnu_entity (Entity_Id gnat_entity, tree gnu_expr, int definition) return gnu_decl; } - /* If this is a numeric or enumeral type, or an access type, a nonzero - Esize must be specified unless it was specified by the programmer. */ + /* If this is a numeric or enumeral type, or an access type, a nonzero Esize + must be specified unless it was specified by the programmer. Exceptions + are for access-to-protected-subprogram types and all access subtypes, as + another GNAT type is used to lay out the GCC type for them. */ gcc_assert (!Unknown_Esize (gnat_entity) || Has_Size_Clause (gnat_entity) || (!IN (kind, Numeric_Kind) @@ -320,7 +322,8 @@ gnat_to_gnu_entity (Entity_Id gnat_entity, tree gnu_expr, int definition) && (!IN (kind, Access_Kind) || kind == E_Access_Protected_Subprogram_Type || kind == E_Anonymous_Access_Protected_Subprogram_Type - || kind == E_Access_Subtype))); + || kind == E_Access_Subtype + || type_annotate_only))); /* The RM size must be specified for all discrete and fixed-point types. */ gcc_assert (!(IN (kind, Discrete_Or_Fixed_Point_Kind) -- 2.30.2