[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Tue, 25 Apr 2017 13:41:04 +0000 (15:41 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 25 Apr 2017 13:41:04 +0000 (15:41 +0200)
commitbf604a5eeb4b942348e8f1cdaf4baf6d77497aec
tree3c50c75a81069576fb48b9af44f1bf9960bb974f
parent178c3cba2df14a093537dbd9ffbf639510bd5b55
[multiple changes]

2017-04-25  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_util.adb (Known_Non_Null): Moved to Sem_Util.
(Known_Null): Moved to Sem_Util.
* exp_util.ads (Known_Non_Null): Moved to Sem_Util.
(Known_Null): Moved to Sem_Util.
* sem_util.adb Add new enumeration type Null_Status_Kind.
(Known_Non_Null): Moved from Exp_Util. Most of the logic in
this routine is now carried out by Null_Status.
(Known_Null): Moved from Exp_Util. Most of the logic in this routine
is now carried out by Null_Status.
(Null_Status): New routine.
* sem_util.ads (Known_Non_Null): Moved from Exp_Util.
(Known_Null): Moved from Exp_Util.

2017-04-25  Ed Schonberg  <schonberg@adacore.com>

* sem_ch6.adb (Analyze_Expression_Function): Do not report an
error on the return type of an expression function that is a
completion, if the type is derived from a generic formal type.

2017-04-25  Ed Schonberg  <schonberg@adacore.com>

* sem_dim.adb (Dimensions_Of_Operand): The dimensions of a type
conversion are those of the target type.

2017-04-25  Bob Duff  <duff@adacore.com>

* a-clrefi.adb: Minor cleanup.

From-SVN: r247236
gcc/ada/ChangeLog
gcc/ada/a-clrefi.adb
gcc/ada/exp_util.adb
gcc/ada/exp_util.ads
gcc/ada/sem_ch6.adb
gcc/ada/sem_dim.adb
gcc/ada/sem_util.adb
gcc/ada/sem_util.ads