2010-09-09 Ed Schonberg <schonberg@adacore.com>

	* einfo.adb, einfo.ads: Clarify use of Corresponding_Protected_Entry.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164066 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 97aa882..3a57b87 100644 (file)
--- 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 (file)
--- 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 (file)
--- 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)