]> git.ipfire.org Git - thirdparty/gcc.git/commit
2016-04-19 Arnaud Charlet <charlet@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 19 Apr 2016 13:09:07 +0000 (13:09 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 19 Apr 2016 13:09:07 +0000 (13:09 +0000)
commit4dc3174c98bd6006894632c05bed35d6dec23be7
tree259ca518485684926c1173c48c5455e7f043577f
parentcdfa20c43c201701e131409bdcc96575de07e1b0
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@235199 138bc75d-0d04-0410-961f-82ee72b054a4
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