[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Wed, 6 Sep 2017 10:09:23 +0000 (12:09 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 6 Sep 2017 10:09:23 +0000 (12:09 +0200)
commite9238cc1213a6de02d0b17d4581149af71f6a409
treedaefa240ed670f39384f5638eb7babab208bf0a4
parenta4f4dbdb5aed55635b7977300ed7a860c5cd606a
[multiple changes]

2017-09-06  Yannick Moy  <moy@adacore.com>

* sem_res.adb (Resolve): Update message for function call as statement.

2017-09-06  Ed Schonberg  <schonberg@adacore.com>

* sem_ch6.adb (Check_Returns): Clean up warnings coming from
generated bodies for renamings that are completions, when renamed
procedure is No_Return.
* sem_ch8.adb (Analyze_Subprogram_Renaming): Implement legality
rule in 6.5.1 (7/2): if a renaming is a completion of a subprogram
with No_Return, the renamed entity must be No_Return as well.

From-SVN: r251768
gcc/ada/ChangeLog
gcc/ada/sem_ch6.adb
gcc/ada/sem_ch8.adb
gcc/ada/sem_res.adb