[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Fri, 13 Jan 2017 11:08:57 +0000 (12:08 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 13 Jan 2017 11:08:57 +0000 (12:08 +0100)
commitf8981f1984a0e66f165440ecbc72fd3a58075193
tree9317cc3a5162c924b9eb44c8e7ec14b935c9bfbc
parent996ce809cd29df96df27b7e7d75508fe2fe6fb93
[multiple changes]

2017-01-13  Javier Miranda  <miranda@adacore.com>

* sem_ch6.adb (Cloned_Expression): New subprogram.
(Freeze_Expr_Types): Complete previous patch since the expression
of an expression-function may have iterators and loops with
defining identifiers which, as part of the preanalysis of the
expression, may be left decorated with itypes that will not be
available in the tree passed to the backend.

2017-01-13  Ed Schonberg  <schonberg@adacore.com>

* checks.adb (Apply_Type_Conversion_Checks): Optimize a type
conversion to Integer of an expression that is an attribute
reference 'Pos on an enumeration type.

2017-01-13  Bob Duff  <duff@adacore.com>

* atree.ads: Minor comment fix.

From-SVN: r244423
gcc/ada/ChangeLog
gcc/ada/atree.ads
gcc/ada/checks.adb
gcc/ada/sem_ch6.adb