From fba9ebfc51f21a9ba4848c721bb925078737b024 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Wed, 22 Jan 2014 17:53:24 +0100 Subject: [multiple changes] 2014-01-22 Thomas Quinot * rtsfind.adb: Update comment. 2014-01-22 Hristian Kirtchev * sem_aux.ads, sem_aux.adb (Is_Body): New routine. * sem_ch3.adb (Analyze_Declarations): Add local variable Body_Seen. Generate the spec of a late controlled primitive body that is about to freeze its related type. (Handle_Late_Controlled_Primitive): New routine. 2014-01-22 Robert Dewar * a-stream.adb: Minor reformatting. 2014-01-22 Ed Schonberg * sem_ch8.adb (From_Actual_Package): Introduce a recursive sub-procedure Declared_In_Actual to handle properly the visibility of actuals in actual packages, that are themselves actuals to a actual package of the current instance. This mimics properly the visibility of formals of formal packages declared with a box, within the corresponding generic unit. 2014-01-22 Robert Dewar * checks.adb: Do not assume that a volatile variable is valid. 2014-01-22 Thomas Quinot * g-catiio.ads (Image, Value): Clarify that these functions operate in the local time zone. Minor documentation update. 2014-01-22 Thomas Quinot * csets.adb, csets.ads, opt.ads: Minor documentation fixes. From-SVN: r206930 --- gcc/ada/sem_aux.ads | 3 +++ 1 file changed, 3 insertions(+) (limited to 'gcc/ada/sem_aux.ads') diff --git a/gcc/ada/sem_aux.ads b/gcc/ada/sem_aux.ads index ed218d7..9f574ec 100644 --- a/gcc/ada/sem_aux.ads +++ b/gcc/ada/sem_aux.ads @@ -259,6 +259,9 @@ package Sem_Aux is -- or subtype. This is true if Suppress_Initialization is set either for -- the subtype itself, or for the corresponding base type. + function Is_Body (N : Node_Id) return Boolean; + -- Determine whether an arbitrary node denotes a body + function Is_By_Copy_Type (Ent : Entity_Id) return Boolean; -- Ent is any entity. Returns True if Ent is a type entity where the type -- is required to be passed by copy, as defined in (RM 6.2(3)). -- cgit v1.1