diff options
Diffstat (limited to 'testsuite/gna/bug077/repro4.vhdl')
-rw-r--r-- | testsuite/gna/bug077/repro4.vhdl | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/testsuite/gna/bug077/repro4.vhdl b/testsuite/gna/bug077/repro4.vhdl new file mode 100644 index 000000000..15eba7260 --- /dev/null +++ b/testsuite/gna/bug077/repro4.vhdl @@ -0,0 +1,26 @@ +entity repro3 is +end repro3; + +architecture behav of repro3 is + type my_rec is record + a : bit; + w : bit_vector; + end record; + + procedure check (v : my_rec) is + begin + assert v = ('0', "10"); + end check; + + procedure pack (a : bit; w : bit_vector) is + begin + check (v.a => a, + v.w => w); + end pack; +begin + process + begin + pack ('0', "01"); + wait; + end process; +end; |