diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2010-09-09 10:11:05 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-09-09 12:11:05 +0200 |
| commit | 855f2f8c94dd2a52d39c17440363c91d51c54035 (patch) | |
| tree | 4f5a9482cabbdb687dc789271a2f6e637828d864 | |
| parent | 5042f726c5a4e41d6e52c7dcb21e31259342d311 (diff) | |
| download | gcc-855f2f8c94dd2a52d39c17440363c91d51c54035.zip gcc-855f2f8c94dd2a52d39c17440363c91d51c54035.tar.gz gcc-855f2f8c94dd2a52d39c17440363c91d51c54035.tar.bz2 | |
einfo.adb, einfo.ads: Clarify use of Corresponding_Protected_Entry.
2010-09-09 Ed Schonberg <schonberg@adacore.com>
* einfo.adb, einfo.ads: Clarify use of Corresponding_Protected_Entry.
From-SVN: r164066
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ada/einfo.adb | 2 | ||||
| -rw-r--r-- | gcc/ada/einfo.ads | 5 |
3 files changed, 9 insertions, 2 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 97aa882..3a57b87 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2010-09-09 Ed Schonberg <schonberg@adacore.com> + + * einfo.adb, einfo.ads: Clarify use of Corresponding_Protected_Entry. + 2010-09-09 Javier Miranda <miranda@adacore.com> * sem_ch3.adb (Is_Progenitor): Relocated to sem_type. diff --git a/gcc/ada/einfo.adb b/gcc/ada/einfo.adb index 95dc331..21320af 100644 --- a/gcc/ada/einfo.adb +++ b/gcc/ada/einfo.adb @@ -726,6 +726,8 @@ package body Einfo is function Corresponding_Protected_Entry (Id : E) return E is begin + pragma Assert + (Ekind (Id) = E_Subprogram_Body); return Node18 (Id); end Corresponding_Protected_Entry; diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads index db19b39..3dd0a5c 100644 --- a/gcc/ada/einfo.ads +++ b/gcc/ada/einfo.ads @@ -632,8 +632,8 @@ package Einfo is -- where Comes_From_Source is always False. -- Corresponding_Protected_Entry (Node18) --- Present in subrogram bodies that implement entries of protected --- types. +-- Present in subrogram bodies. Denotes the entry of a protected type +-- that is implemented by the subprogram body. -- Corresponding_Record_Type (Node18) -- Present in protected and task types and subtypes. References the @@ -5439,6 +5439,7 @@ package Einfo is -- E_Subprogram_Body -- Mechanism (Uint8) -- First_Entity (Node17) + -- Corresponding_Protected_Entry (Node18) -- Last_Entity (Node20) -- Scope_Depth_Value (Uint22) -- Scope_Depth (synth) |