From a70e34db18ae133e760de7fb898f72bf41653f79 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sun, 22 Oct 2017 20:59:02 +0200
Subject: Add testcase from #190.

---
 testsuite/gna/issue190/e.vhdl       | 20 ++++++++++++++++++++
 testsuite/gna/issue190/testsuite.sh | 11 +++++++++++
 2 files changed, 31 insertions(+)
 create mode 100644 testsuite/gna/issue190/e.vhdl
 create mode 100755 testsuite/gna/issue190/testsuite.sh

(limited to 'testsuite')

diff --git a/testsuite/gna/issue190/e.vhdl b/testsuite/gna/issue190/e.vhdl
new file mode 100644
index 000000000..905efe7d1
--- /dev/null
+++ b/testsuite/gna/issue190/e.vhdl
@@ -0,0 +1,20 @@
+library ieee;
+use      ieee.std_logic_1164.all;
+
+entity e is
+end entity;
+
+architecture a of e is
+  signal foo : std_logic_vector(7 downto 0);
+  signal bar : std_logic;
+  
+  procedure proc(constant addr : in std_logic_vector; signal output : out std_logic) is
+    alias addr_alias : std_logic_vector(addr'length downto 0) is addr;  -- inherited non-staticness from addr?
+  begin
+    -- case addr(1 downto 0) is     -- not static, even if addr is of kind constant
+    case addr_alias(1 downto 0) is  -- see local constant declarations
+      when others =>  output <= 'X';
+    end case;
+  end procedure;
+begin
+end architecture;
diff --git a/testsuite/gna/issue190/testsuite.sh b/testsuite/gna/issue190/testsuite.sh
new file mode 100755
index 000000000..1a4b10413
--- /dev/null
+++ b/testsuite/gna/issue190/testsuite.sh
@@ -0,0 +1,11 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+export GHDL_STD_FLAGS=--std=08
+analyze e.vhdl
+elab_simulate e
+
+clean
+
+echo "Test successful"
-- 
cgit v1.2.3