diff options
| author | Yannick Moy <moy@adacore.com> | 2011-08-02 09:05:58 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 11:05:58 +0200 |
| commit | fe5d30682cc829629a2a9d5994957676635e1b80 (patch) | |
| tree | cb9b7a1d6235246bd0d94db6e3ea4af1b309ef91 /gcc/ada/adaint.c | |
| parent | b60a3f26749e5aa873754f022ed8be0c6c67bf1d (diff) | |
| download | gcc-fe5d30682cc829629a2a9d5994957676635e1b80.zip gcc-fe5d30682cc829629a2a9d5994957676635e1b80.tar.gz gcc-fe5d30682cc829629a2a9d5994957676635e1b80.tar.bz2 | |
errout.adb, errout.ads (Check_Formal_Restriction): new procedure which issues an error in formal mode if...
2011-08-02 Yannick Moy <moy@adacore.com>
* errout.adb, errout.ads (Check_Formal_Restriction): new procedure
which issues an error in formal mode if its argument node is originally
from source
* sem_ch3.adb (Analyze_Full_Type_Declaration): move test that a type
has a discriminant specification so that it does not include the case
of derived types
(Derived_Type_Declaration): move here the test that a derived type has a
discriminant specification
* sem_aggr.adb (Resolve_Record_Aggregate): test the presence of the
first element of a component association before accessing its choices
(presence of component association is not enough)
* exp_ch6.adb (Expand_N_Subprogram_Declaration): test if a subprogram
declaration is a library item before accessing the next element in a
list, as library items are not member of lists
* sem_attr.adb, sem_ch11.adb, sem_ch4.adb, sem_ch5.adb, sem_ch6.adb,
sem_ch8.adb, sem_ch9.adb, sem_res.adb, sem_util.adb: use
Check_Formal_Restriction whenever possible.
From-SVN: r177099
Diffstat (limited to 'gcc/ada/adaint.c')
0 files changed, 0 insertions, 0 deletions