[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Fri, 30 Jan 2015 09:00:10 +0000 (10:00 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 30 Jan 2015 09:00:10 +0000 (10:00 +0100)
commit445e588866137e1e26d9e69f5d657382f3d91006
tree23809b37bb58f2b97f30382d8d72dbbe57aae323
parent8ec350edf40d5d2f0f868136f514d6fd7832505a
[multiple changes]

2015-01-30  Ed Schonberg  <schonberg@adacore.com>

* sem_ch6.adb (Analyze_Function_Return): In an extended return
statement, apply accessibility check to result object when there
is no initializing expression (Ada 2012 RM 6.5 (5.4/3))

2015-01-30  Robert Dewar  <dewar@adacore.com>

* sem_ch4.adb (Analyze_If_Expression): Allow for non-standard
Boolean for case where ELSE is omitted.
* sem_res.adb: Minor reformatting.

From-SVN: r220274
gcc/ada/ChangeLog
gcc/ada/sem_ch4.adb
gcc/ada/sem_ch6.adb
gcc/ada/sem_res.adb