[gcc r15-412] ada: Recognize pragma Lock_Free as specific to GNAT

[Marc Poulhi?s via Gcc-cvs]

https://gcc.gnu.org/g:32fe73ee9d96bb861014526326c94ef4e23bdace

commit r15-412-g32fe73ee9d96bb861014526326c94ef4e23bdace
Author: Piotr Trojanek <troja...@adacore.com>
Date:   Fri Jan 26 17:47:34 2024 +0100

    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:
---
 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 ff02ae9a7afe..9e0e41c3dadc 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);