r235311 - in /trunk/gcc/ada: ChangeLog exp_attr...

[charlet@gcc.gnu.org]

Author: charlet
Date: Thu Apr 21 08:30:19 2016
New Revision: 235311

URL: https://gcc.gnu.org/viewcvs?rev=235311&root=gcc&view=rev
Log:
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.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/exp_attr.adb
    trunk/gcc/ada/freeze.adb
    trunk/gcc/ada/sem_ch8.adb