diff options
| author | Yannick Moy <moy@adacore.com> | 2022-05-09 12:49:41 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-06-01 08:43:20 +0000 |
| commit | da85f3f2c696977c8b0864b650e9606e05a61c1f (patch) | |
| tree | 0dfa5d1f2de574024aaaf8428136641733dbc632 /gcc | |
| parent | 5cfde7a0b5ffd2cd0e792f07f849b9b1b0bea290 (diff) | |
| download | gcc-da85f3f2c696977c8b0864b650e9606e05a61c1f.zip gcc-da85f3f2c696977c8b0864b650e9606e05a61c1f.tar.gz gcc-da85f3f2c696977c8b0864b650e9606e05a61c1f.tar.bz2 | |
[Ada] Fix classification of Subprogram_Variant as assertion pragma
This pragma was wrongly not recognized as an assertion pragma. Now
fixed.
gcc/ada/
* sem_prag.ads (Assertion_Expression_Pragmas): Fix value for
pragma Subprogram_Variant.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/sem_prag.ads | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/sem_prag.ads b/gcc/ada/sem_prag.ads index 44590ac..0a1ad5b 100644 --- a/gcc/ada/sem_prag.ads +++ b/gcc/ada/sem_prag.ads @@ -149,6 +149,7 @@ package Sem_Prag is Pragma_Precondition => True, Pragma_Predicate => True, Pragma_Refined_Post => True, + Pragma_Subprogram_Variant => True, Pragma_Test_Case => True, Pragma_Type_Invariant => True, Pragma_Type_Invariant_Class => True, |