diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2023-03-03 17:45:20 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-25 09:44:17 +0200 |
| commit | 2288b12cfe60f7bf65f382951449b070f9067da7 (patch) | |
| tree | 8215084c36a4fae64ecc4b2dc84e8e4c9812e194 /gcc/tree-vectorizer.h | |
| parent | 0d569d97504d75e0499ce29ad64226629f67645a (diff) | |
| download | gcc-2288b12cfe60f7bf65f382951449b070f9067da7.zip gcc-2288b12cfe60f7bf65f382951449b070f9067da7.tar.gz gcc-2288b12cfe60f7bf65f382951449b070f9067da7.tar.bz2 | |
ada: Add missing supportive code for recently added SPARK aspects
Fix minor inconsistencies with the recently added SPARK aspects
Exceptional_Cases and Subprogram_Variant, whose implementation is based
on Contract_Cases.
gcc/ada/
* aspects.ads
(Implementation_Defined_Aspect): Recently added aspects are
implementation-defined, just like Contract_Cases.
* sem_prag.ads
(Aspect_Specifying_Pragma): Recently added aspects have corresponding
pragmas, just like Contract_Cases.
(Pragma_Significant_To_Subprograms): Recently added aspects are
significant to subprograms, just like Contract_Cases.
Diffstat (limited to 'gcc/tree-vectorizer.h')
0 files changed, 0 insertions, 0 deletions