diff mbox series

[COMMITTED] ada: Recognize pragma Lock_Free as specific to GNAT

Message ID 20240513083626.165581-1-poulhies@adacore.com
State New
Headers show
Series [COMMITTED] ada: Recognize pragma Lock_Free as specific to GNAT | expand

Commit Message

Marc Poulhiès May 13, 2024, 8:36 a.m. UTC 
From: Piotr Trojanek <trojanek@adacore.com>

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.

Tested on x86_64-pc-linux-gnu, committed on master.

---
 gcc/ada/sem_prag.adb | 1 +
 1 file changed, 1 insertion(+)
diff mbox series

Patch

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);