aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/exp_ch7.adb
diff options
context:
space:
mode:
authorArnaud Charlet <charlet@gcc.gnu.org>2009-04-17 11:57:27 +0200
committerArnaud Charlet <charlet@gcc.gnu.org>2009-04-17 11:57:27 +0200
commitbf327c92ead248cae1afba338d72bb7116dfc783 (patch)
tree56bb55c5ed960e6123da600a44f94e66b80ba0ea /gcc/ada/exp_ch7.adb
parentffec8e81da21c8fd1726d4e5dbf4800aa0fe9e88 (diff)
downloadgcc-bf327c92ead248cae1afba338d72bb7116dfc783.zip
gcc-bf327c92ead248cae1afba338d72bb7116dfc783.tar.gz
gcc-bf327c92ead248cae1afba338d72bb7116dfc783.tar.bz2
[multiple changes]
2009-04-17 Thomas Quinot <quinot@adacore.com> * exp_ch7.adb: Minor reformatting 2009-04-17 Robert Dewar <dewar@adacore.com> * restrict.adb (Check_Restriction_No_Dependence): Don't check restriction if outside main extended source unit. * sem_ch10.adb (Analyze_With_Clause): Check No_Dependence restriction for parents of child units as well as the child unit itself. 2009-04-17 Bob Duff <duff@adacore.com> * checks.ads: Minor comment fix * exp_aggr.ads: Minor comment fix 2009-04-17 Nicolas Roche <roche@adacore.com> * adaint.c: Improve cross compiler detection and handling. From-SVN: r146236
Diffstat (limited to 'gcc/ada/exp_ch7.adb')
-rw-r--r--gcc/ada/exp_ch7.adb40
1 files changed, 20 insertions, 20 deletions
diff --git a/gcc/ada/exp_ch7.adb b/gcc/ada/exp_ch7.adb
index b46d577..acd7887 100644
--- a/gcc/ada/exp_ch7.adb
+++ b/gcc/ada/exp_ch7.adb
@@ -1371,36 +1371,36 @@ package body Exp_Ch7 is
end if;
-- Resolution is now finished, make sure we don't start analysis again
- -- because of the duplication
+ -- because of the duplication.
Set_Analyzed (N);
Ref := Duplicate_Subexpr_No_Checks (N);
- -- Now we can generate the Attach Call, note that this value is
- -- always in the (secondary) stack and thus is attached to a singly
- -- linked final list:
+ -- Now we can generate the Attach Call. Note that this value is always
+ -- on the (secondary) stack and thus is attached to a singly linked
+ -- final list:
-- Resx := F (X)'reference;
-- Attach_To_Final_List (_Lx, Resx.all, 1);
- -- or when there are controlled components
+ -- or when there are controlled components:
-- Attach_To_Final_List (_Lx, Resx._controller, 1);
- -- or when it is both is_controlled and has_controlled_components
+ -- or when it is both Is_Controlled and Has_Controlled_Components:
-- Attach_To_Final_List (_Lx, Resx._controller, 1);
-- Attach_To_Final_List (_Lx, Resx, 1);
- -- or if it is an array with is_controlled (and has_controlled)
+ -- or if it is an array with Is_Controlled (and Has_Controlled)
-- Attach_To_Final_List (_Lx, Resx (Resx'last), 3);
- -- An attach level of 3 means that a whole array is to be
- -- attached to the finalization list (including the controlled
- -- components)
- -- or if it is an array with has_controlled components but not
- -- is_controlled
+ -- An attach level of 3 means that a whole array is to be attached to
+ -- the finalization list (including the controlled components).
+
+ -- or if it is an array with Has_Controlled_Components but not
+ -- Is_Controlled:
-- Attach_To_Final_List (_Lx, Resx (Resx'last)._controller, 3);
@@ -1466,8 +1466,8 @@ package body Exp_Ch7 is
end if;
end;
- -- Here we know that 'Ref' has a controller so we may as well
- -- attach it directly
+ -- Here we know that 'Ref' has a controller so we may as well attach
+ -- it directly.
Action :=
Make_Attach_Call (
@@ -1485,12 +1485,12 @@ package body Exp_Ch7 is
With_Attach => Make_Integer_Literal (Loc, Attach_Level));
end if;
- -- Here, we have a controlled type that does not seem to have
- -- controlled components but it could be a class wide type whose
- -- further derivations have controlled components. So we don't know
- -- if the object itself needs to be attached or if it has a record
- -- controller. We need to call a runtime function (Deep_Tag_Attach)
- -- which knows what to do thanks to the RC_Offset in the dispatch table.
+ -- Here, we have a controlled type that does not seem to have controlled
+ -- components but it could be a class wide type whose further
+ -- derivations have controlled components. So we don't know if the
+ -- object itself needs to be attached or if it has a record controller.
+ -- We need to call a runtime function (Deep_Tag_Attach) which knows what
+ -- to do thanks to the RC_Offset in the dispatch table.
else
Action :=