diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-20 11:04:48 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-20 11:04:48 +0200 |
commit | 93e90bf474fd9410af5127417d542c2f80466ca4 (patch) | |
tree | 8616898e3b7ad3f24b04d88a28933b1d1f8286c7 /gcc/ada/gnatcmd.adb | |
parent | ae3d8837bd4e64b3e0ffc43b2b997248ed5c66e2 (diff) | |
download | gcc-93e90bf474fd9410af5127417d542c2f80466ca4.zip gcc-93e90bf474fd9410af5127417d542c2f80466ca4.tar.gz gcc-93e90bf474fd9410af5127417d542c2f80466ca4.tar.bz2 |
[multiple changes]
2016-04-20 Gary Dismukes <dismukes@adacore.com>
* par_sco.adb, sem_util.adb, sem_ch13.adb: Minor typo corrections and
reformatting.
2016-04-20 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb (Analyze_Pragma, case Default_Storage_Pool):
If the pragma comes from an aspect specification, verify that
the aspect applies to an entity with a declarative part.
* exp_ch5.adb: Code cleanup.
2016-04-20 Ed Schonberg <schonberg@adacore.com>
* sem_res.adb (Resolve_If_Expression): If first expression is
universal, resolve subsequent ones with the corresponding class
type (Any_Integer or Any_Real).
2016-04-20 Ed Schonberg <schonberg@adacore.com>
* sem_ch5.adb (Analyze_Iterator_Specification): If expansion is
disabled, complete the analysis of the iterator name to ensure
that reference for entities within are properly generated.
2016-04-20 Arnaud Charlet <charlet@adacore.com>
* a-dispat.ads (Yield): add Global contract.
* a-calend.ads, a-reatim.ads: Added Initializes => Clock_Time.
* a-taside.adb: Added Initializes => Tasking_State.
From-SVN: r235240
Diffstat (limited to 'gcc/ada/gnatcmd.adb')
0 files changed, 0 insertions, 0 deletions