]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Recognize pragma Lock_Free as specific to GNAT
authorPiotr Trojanek <trojanek@adacore.com>
Fri, 26 Jan 2024 16:47:34 +0000 (17:47 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 13 May 2024 08:03:31 +0000 (10:03 +0200)
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.

gcc/ada/sem_prag.adb

index ff02ae9a7afea909f19309f0406f655eca0da343..9e0e41c3dadcb30aebdbd01ded4840b00944dfec 100644 (file)
@@ -19950,6 +19950,7 @@ package body Sem_Prag is
             Val : Boolean;
 
          begin
+            GNAT_Pragma;
             Check_No_Identifiers;
             Check_At_Most_N_Arguments (1);