projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: db0aa34) | patch
[Ada] New flag to indicate whether aspect appears on partial view
authorEd Schonberg <schonberg@adacore.com>
Fri, 13 Dec 2019 09:03:02 +0000 (09:03 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Fri, 13 Dec 2019 09:03:02 +0000 (09:03 +0000)
commitb622076c56b245967a8e777cfd8fd049e7ed784c
tree6b13143f4908c6112bbb0822e91a16a1b6b24fectree
parentdb0aa34fb45afad19e56c573321d4c8ebaf56833commit | diff
[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.

From-SVN: r279339
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_ch13.adb diff | blob | history
gcc/ada/sinfo.adb diff | blob | history
gcc/ada/sinfo.ads diff | blob | history