diff options
Diffstat (limited to 'gcc/ada/sem_prag.ads')
| -rw-r--r-- | gcc/ada/sem_prag.ads | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/gcc/ada/sem_prag.ads b/gcc/ada/sem_prag.ads index ecfb3eda75a..c01c5f21c10 100644 --- a/gcc/ada/sem_prag.ads +++ b/gcc/ada/sem_prag.ads @@ -26,11 +26,20 @@ -- Pragma handling is isolated in a separate package -- (logically this processing belongs in chapter 4) -with Namet; use Namet; -with Types; use Types; +with Namet; use Namet; +with Snames; use Snames; +with Types; use Types; package Sem_Prag is + -- The following table lists all the user-defined pragmas that may apply to + -- a body stub. + + Pragma_On_Stub_OK : constant array (Pragma_Id) of Boolean := + (Pragma_Refined_Pre => True, + Pragma_SPARK_Mode => True, + others => False); + ----------------- -- Subprograms -- ----------------- |