diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-21 10:27:18 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-21 10:27:18 +0200 |
| commit | b1d8d2290fc30f9a25da4c7dececc52c9161eddd (patch) | |
| tree | 8f24cff4e183dbcf3d1df7b57f1ac02c3bf66e7c /gcc | |
| parent | 78bc7fe67eb33a3d1da7fff70f634a050479a5e8 (diff) | |
| download | gcc-b1d8d2290fc30f9a25da4c7dececc52c9161eddd.zip gcc-b1d8d2290fc30f9a25da4c7dececc52c9161eddd.tar.gz gcc-b1d8d2290fc30f9a25da4c7dececc52c9161eddd.tar.bz2 | |
Minor reformatting.
From-SVN: r235310
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/freeze.ads | 23 | ||||
| -rw-r--r-- | gcc/ada/sem_attr.adb | 4 |
2 files changed, 13 insertions, 14 deletions
diff --git a/gcc/ada/freeze.ads b/gcc/ada/freeze.ads index d950381..81f2e00 100644 --- a/gcc/ada/freeze.ads +++ b/gcc/ada/freeze.ads @@ -188,18 +188,17 @@ package Freeze is -- actions in the enclosing list and reset the attribute. function Freeze_Entity - (E : Entity_Id; - N : Node_Id; - F_P : Boolean := True) return List_Id; + (E : Entity_Id; + N : Node_Id; + Do_Freeze_Profile : Boolean := True) return List_Id; -- Freeze an entity, and return Freeze nodes, to be inserted at the point -- of call. N is a node whose source location corresponds to the freeze -- point. This is used in placing warning messages in the situation where -- it appears that a type has been frozen too early, e.g. when a primitive -- operation is declared after the freezing point of its tagged type. - -- Returns No_List if no freeze nodes needed. - -- The defaulted parameter F_P is used when E is a subprogram, and - -- determines whether the profile of the subprogram should be frozen as - -- well. + -- Returns No_List if no freeze nodes needed. Parameter Do_Freeze_Profile + -- is used when E is a subprogram, and determines whether the profile of + -- the subprogram should be frozen as well. procedure Freeze_All (From : Entity_Id; After : in out Node_Id); -- Before a non-instance body, or at the end of a declarative part, @@ -216,11 +215,11 @@ package Freeze is -- frozen entities. procedure Freeze_Before - (N : Node_Id; - T : Entity_Id; - F_P : Boolean := True); - -- Freeze T then Insert the generated Freeze nodes before the node N - -- The flag F_P is used when T is an overloadable entity, and indicates + (N : Node_Id; + T : Entity_Id; + Do_Freeze_Profile : Boolean := True); + -- Freeze T then Insert the generated Freeze nodes before the node N. Flag + -- Do_Freeze_Profile is used when T is an overloadable entity and indicates -- whether its profile should be frozen at the same time. procedure Freeze_Expression (N : Node_Id); diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb index 099a1b8..db02aa5 100644 --- a/gcc/ada/sem_attr.adb +++ b/gcc/ada/sem_attr.adb @@ -10165,7 +10165,7 @@ package body Sem_Attr is -- the subprogram is not frozen at this point. if not In_Spec_Expression then - Freeze_Before (N, Entity (P), False); + Freeze_Before (N, Entity (P), Do_Freeze_Profile => False); end if; -- If it is a type, there is nothing to resolve. @@ -10174,7 +10174,7 @@ package body Sem_Attr is elsif Is_Overloadable (Entity (P)) then if not In_Spec_Expression then - Freeze_Before (N, Entity (P), False); + Freeze_Before (N, Entity (P), Do_Freeze_Profile => False); end if; -- Nothing to do if prefix is a type name |