diff options
| -rw-r--r-- | testsuite/gna/bug0117/repro7.vhdl | 18 | ||||
| -rwxr-xr-x | testsuite/gna/bug0117/testsuite.sh | 3 |
2 files changed, 21 insertions, 0 deletions
diff --git a/testsuite/gna/bug0117/repro7.vhdl b/testsuite/gna/bug0117/repro7.vhdl new file mode 100644 index 000000000..c60b68580 --- /dev/null +++ b/testsuite/gna/bug0117/repro7.vhdl @@ -0,0 +1,18 @@ +entity repro7 is +end repro7; + +architecture behav of repro7 is + type my_rec is record + addr : bit_vector; + wr : boolean; + desc : string; + end record; + + constant v : my_rec (addr(0 downto 0)) := ( + addr => (others => '0'), + wr => true, + desc => "none"); +begin + assert v.wr; + assert v.desc = "none"; +end behav; diff --git a/testsuite/gna/bug0117/testsuite.sh b/testsuite/gna/bug0117/testsuite.sh index ac83ccfe4..bc39444ad 100755 --- a/testsuite/gna/bug0117/testsuite.sh +++ b/testsuite/gna/bug0117/testsuite.sh @@ -12,6 +12,9 @@ elab_simulate repro4 analyze repro5.vhdl elab_simulate repro5 +analyze repro7.vhdl +elab_simulate repro7 + clean echo "Test successful" |