From 50ec6b04729a8e064d032ff83d3d67b6a33c6a73 Mon Sep 17 00:00:00 2001 From: charlet Date: Thu, 9 Sep 2010 10:11:05 +0000 Subject: [PATCH] 2010-09-09 Ed Schonberg * 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 --- gcc/ada/ChangeLog | 4 ++++ gcc/ada/einfo.adb | 2 ++ 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 + + * einfo.adb, einfo.ads: Clarify use of Corresponding_Protected_Entry. + 2010-09-09 Javier Miranda * 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) -- 2.7.4