From: Arnaud Charlet Date: Mon, 1 Aug 2011 12:37:10 +0000 (+0200) Subject: [multiple changes] X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e7d897b851a301c69124a1c94a13d3d766649757;p=gcc.git [multiple changes] 2011-08-01 Robert Dewar * exp_ch4.adb, sem_cat.adb: Minor reformatting. 2011-08-01 Geert Bosch * atree.ads: Fix comment. From-SVN: r177023 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 100a2980779..984e7b3450b 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,11 @@ +2011-08-01 Robert Dewar + + * exp_ch4.adb, sem_cat.adb: Minor reformatting. + +2011-08-01 Geert Bosch + + * atree.ads: Fix comment. + 2011-08-01 Robert Dewar * aspects.ads, aspects.adb (Aspect_Names): Moved from body to spec. diff --git a/gcc/ada/atree.ads b/gcc/ada/atree.ads index 386dcefa820..40d4d8e5d3a 100644 --- a/gcc/ada/atree.ads +++ b/gcc/ada/atree.ads @@ -819,9 +819,9 @@ package Atree is function Is_Rewrite_Insertion (Node : Node_Id) return Boolean; pragma Inline (Is_Rewrite_Insertion); - -- Tests whether the given node was marked using Set_Rewrite_Insert. This - -- is used in reconstructing the original tree (where such nodes are to - -- be eliminated from the reconstructed tree). + -- Tests whether the given node was marked using Mark_Rewrite_Insertion. + -- This is used in reconstructing the original tree (where such nodes are + -- to be eliminated from the reconstructed tree). procedure Rewrite (Old_Node, New_Node : Node_Id); -- This is used when a complete subtree is to be replaced. Old_Node is the diff --git a/gcc/ada/exp_ch4.adb b/gcc/ada/exp_ch4.adb index 3256cc4d779..2213ec5840b 100644 --- a/gcc/ada/exp_ch4.adb +++ b/gcc/ada/exp_ch4.adb @@ -7693,7 +7693,7 @@ package body Exp_Ch4 is -- copy. We don't want to copy complex expressions, and -- indeed to do so can cause trouble (before we put in -- this guard, a discriminant expression containing an - -- AND THEN was copied, causing problems to coverage + -- AND THEN was copied, causing problems for coverage -- analysis tools). if Disc = Entity (Selector_Name (N)) @@ -7723,8 +7723,8 @@ package body Exp_Ch4 is -- fact incorrect. elsif Is_Entity_Name (Dval) - and then Nkind (Parent (Entity (Dval))) - = N_Object_Declaration + and then Nkind (Parent (Entity (Dval))) = + N_Object_Declaration and then Present (Expression (Parent (Entity (Dval)))) and then not Is_Static_Expression diff --git a/gcc/ada/sem_cat.adb b/gcc/ada/sem_cat.adb index e262dc71835..83d3d6a1c5b 100644 --- a/gcc/ada/sem_cat.adb +++ b/gcc/ada/sem_cat.adb @@ -1271,9 +1271,9 @@ package body Sem_Cat is -- For controlled type or type with controlled component, check -- preelaboration flag, as there may be a non-null Initialize -- primitive. For language versions earlier than Ada 2005, - -- there is no notion of preelaborable initialization, and the - -- rules for controlled objects are enforced in - -- Validate_Controlled_Object. + -- there is no notion of preelaborable initialization, and + -- Validate_Controlled_Object is used to enforce rules for + -- controlled objects. if (Is_Controlled (ET) or else Has_Controlled_Component (ET)) and then Ada_Version >= Ada_2005