diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-25 12:11:06 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-25 12:11:06 +0200 |
| commit | b0cd50fdc3c2c8a0221a1c7d8379f4c7e15e623f (patch) | |
| tree | d3a8805b202977065c048d4fa21cf0d92f1e0bc3 /gcc/ada/sem_ch4.adb | |
| parent | d8ee014f291458a3518ea516619e75faf24aca17 (diff) | |
| download | gcc-b0cd50fdc3c2c8a0221a1c7d8379f4c7e15e623f.zip gcc-b0cd50fdc3c2c8a0221a1c7d8379f4c7e15e623f.tar.gz gcc-b0cd50fdc3c2c8a0221a1c7d8379f4c7e15e623f.tar.bz2 | |
[multiple changes]
2017-04-25 Hristian Kirtchev <kirtchev@adacore.com>
* checks.adb (Insert_Valid_Check): Do not generate
a validity check when inside a generic.
2017-04-25 Yannick Moy <moy@adacore.com>
* sem_res.adb (Resolve_Type_Conversion): Fix bad logic.
2017-04-25 Arnaud Charlet <charlet@adacore.com>
* snames.ads-tmpl (Snames): More names for detecting predefined
potentially blocking subprograms.
2017-04-25 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb (Analyze_Pre_Post_Condition): The rules
concerning inheritance of class-wide preconditions do not apply
to postconditions.
2017-04-25 Bob Duff <duff@adacore.com>
* s-ficobl.ads: Minor comment fix.
From-SVN: r247174
Diffstat (limited to 'gcc/ada/sem_ch4.adb')
0 files changed, 0 insertions, 0 deletions