From: Yannick Moy <moy@adacore.com>
Date: Mon, 9 May 2022 10:49:41 +0000 (+0200)
Subject: [Ada] Fix classification of Subprogram_Variant as assertion pragma
X-Git-Tag: basepoints/gcc-14~6305
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=da85f3f2c696977c8b0864b650e9606e05a61c1f;p=thirdparty%2Fgcc.git

[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.
---

diff --git a/gcc/ada/sem_prag.ads b/gcc/ada/sem_prag.ads
index 44590aca631..0a1ad5bedf1 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,