[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Tue, 19 Apr 2016 13:09:07 +0000 (15:09 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 19 Apr 2016 13:09:07 +0000 (15:09 +0200)
commitb314303784ccc313d79eadd61770225b0ec7fbfc
tree259ca518485684926c1173c48c5455e7f043577f
parente90e9503dff78ba8d3c31f01ef41ea8b75d953ee
[multiple changes]

2016-04-19  Arnaud Charlet  <charlet@adacore.com>

* sem_prag.adb, sem_attr.adb, par-prag.adb, exp_aggr.adb, sem_type.adb
sem_ch12.adb, sem_ch3.adb, exp_ch7.adb, exp_ch9.adb: Code cleanup.
* sem_res.adb, sem_util.ads, sem_util.adb (Is_OK_Volatile_Context):
Promoted from being a nested subprogram in Sem_Res.Resolve_Entity_Name
to publicly visible routine in Sem_Util.

2016-04-19  Ed Schonberg  <schonberg@adacore.com>

* checks.adb (Apply_Parameter_Aliasing_Checks): Do not apply
the check if the type of the actual is By_Reference.

From-SVN: r235199
14 files changed:
gcc/ada/ChangeLog
gcc/ada/checks.adb
gcc/ada/exp_aggr.adb
gcc/ada/exp_ch7.adb
gcc/ada/exp_ch9.adb
gcc/ada/par-prag.adb
gcc/ada/sem_attr.adb
gcc/ada/sem_ch12.adb
gcc/ada/sem_ch3.adb
gcc/ada/sem_prag.adb
gcc/ada/sem_res.adb
gcc/ada/sem_type.adb
gcc/ada/sem_util.adb
gcc/ada/sem_util.ads