mirrors/gcc
1
0
Fork 0
mirror of https://gcc.gnu.org/git/gcc.git synced 2024-11-24 19:33:59 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

[Ada] Fix classification of Subprogram_Variant as assertion pragma

Browse Source 
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.
This commit is contained in:
Yannick Moy 2022-05-09 12:49:41 +02:00 committed by Pierre-Marie de Rodat
parent 5cfde7a0b5
commit da85f3f2c6
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
gcc/ada/sem_prag.ads
View File

@ -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,