r260838 - in /trunk/gcc/ada: ChangeLog exp_unst...

[pmderodat@gcc.gnu.org]

Author: pmderodat
Date: Mon May 28 08:55:47 2018
New Revision: 260838

URL: https://gcc.gnu.org/viewcvs?rev=260838&root=gcc&view=rev
Log:
[Ada] Improve unnesting for discriminants of record subtypes

2018-05-28  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

	* exp_unst.adb (Check_Static_Type): For a record subtype, check
	discriminant constraints as well.
	(Visit_Node): For a selected component, check type of prefix, as is
	done for indexed components and slices.

Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/exp_unst.adb