diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 10:16:45 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 10:16:45 +0200 |
| commit | 7ff2d2343921f5baeba0b47983202a84852e2957 (patch) | |
| tree | c8d327701f09d54f9297eb72db5645ca2a9a824a /gcc/ada/adaint.c | |
| parent | 806f6d372157633408dc26c7903e43b732710530 (diff) | |
| download | gcc-7ff2d2343921f5baeba0b47983202a84852e2957.zip gcc-7ff2d2343921f5baeba0b47983202a84852e2957.tar.gz gcc-7ff2d2343921f5baeba0b47983202a84852e2957.tar.bz2 | |
[multiple changes]
2011-08-02 Yannick Moy <moy@adacore.com>
* exp_ch6.adb (Expand_N_Subprogram_Declaration): issue error in formal
mode on subprogram declaration outside of package specification, unless
it is followed by a pragma Import
* sem_ch3.adb (Access_Definition, Access_Subprogram_Declaration,
Access_Type_Declaration): issue error in formal mode on access type
(Analyze_Incomplete_Type_Decl): issue error in formal mode on
incomplete type
(Analyze_Object_Declaration): issue error in formal mode on object
declaration which does not respect SPARK restrictions
(Analyze_Subtype_Declaration): issue error in formal mode on subtype
declaration which does not respect SPARK restrictions
(Constrain_Decimal, Constrain_Float, Constrain_Ordinary_Fixed): issue
error in formal mode on digits or delta constraint
(Decimal_Fixed_Point_Type_Declaration): issue error in formal mode on
decimal fixed point type
(Derived_Type_Declaration): issue error in formal mode on derived type
other than type extensions of tagged record types
* sem_ch6.adb (Process_Formals): remove check in formal mode, redundant
with check on access definition
* sem_ch9.adb (Analyze_Protected_Definition): issue error in formal
mode on protected definition.
(Analyze_Task_Definition): issue error in formal mode on task definition
2011-08-02 Robert Dewar <dewar@adacore.com>
* make.adb, sem_ch8.adb, s-inmaop-vxworks.adb: Minor reformatting.
From-SVN: r177093
Diffstat (limited to 'gcc/ada/adaint.c')
0 files changed, 0 insertions, 0 deletions