Minor reformatting.
authorArnaud Charlet <charlet@gcc.gnu.org>
Wed, 6 Sep 2017 10:09:55 +0000 (12:09 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 6 Sep 2017 10:09:55 +0000 (12:09 +0200)
From-SVN: r251769

gcc/ada/exp_attr.adb
gcc/ada/sem_attr.adb
gcc/ada/sem_util.ads

index 456c1cb..d537cf3 100644 (file)
@@ -1597,8 +1597,8 @@ package body Exp_Attr is
       procedure Rewrite_Object_Reference_Image
         (Name    : Name_Id;
          Str_Typ : Entity_Id);
-      --  Rewrite an 'Image attribute applied to an object reference for
-      --  AI12-0012401 into an attribute applied to a type.
+      --  Rewrite an Image attribute applied to an object reference for
+      --  AI12-00124 into an attribute applied to a type.
 
       procedure Rewrite_Stream_Proc_Call (Pname : Entity_Id);
       --  Rewrites a stream attribute for Read, Write or Output with the
index 44320b8..87dc50f 100644 (file)
@@ -364,7 +364,7 @@ package body Sem_Attr is
       --  Check that P is an object reference
 
       procedure Check_Object_Reference_Image (Str_Typ : Entity_Id);
-      --  Verify that the prefix of an image attribute....
+      --  Verify that the prefix of an image attribute.... ???
 
       procedure Check_PolyORB_Attribute;
       --  Validity checking for PolyORB/DSA attribute
index 1656c40..6db454b 100644 (file)
@@ -1602,13 +1602,13 @@ package Sem_Util is
      (Prefix : Node_Id;
       P_Typ  : Entity_Id) return Boolean;
    --  Returns true if an 'Image, 'Wide_Image, or 'Wide_Wide_Image attribute
-   --  can be applied to a given object-reference prefix (see AI12-00124-1).
+   --  can be applied to a given object-reference prefix (see AI12-00124).
 
-   --  AI12-00124-1 : The ARG has adopted the GNAT semantics of 'Img for
-   --  scalar types, so that the prefix can be an object and not a type,
-   --  and there is no need for an argument. Given the vote of confidence
-   --  from the ARG, simplest is to transform this new usage of 'Image
-   --  into a reference to 'Img.
+   --  AI12-00124: The ARG has adopted the GNAT semantics of 'Img for scalar
+   --  types, so that the prefix can be an object and not a type, and there is
+   --  no need for an argument. Given the vote of confidence from the ARG,
+   --  simplest is to transform this new usage of 'Image into a reference to
+   --  'Img.
 
    function Is_Inherited_Operation (E : Entity_Id) return Boolean;
    --  E is a subprogram. Return True is E is an implicit operation inherited