Handle complex subtype in unbounded records.

1 files changed, 37 insertions, 0 deletions

diff --git a/testsuite/gna/issue418/repro3.vhdl b/testsuite/gna/issue418/repro3.vhdl
new file mode 100644
index 000000000..b9f2182e9
--- /dev/null
+++ b/testsuite/gna/issue418/repro3.vhdl
@@ -0,0 +1,37 @@
+entity repro3 is
+  generic (blen : natural := 8);
+end;
+
+architecture behav of repro3 is
+   -- AXI-Lite Interface signals
+  type address_channel is record
+    --DUT inputs
+    awaddr  : bit_vector;
+    awvalid : bit;
+  end record;
+
+
+  type t_if is record
+    write_channel  : address_channel;
+    data : bit_vector (blen - 1 downto 0);
+  end record;
+
+  subtype ST_IF_32 is t_if  (
+    write_channel (
+        awaddr(31 downto 0)  )
+    );
+
+  signal s : st_if_32;
+begin
+  s.write_channel.awaddr <= x"0000_1000", x"1000_ffff" after 2 ns;
+  s.data <= (others => '1');
+  process
+  begin
+    wait for 1 ns;
+    assert s.write_channel.awvalid = '0';
+    assert s.write_channel.awaddr(12) = '1';
+    wait for 2 ns;
+    assert s.write_channel.awaddr(14) = '1';
+    wait;
+  end process;
+end;