diff options
-rw-r--r-- | testsuite/gna/issue379/e.vhdl | 30 | ||||
-rwxr-xr-x | testsuite/gna/issue379/testsuite.sh | 9 |
2 files changed, 39 insertions, 0 deletions
diff --git a/testsuite/gna/issue379/e.vhdl b/testsuite/gna/issue379/e.vhdl new file mode 100644 index 000000000..3369cad20 --- /dev/null +++ b/testsuite/gna/issue379/e.vhdl @@ -0,0 +1,30 @@ +entity e is end entity; +architecture a of e is +begin + process + constant z :integer := 0; + type t is array(0 to 0) of bit; + procedure x( + z :out bit_vector(0 to 0); + f :out bit_vector(0 to 0) + ) is + begin + end procedure; + procedure x( + z :out t; + f :out bit_vector(0 to 0) + ) is + begin + end procedure; + function f(arg:t) return bit is + begin + end function; + variable actual_for_f :bit; + variable actual_for_z :t; -- bit + begin + x( + f(z) => actual_for_f, + f(z) => actual_for_z + ); + end process; +end architecture; diff --git a/testsuite/gna/issue379/testsuite.sh b/testsuite/gna/issue379/testsuite.sh new file mode 100755 index 000000000..411883a4b --- /dev/null +++ b/testsuite/gna/issue379/testsuite.sh @@ -0,0 +1,9 @@ +#! /bin/sh + +. ../../testenv.sh + +analyze_failure e.vhdl + +clean + +echo "Test successful" |