diff options
Diffstat (limited to 'testsuite/gna/bug077/repro5.vhdl')
-rw-r--r-- | testsuite/gna/bug077/repro5.vhdl | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/testsuite/gna/bug077/repro5.vhdl b/testsuite/gna/bug077/repro5.vhdl new file mode 100644 index 000000000..080b63c78 --- /dev/null +++ b/testsuite/gna/bug077/repro5.vhdl @@ -0,0 +1,32 @@ +entity repro5 is +end repro5; + +architecture behav of repro5 is + type my_rec is record + a : bit; + w : bit_vector (1 to 2); + end record; + + procedure check (signal v : my_rec) is + begin + assert v.a = '0' and v.w = "01"; + end check; + + procedure pack (signal a : bit; signal w : bit_vector) is + begin + check (v.a => a, + v.w => w); + end pack; + + signal sa : bit; + signal sw : bit_vector (1 to 2); +begin + process + begin + sa <= '0'; + sw <= "01"; + wait for 0 ns; + pack (sa, sw); + wait; + end process; +end; |