diff options
Diffstat (limited to 'gcc/ada/sem_prag.adb')
| -rw-r--r-- | gcc/ada/sem_prag.adb | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index c8daa8c..ad989d2 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -2709,7 +2709,14 @@ package body Sem_Prag is procedure GNAT_Pragma is begin - Check_Restriction (No_Implementation_Pragmas, N); + -- We need to check the No_Implementation_Pragmas restriction for + -- the case of a pragma from source. Note that the case of aspects + -- generating corresponding pragmas marks these pragmas as not being + -- from source, so this test also catches that case. + + if Comes_From_Source (N) then + Check_Restriction (No_Implementation_Pragmas, N); + end if; end GNAT_Pragma; -------------------------- |