decl.c (gnat_to_gnu_entity): In assertion about known Esize...

	* gcc-interface/decl.c (gnat_to_gnu_entity): In assertion about known
	Esize, protect with !is_type and change !Unknown_Esize to Known_Esize.

From-SVN: r242363

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 695518d5552847184a4677ee88bc976c697a5c22..b1865045d9f1f4c77830290b62982adacc7b3be5 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2016-11-13  Bob Duff  <duff@adacore.com>
+
+       * gcc-interface/decl.c (gnat_to_gnu_entity): In assertion about known
+       Esize, protect with !is_type and change !Unknown_Esize to Known_Esize.
+
 2016-11-13  Eric Botcazou  <ebotcazou@adacore.com>
 
        * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Signed_Integer_Subtype>:

diff --git a/gcc/ada/gcc-interface/decl.c b/gcc/ada/gcc-interface/decl.c
index c023e31a6d238ff5ddf53e5ec6fc754cbf2593f5..9de85ef8e4b066926be1e3923bb928a2ab2f6773 100644 (file)
--- a/gcc/ada/gcc-interface/decl.c
+++ b/gcc/ada/gcc-interface/decl.c
@@ -388,7 +388,8 @@ gnat_to_gnu_entity (Entity_Id gnat_entity, tree gnu_expr, bool definition)
      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)
+  gcc_assert (!is_type
+             || Known_Esize (gnat_entity)
              || Has_Size_Clause (gnat_entity)
              || (!IN (kind, Numeric_Kind)
                  && !IN (kind, Enumeration_Kind)