diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-07-12 12:49:10 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-07-12 12:49:10 +0200 |
| commit | 727e7b1a870bdc057c4cb6d7d09ef1b56a84f222 (patch) | |
| tree | 9754099aee8625dc123639e1fe1bb60689179ee3 /gcc/ada/restrict.adb | |
| parent | 03459f403ea66cc694767e8ca351cf6550e148a7 (diff) | |
| download | gcc-727e7b1a870bdc057c4cb6d7d09ef1b56a84f222.zip gcc-727e7b1a870bdc057c4cb6d7d09ef1b56a84f222.tar.gz gcc-727e7b1a870bdc057c4cb6d7d09ef1b56a84f222.tar.bz2 | |
[multiple changes]
2012-07-12 Robert Dewar <dewar@adacore.com>
* s-atopri.adb, s-atopri.ads: Minor reformatting.
2012-07-12 Robert Dewar <dewar@adacore.com>
* ali.adb: Add circuitry to read new named form of restrictions lines.
* debug.adb: Add doc for new -gnatd.R switch (used positional
notation for output of restrictions data in ali file).
* lib-writ.adb: Implement new named format for restrictions lines.
* lib-writ.ads: Add documentation for new named format for
restrictions in ali files.
* restrict.adb, restrict.ads, sem_prag.adb: Update comments.
* rident.ads: Go back to withing System.Rident
* s-rident.ads: Add extensive comment on dealing with consistency
checking.
2012-07-12 Thomas Quinot <quinot@adacore.com>
* par_sco.adb, scos.ads: Emit detailed SCOs for SELECT statements.
From-SVN: r189438
Diffstat (limited to 'gcc/ada/restrict.adb')
| -rw-r--r-- | gcc/ada/restrict.adb | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/gcc/ada/restrict.adb b/gcc/ada/restrict.adb index 4e428c4..6b3dc2a 100644 --- a/gcc/ada/restrict.adb +++ b/gcc/ada/restrict.adb @@ -541,10 +541,10 @@ package body Restrict is then null; - -- Here if restriction set, check for violation (either this is a - -- Boolean restriction, or a parameter restriction with a value of - -- zero and an unknown count, or a parameter restriction with a - -- known value that exceeds the restriction count). + -- Here if restriction set, check for violation (this is a Boolean + -- restriction, or a parameter restriction with a value of zero and an + -- unknown count, or a parameter restriction with a known value that + -- exceeds the restriction count). elsif R in All_Boolean_Restrictions or else (Restrictions.Unknown (R) @@ -768,7 +768,7 @@ package body Restrict is ---------------------------------- -- Note: body of this function must be coordinated with list of - -- renaming declarations in Rident. + -- renaming declarations in System.Rident. function Process_Restriction_Synonyms (N : Node_Id) return Name_Id is |