Add assertion for access attributes

	* gcc-interface/trans.c (Attribute_to_gnu) <Attr_Access>: Assert
	that the prefix is not a type.

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 538973e..5e83726 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,5 +1,10 @@
 2020-05-09  Eric Botcazou  <ebotcazou@adacore.com>
 
+       * gcc-interface/trans.c (Attribute_to_gnu) <Attr_Access>: Assert that
+       the prefix is not a type.
+
+2020-05-09  Eric Botcazou  <ebotcazou@adacore.com>
+
        * gcc-interface/ada-tree.h (TYPE_PACKED_ARRAY_TYPE_P): Rename into...
        (TYPE_BIT_PACKED_ARRAY_TYPE_P): ...this.
        (TYPE_IS_PACKED_ARRAY_TYPE_P): Rename into...

diff --git a/gcc/ada/gcc-interface/trans.c b/gcc/ada/gcc-interface/trans.c
index a2f06d7..48c0380 100644 (file)
--- a/gcc/ada/gcc-interface/trans.c
+++ b/gcc/ada/gcc-interface/trans.c
@@ -2302,6 +2302,9 @@ Attribute_to_gnu (Node_Id gnat_node, tree *gnu_result_type_p, int attribute)
     case Attr_Access:
     case Attr_Unchecked_Access:
     case Attr_Code_Address:
+      /* Taking the address of a type does not make sense.  */
+      gcc_assert (TREE_CODE (gnu_prefix) != TYPE_DECL);
+
       gnu_result_type = get_unpadded_type (Etype (gnat_node));
       gnu_result
        = build_unary_op (((attribute == Attr_Address