diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-18 12:30:27 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-18 12:30:27 +0200 |
| commit | 0f6251c7acd787aa24e0e527344d8ac4884a04a2 (patch) | |
| tree | 4edfa88d7a11a5e1fa7511f1f5b7e7a102dd9e98 /gcc/ada/sem_prag.ads | |
| parent | 070d862dde98557eab8c9ecb0adb4ca504503777 (diff) | |
| download | gcc-0f6251c7acd787aa24e0e527344d8ac4884a04a2.zip gcc-0f6251c7acd787aa24e0e527344d8ac4884a04a2.tar.gz gcc-0f6251c7acd787aa24e0e527344d8ac4884a04a2.tar.bz2 | |
[multiple changes]
2016-04-18 Eric Botcazou <ebotcazou@adacore.com>
* layout.adb (Set_Elem_Alignment): Extend setting of alignment
to subtypes that are not first subtypes.
2016-04-18 Ed Schonberg <schonberg@adacore.com>
* sem_prag.ads (Collect_Inherited_Class_Wide_Conditions):
Simplify interface.
* sem_prag.adb (Collect_Inherited_Class_Wide_Conditions): Insert
generated pragmas after subprogram declaration, rather than in
the corresponding subprogram body.
* sem_ch6.adb (New_Overloaded_Entity): In GNATProve
mode, if the operation is overridding, call
Collect_Inherited_Class_Wide_Conditions to generate the
corresponding pragmas immediately after the corresponding
subprogram declaration.
2016-04-18 Arnaud Charlet <charlet@adacore.com>
* spark_xrefs.ads (Xref_Index, Scope_Index, File_Index): restrict
type to natural numbers.
(Stype): document code characters for concurrent entities.
2016-04-18 Olivier Hainque <hainque@adacore.com>
* targparm.ads: Update the Frontend_Exceptions default internal
value.
(Frontend_Exceptions_On_Target): Change default value to True.
2016-04-18 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Analyze_Selected_Component): Refine error
detection when a selected component in the body of a synchronized
type is a reference to an object of the same type declared
elsewhere. The construct is legal if the prefix of the selected
component includes an explicit dereference at any point.
From-SVN: r235118
Diffstat (limited to 'gcc/ada/sem_prag.ads')
| -rw-r--r-- | gcc/ada/sem_prag.ads | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/gcc/ada/sem_prag.ads b/gcc/ada/sem_prag.ads index a78478e..7afb6e6 100644 --- a/gcc/ada/sem_prag.ads +++ b/gcc/ada/sem_prag.ads @@ -311,12 +311,12 @@ package Sem_Prag is -- state, variable or package instantiation denoted by Item_Id requires the -- use of indicator/option Part_Of. If this is the case, emit an error. - procedure Collect_Inherited_Class_Wide_Conditions - (Subp : Entity_Id; - Bod : Node_Id); - -- When analyzing an overriding subprogram, check whether the overridden - -- operations have class-wide pre/postconditions, and generate the - -- corresponding pragmas. + procedure Collect_Inherited_Class_Wide_Conditions (Subp : Entity_Id); + -- In GNATprove mode, when analyzing an overriding subprogram, check + -- whether the overridden operations have class-wide pre/postconditions, + -- and generate the corresponding pragmas. The pragmas are inserted after + -- the subprogram declaration, together with those generated for other + -- aspects of the subprogram. procedure Collect_Subprogram_Inputs_Outputs (Subp_Id : Entity_Id; |