r279339 - in /trunk/gcc/ada: ChangeLog sem_ch13...

[pmderodat@gcc.gnu.org]

Author: pmderodat
Date: Fri Dec 13 09:03:02 2019
New Revision: 279339

URL: https://gcc.gnu.org/viewcvs?rev=279339&root=gcc&view=rev
Log:
[Ada] New flag to indicate whether aspect appears on partial view

2019-12-13  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

	* sinfo.ads, sinfo.adb (Aspect_On_Partial_View,
	Set_Aspect_On_Partial_View): New flag for use by SPARK, to
	indicate whether an aspect that appears on a type declaration
	applies to the partial view of that type.
	* sem_ch13.adb (Analyze_Aspect_Specification): Set new flag
	appropriately.

Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/sem_ch13.adb
    trunk/gcc/ada/sinfo.adb
    trunk/gcc/ada/sinfo.ads