diff options
author | Tristan Gingold | 2014-11-27 07:17:31 +0100 |
---|---|---|
committer | Tristan Gingold | 2014-11-27 07:17:31 +0100 |
commit | 0e5bae59d60dd7c65b892a43c655b4d774e0a9c8 (patch) | |
tree | 9b109c2d2ee3e918a30abf6028497d9e754e7b8d /src/grt | |
parent | 7dbd44f5cd38d9e24c2d3caba0dbc43a6508dfe1 (diff) | |
download | ghdl-0e5bae59d60dd7c65b892a43c655b4d774e0a9c8.tar.gz ghdl-0e5bae59d60dd7c65b892a43c655b4d774e0a9c8.tar.bz2 ghdl-0e5bae59d60dd7c65b892a43c655b4d774e0a9c8.zip |
grt: suppress overflow checks.
Diffstat (limited to 'src/grt')
-rw-r--r-- | src/grt/grt.adc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/grt/grt.adc b/src/grt/grt.adc index 9be35f1..71c315b 100644 --- a/src/grt/grt.adc +++ b/src/grt/grt.adc @@ -46,4 +46,5 @@ pragma restrictions (no_dependence => GNAT); pragma Restrictions (Max_Tasks => 0); pragma Restrictions (No_Task_Hierarchy); pragma Restrictions (No_Implicit_Heap_Allocations); +pragma Suppress (Overflow_Check); pragma No_Run_Time; |