From 4f2bc63cc7adac40622af38e543b2ad72fb0e593 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Tue, 7 May 2019 18:46:07 +0200
Subject: Add testcase for issue #810

---
 testsuite/gna/issue810/nullrng.vhdl | 10 ++++++++++
 testsuite/gna/issue810/testsuite.sh |  3 +++
 2 files changed, 13 insertions(+)
 create mode 100644 testsuite/gna/issue810/nullrng.vhdl

(limited to 'testsuite/gna')

diff --git a/testsuite/gna/issue810/nullrng.vhdl b/testsuite/gna/issue810/nullrng.vhdl
new file mode 100644
index 000000000..caa493df4
--- /dev/null
+++ b/testsuite/gna/issue810/nullrng.vhdl
@@ -0,0 +1,10 @@
+package nullrng is
+
+  type my_time is range -integer'low  to integer'high units
+    fs; ps= 1000 fs; ns= 1000 ps; us= 1000 ns; -- very short
+    ms= 1000 us; sec= 1000 ms; min= 60 sec; hr= 60 min; -- longer
+  end units;
+  type my_empty_range is range -(-8) to 7;
+  type my_small_range is range -8 to 7;
+
+end;
diff --git a/testsuite/gna/issue810/testsuite.sh b/testsuite/gna/issue810/testsuite.sh
index 7da7af956..fc33d532e 100755
--- a/testsuite/gna/issue810/testsuite.sh
+++ b/testsuite/gna/issue810/testsuite.sh
@@ -5,6 +5,9 @@
 analyze repro.vhdl
 elab_simulate repro
 
+analyze nullrng.vhdl
+analyze_failure -Werror nullrng.vhdl
+
 clean
 
 echo "Test successful"
-- 
cgit v1.2.3