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
This commit is contained in:
parent
a4ba1151df
commit
8d5a1b4f64
|
@ -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>:
|
||||
|
|
|
@ -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)
|
||||
|
|
Loading…
Reference in New Issue