+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.
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
-- 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))
-- 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
-- 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