From: Piotr Trojanek <trojanek@adacore.com>
Date: Fri, 2 Feb 2024 12:24:45 +0000 (+0100)
Subject: ada: Revert recent change for Put_Image and Object_Size attributes
X-Git-Tag: basepoints/gcc-16~9131
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=a0041595dc66c739eb02ab426692500847788739;p=thirdparty%2Fgcc.git

ada: Revert recent change for Put_Image and Object_Size attributes

Recent change for attribute Object_Size caused spurious errors when
restriction No_Implementation_Attributes is active and attribute
Object_Size is introduced by expansion of dispatching operations.

Temporarily revert that change for a further investigation.

gcc/ada/

	* sem_attr.adb (Attribute_22): Remove Put_Image and Object_Size.
	* sem_attr.ads (Attribute_Imp_Def): Restore Object_Size.
---

diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb
index b979ffdf0b1..65442d45a85 100644
--- a/gcc/ada/sem_attr.adb
+++ b/gcc/ada/sem_attr.adb
@@ -181,9 +181,7 @@ package body Sem_Attr is
      (Attribute_Enum_Rep                     |
       Attribute_Enum_Val                     |
       Attribute_Index                        |
-      Attribute_Object_Size                  |
-      Attribute_Preelaborable_Initialization |
-      Attribute_Put_Image                    => True,
+      Attribute_Preelaborable_Initialization => True,
       others                                 => False);
 
    --  The following array contains all attributes that imply a modification
diff --git a/gcc/ada/sem_attr.ads b/gcc/ada/sem_attr.ads
index 65b7b534711..4c9f27043c6 100644
--- a/gcc/ada/sem_attr.ads
+++ b/gcc/ada/sem_attr.ads
@@ -373,6 +373,17 @@ package Sem_Attr is
       --  other composite object passed by reference, there is no other way
       --  of specifying that a zero address should be passed.
 
+      -----------------
+      -- Object_Size --
+      -----------------
+
+      Attribute_Object_Size => True,
+      --  Type'Object_Size is the same as Type'Size for all types except
+      --  fixed-point types and discrete types. For fixed-point types and
+      --  discrete types, this attribute gives the size used for default
+      --  allocation of objects and components of the size. See section in
+      --  Einfo ("Handling of Type'Size values") for further details.
+
       -------------------------
       -- Passed_By_Reference --
       -------------------------