diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-25 11:06:09 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-25 11:06:09 +0200 |
| commit | 51148ddab1495aa357e57f1c209940f7cde571c1 (patch) | |
| tree | e8706f5d60b7ce819bcdad100a6c507b0da6abe0 /gcc/ada/exp_ch7.ads | |
| parent | b043ae011153849317d63552814f54104999eeb0 (diff) | |
| download | gcc-51148ddab1495aa357e57f1c209940f7cde571c1.zip gcc-51148ddab1495aa357e57f1c209940f7cde571c1.tar.gz gcc-51148ddab1495aa357e57f1c209940f7cde571c1.tar.bz2 | |
[multiple changes]
2017-04-25 Hristian Kirtchev <kirtchev@adacore.com>
* sem_util.adb (Check_Part_Of_Reference):
Continue to examine the context if the reference appears within
an expression function.
2017-04-25 Justin Squirek <squirek@adacore.com>
* exp_ch7.adb, exp_ch7.ads Remove Build_Invariant_Procedure_Body
and Build_Invariant_Procedure_Declaration.
* exp_util.ads, exp_util.adb Add Build_Invariant_Procedure_Body
and Build_Invariant_Procedure_Declaration from exp_ch7
and break-out Is_Untagged_Private_Derivation from
Build_Invariant_Procedure_Body.
(Replace_Type_References):
Append an extra parameter to allow for dispatching replacements
and add the corrasponding logic.
(Type_Invariant): Remove
Replace_Typ_Refs and replace its references with calls to
Replace_Type_References.
* sem_ch3.adb, sem_prag.adb: Remove with and use of exp_ch7.
From-SVN: r247152
Diffstat (limited to 'gcc/ada/exp_ch7.ads')
| -rw-r--r-- | gcc/ada/exp_ch7.ads | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/gcc/ada/exp_ch7.ads b/gcc/ada/exp_ch7.ads index 0db3df5..b0a8b0b 100644 --- a/gcc/ada/exp_ch7.ads +++ b/gcc/ada/exp_ch7.ads @@ -118,21 +118,6 @@ package Exp_Ch7 is -- finalization master must be analyzed. Insertion_Node is the insertion -- point before which the master is to be inserted. - procedure Build_Invariant_Procedure_Body - (Typ : Entity_Id; - Partial_Invariant : Boolean := False); - -- Create the body of the procedure which verifies the invariants of type - -- Typ at runtime. Flag Partial_Invariant should be set when Typ denotes a - -- private type, otherwise it is assumed that Typ denotes the full view of - -- a private type. - - procedure Build_Invariant_Procedure_Declaration - (Typ : Entity_Id; - Partial_Invariant : Boolean := False); - -- Create the declaration of the procedure which verifies the invariants of - -- type Typ at runtime. Flag Partial_Invariant should be set when building - -- the invariant procedure for a private type. - procedure Build_Late_Proc (Typ : Entity_Id; Nam : Name_Id); -- Build one controlling procedure when a late body overrides one of the -- controlling operations. |