| commit | 2288b12cfe60f7bf65f382951449b070f9067da7 | |
| author | Piotr Trojanek <trojanek@adacore.com> | |
| Fri, 3 Mar 2023 16:45:20 +0000 (3 17:45 +0100) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Thu, 25 May 2023 07:44:17 +0000 (25 09:44 +0200) | ||
| tree | 8215084c36a4fae64ecc4b2dc84e8e4c9812e194 | treesnapshot (tar.gz zip) |
| parent | 0d569d97504d75e0499ce29ad64226629f67645a | commitdiff |
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.
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.
| gcc/ada/aspects.ads | diffblobblamehistory | |
| gcc/ada/sem_prag.ads | diffblobblamehistory |