diff options
Diffstat (limited to 'testsuite/gna/issue321')
-rw-r--r-- | testsuite/gna/issue321/repro.vhdl | 26 | ||||
-rwxr-xr-x | testsuite/gna/issue321/testsuite.sh | 10 |
2 files changed, 36 insertions, 0 deletions
diff --git a/testsuite/gna/issue321/repro.vhdl b/testsuite/gna/issue321/repro.vhdl new file mode 100644 index 000000000..a73b43623 --- /dev/null +++ b/testsuite/gna/issue321/repro.vhdl @@ -0,0 +1,26 @@ +package pkg is + function f return natural; +end pkg; + +package body pkg is + constant c : natural := 5; + + function f return natural is + begin + report "read " & c'path_name severity note; + return c; + end; +end pkg; + +entity repro is +end; + +architecture behav of repro is +begin + process + begin + assert work.pkg.f >= 2; + wait; + end process; +end behav; + diff --git a/testsuite/gna/issue321/testsuite.sh b/testsuite/gna/issue321/testsuite.sh new file mode 100755 index 000000000..7da7af956 --- /dev/null +++ b/testsuite/gna/issue321/testsuite.sh @@ -0,0 +1,10 @@ +#! /bin/sh + +. ../../testenv.sh + +analyze repro.vhdl +elab_simulate repro + +clean + +echo "Test successful" |