]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
Minor reformatting.
authorArnaud Charlet <charlet@gcc.gnu.org>
Thu, 10 Oct 2013 13:17:33 +0000 (15:17 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 10 Oct 2013 13:17:33 +0000 (15:17 +0200)
From-SVN: r203375

gcc/ada/sinfo.ads

index 9d7e4422cde81e0a5fb6879e9508920281c8921a..2670c6ab4c771de03fb079ecbe09fbe3d64e87b6 100644 (file)
@@ -936,11 +936,12 @@ package Sinfo is
 
    --    A special case arises for the arguments of the Pred/Succ attributes.
    --    Here the range check needed is against First + 1 ..  Last (Pred) or
-   --    First .. Last - 1 (Succ). Essentially these checks are what would be
-   --    performed within the implicit body of the functions that correspond
-   --    to these attributes. In these cases, the Do_Range check flag is set
-   --    on the argument to the attribute function, and the back end must
-   --    special case the appropriate range to check against.
+   --    First .. Last - 1 (Succ) of the corresponding base type. Essentially
+   --    these checks are what would be performed within the implicit body of
+   --    the functions that correspond to these attributes. In these cases,
+   --    the Do_Range check flag is set on the argument to the attribute
+   --    function, and the back end must special case the appropriate range
+   --    to check against.
 
    --  Do_Storage_Check (Flag17-Sem)
    --    This flag is set in an N_Allocator node to indicate that a storage