diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2019-12-13 09:03:02 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-12-13 09:03:02 +0000 |
| commit | b622076c56b245967a8e777cfd8fd049e7ed784c (patch) | |
| tree | 6b13143f4908c6112bbb0822e91a16a1b6b24fec /gcc/ada/gcc-interface | |
| parent | db0aa34fb45afad19e56c573321d4c8ebaf56833 (diff) | |
| download | gcc-b622076c56b245967a8e777cfd8fd049e7ed784c.zip gcc-b622076c56b245967a8e777cfd8fd049e7ed784c.tar.gz gcc-b622076c56b245967a8e777cfd8fd049e7ed784c.tar.bz2 | |
[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
Diffstat (limited to 'gcc/ada/gcc-interface')
0 files changed, 0 insertions, 0 deletions