testsuite/gna/issue376/repro.vhdl


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

package pkg is
  type enum is ('a', 'b', 'c');
  type enum_vec is array (natural range <>) of enum;
  function resolved (v : enum_vec) return enum;
  subtype res_enum is (resolved) enum_vec;
end pkg;

package body pkg is
  function resolved (v : enum_vec) return enum is
  begin
    return v (v'left);
  end resolved;
end;

use work.pkg.all;

entity repro is
  port (p : inout res_enum (3 downto 0));
end repro;

architecture behav of repro is
  alias p_0 is p(0);
begin
  p_0 <= 'a' after 1 ns, 'b' after 4 ns;
end behav;