From: Eric Botcazou Date: Sat, 9 May 2020 21:08:18 +0000 (+0200) Subject: Add assertion for access attributes X-Git-Tag: upstream/12.2.0~16708 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=a5720c08a32e5a716f3c5cf25dc1e4e90381da05;p=platform%2Fupstream%2Fgcc.git Add assertion for access attributes * gcc-interface/trans.c (Attribute_to_gnu) : Assert that the prefix is not a type. --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 538973e..5e83726 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5 +1,10 @@ 2020-05-09 Eric Botcazou + * gcc-interface/trans.c (Attribute_to_gnu) : Assert that + the prefix is not a type. + +2020-05-09 Eric Botcazou + * 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 --- 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