From: Eric Botcazou Date: Sat, 9 May 2020 21:08:18 +0000 (+0200) Subject: Add assertion for access attributes X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a5720c08a32e5a716f3c5cf25dc1e4e90381da05;p=gcc.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 538973eac9a..5e8372658b2 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +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... diff --git a/gcc/ada/gcc-interface/trans.c b/gcc/ada/gcc-interface/trans.c index a2f06d774d3..48c03804956 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