diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-10-10 15:17:33 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-10-10 15:17:33 +0200 |
| commit | 20921a97e16f3f6fe229b7a8463e63d6d6b65f98 (patch) | |
| tree | bf46a89d0293fa4086d71ff3de83bfa691128194 | |
| parent | 08988ed947922e00ee6d0c0ecb9a6de01cdc7238 (diff) | |
| download | gcc-20921a97e16f3f6fe229b7a8463e63d6d6b65f98.zip gcc-20921a97e16f3f6fe229b7a8463e63d6d6b65f98.tar.gz gcc-20921a97e16f3f6fe229b7a8463e63d6d6b65f98.tar.bz2 | |
Minor reformatting.
From-SVN: r203375
| -rw-r--r-- | gcc/ada/sinfo.ads | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads index 9d7e442..2670c6a 100644 --- a/gcc/ada/sinfo.ads +++ b/gcc/ada/sinfo.ads @@ -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 |