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.ads | |
| 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.ads')
| -rw-r--r-- | gcc/ada/restrict.ads | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gcc/ada/restrict.ads b/gcc/ada/restrict.ads index d7b05d4..1d9d67f 100644 --- a/gcc/ada/restrict.ads +++ b/gcc/ada/restrict.ads @@ -332,10 +332,10 @@ package Restrict is -- exception propagation is activated. function Process_Restriction_Synonyms (N : Node_Id) return Name_Id; - -- Id is a node whose Chars field contains the name of a restriction. If it - -- is one of synonyms that we allow for historical purposes (for list see - -- Rident), then the proper official name is returned. Otherwise the Chars - -- field of the argument is returned unchanged. + -- Id is a node whose Chars field contains the name of a restriction. + -- If it is one of synonyms that we allow for historical purposes (for + -- list see System.Rident), then the proper official name is returned. + -- Otherwise the Chars field of the argument is returned unchanged. function Restriction_Active (R : All_Restrictions) return Boolean; pragma Inline (Restriction_Active); |