r279518 - in /trunk/gcc/ada: ChangeLog sem_ch6.adb

[pmderodat@gcc.gnu.org]

Author: pmderodat
Date: Wed Dec 18 07:16:22 2019
New Revision: 279518

URL: https://gcc.gnu.org/viewcvs?rev=279518&root=gcc&view=rev
Log:
[Ada] Missing accessibility check on access discriminants

2019-12-18  Justin Squirek  <squirek@adacore.com>

gcc/ada/

	* sem_ch6.adb (Analyze_Function_Return): Modify handling of
	extended return statements to check accessibility of access
	discriminants.
	(Check_Aggregate_Accessibility): Removed.
	(Check_Return_Obj_Accessibility): Added to centralize checking
	of return aggregates and subtype indications in the case of an
	extended return statement.

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