diff options
Diffstat (limited to 'testsuite/gna/issue734')
-rw-r--r-- | testsuite/gna/issue734/test.vhdl | 15 | ||||
-rwxr-xr-x | testsuite/gna/issue734/testsuite.sh | 9 |
2 files changed, 24 insertions, 0 deletions
diff --git a/testsuite/gna/issue734/test.vhdl b/testsuite/gna/issue734/test.vhdl new file mode 100644 index 000000000..8104e7fa7 --- /dev/null +++ b/testsuite/gna/issue734/test.vhdl @@ -0,0 +1,15 @@ +entity test is +end test; + +architecture arch of test is + type natural_vec is array (natural range <>) of natural; + type natural_vec_ptr is access natural_vec; + procedure bad is + variable v : natural_vec_ptr; + begin + v := new natural_vec_ptr(0 to 9); -- Should give an error, gives assertion failed + v := new natural_vec(0 to 9); -- The correct syntax for the above (which works fine) + end procedure; +begin +end arch; + diff --git a/testsuite/gna/issue734/testsuite.sh b/testsuite/gna/issue734/testsuite.sh new file mode 100755 index 000000000..8e20eb85f --- /dev/null +++ b/testsuite/gna/issue734/testsuite.sh @@ -0,0 +1,9 @@ +#! /bin/sh + +. ../../testenv.sh + +analyze_failure test.vhdl + +clean + +echo "Test successful" |