[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Thu, 21 Apr 2016 08:30:19 +0000 (10:30 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 21 Apr 2016 08:30:19 +0000 (10:30 +0200)
commitb943a971133bb727c28aaaa705b93c7f6f7a5fb4
treeaccf5886233e15eff8cbec4962a1a6d4e3d7350c
parentb1d8d2290fc30f9a25da4c7dececc52c9161eddd
[multiple changes]

2016-04-21  Gary Dismukes  <dismukes@adacore.com>

* exp_attr.adb (Is_Inline_Floating_Point_Attribute): Suppress
expansion of Attribute_Machine and Attribute_Model for AAMP.

2016-04-21  Ed Schonberg  <schonberg@adacore.com>

* freeze.adb: Disable previous change for now.

2016-04-21  Ed Schonberg  <schonberg@adacore.com>

* sem_ch8.adb (Find_Selected_Component): If prefix has an
access type and designated type is a limited view, introduce
an explicit dereference before continuing the analysis, and
set its type to the non-limited view of the designated type,
if we are in context where it is available.

From-SVN: r235311
gcc/ada/ChangeLog
gcc/ada/exp_attr.adb
gcc/ada/freeze.adb
gcc/ada/sem_ch8.adb