summaryrefslogtreecommitdiff
path: root/src/grt
diff options
context:
space:
mode:
authorTristan Gingold2014-11-27 07:17:31 +0100
committerTristan Gingold2014-11-27 07:17:31 +0100
commit0e5bae59d60dd7c65b892a43c655b4d774e0a9c8 (patch)
tree9b109c2d2ee3e918a30abf6028497d9e754e7b8d /src/grt
parent7dbd44f5cd38d9e24c2d3caba0dbc43a6508dfe1 (diff)
downloadghdl-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.adc1
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;