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

[Marc Poulhiès]

From: Piotr Trojanek <troja...@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 --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);
 
-- 
2.43.2