testsuite/gna: add a test for #1640

2 files changed, 39 insertions, 0 deletions

diff --git a/testsuite/gna/issue1640/test.vhdl b/testsuite/gna/issue1640/test.vhdl
new file mode 100644
index 000000000..d0db05141
--- /dev/null
+++ b/testsuite/gna/issue1640/test.vhdl
@@ -0,0 +1,30 @@
+package cpu_types is
+
+  constant word_size : positive := 2147483649;
+  constant address_size : positive := 24;
+
+  subtype word is bit_vector(word_size - 1 downto 0);
+  subtype address is bit_vector(address_size - 1 downto 0);
+
+  type status_value is ( halted, idle, fetch, mem_read, mem_write,
+                         io_read, io_write, int_ack );
+
+end package cpu_types;
+
+-- end code from book
+
+
+
+package fg_08_01 is
+
+  constant status :
+    -- code from book
+    work.cpu_types.status_value
+    -- end code from book
+    :=
+    -- code from book
+    work.cpu_types.status_value'(work.cpu_types.fetch)
+    -- end code from book
+    ;
+
+end package fg_08_01;
diff --git a/testsuite/gna/issue1640/testsuite.sh b/testsuite/gna/issue1640/testsuite.sh
new file mode 100755
index 000000000..f8534f54e
--- /dev/null
+++ b/testsuite/gna/issue1640/testsuite.sh
@@ -0,0 +1,9 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+analyze test.vhdl
+
+clean
+
+echo "Test successful"