FreeChainXenon/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

[multiple changes]

Browse source 
2011-08-01  Robert Dewar  <dewar@adacore.com>

	* exp_ch4.adb, sem_cat.adb: Minor reformatting.

2011-08-01  Geert Bosch  <bosch@adacore.com>

	* atree.ads: Fix comment.

From-SVN: r177023
This commit is contained in:
Arnaud Charlet 2011-08-01 14:37:10 +02:00
parent 460b171de5
commit e7d897b851
4 changed files with 17 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
gcc/ada/ChangeLog
View file

@ -1,3 +1,11 @@
2011-08-01 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb, sem_cat.adb: Minor reformatting.
2011-08-01 Geert Bosch <bosch@adacore.com>
* atree.ads: Fix comment.
2011-08-01 Robert Dewar <dewar@adacore.com>
* aspects.ads, aspects.adb (Aspect_Names): Moved from body to spec.

6
gcc/ada/atree.ads
View file

@ -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

6
gcc/ada/exp_ch4.adb
View file

@ -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

6
gcc/ada/sem_cat.adb
View file

@ -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