diff options
| author | Tristan Gingold <tgingold@free.fr> | 2014-11-14 21:47:46 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2014-11-14 21:47:46 +0100 |
| commit | 9d427050993403c6e80f7c5254a1fbc2fd20fc09 (patch) | |
| tree | 6a17bdcad4e651fb642009cd33c1683a77f6c86a /src/grt | |
| parent | dde5421950283b4653b1d5256d347dc92c66cdff (diff) | |
| download | ghdl-9d427050993403c6e80f7c5254a1fbc2fd20fc09.tar.gz ghdl-9d427050993403c6e80f7c5254a1fbc2fd20fc09.tar.bz2 ghdl-9d427050993403c6e80f7c5254a1fbc2fd20fc09.zip | |
grt: add more restrictions.
Diffstat (limited to 'src/grt')
| -rw-r--r-- | src/grt/grt.adc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/grt/grt.adc b/src/grt/grt.adc index f2284997d..9be35f1b4 100644 --- a/src/grt/grt.adc +++ b/src/grt/grt.adc @@ -38,9 +38,12 @@ pragma Restrictions (No_Exception_Handlers); --pragma restrictions (No_Exceptions); pragma Restrictions (No_Secondary_Stack); --pragma Restrictions (No_Elaboration_Code); +pragma Restrictions (No_Dispatch); pragma Restrictions (No_Io); +pragma Restrictions (No_Finalization); pragma restrictions (no_dependence => Ada.Tags); pragma restrictions (no_dependence => GNAT); pragma Restrictions (Max_Tasks => 0); +pragma Restrictions (No_Task_Hierarchy); pragma Restrictions (No_Implicit_Heap_Allocations); pragma No_Run_Time; |