From: Piotr Trojanek <trojanek@adacore.com>
Date: Fri, 26 Jan 2024 16:47:34 +0000 (+0100)
Subject: ada: Recognize pragma Lock_Free as specific to GNAT
X-Git-Tag: basepoints/gcc-16~9141
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=32fe73ee9d96bb861014526326c94ef4e23bdace;p=thirdparty%2Fgcc.git

ada: Recognize pragma Lock_Free as specific to GNAT

Pramga Lock_Free must be recognized as implementation-defined.

gcc/ada/

	* sem_prag.adb (Analyze_Pragma): When processing pragma
	Lock_Free, check if restriction No_Implementation_Pragmas is
	enabled.
---

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index ff02ae9a7af..9e0e41c3dad 100644
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -19950,6 +19950,7 @@ package body Sem_Prag is
             Val : Boolean;
 
          begin
+            GNAT_Pragma;
             Check_No_Identifiers;
             Check_At_Most_N_Arguments (1);