diff options
author | Tristan Gingold <tgingold@free.fr> | 2021-08-04 10:09:07 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2021-08-04 10:11:15 +0200 |
commit | 71cb4d15e7340f9dfb900c08acd3df185acd54ec (patch) | |
tree | 4cadff04a15a3885ec96d1c622036ea9d64e3c16 /testsuite | |
parent | 2c5960c36dce34514bbbbdadefd543331a851144 (diff) | |
download | ghdl-71cb4d15e7340f9dfb900c08acd3df185acd54ec.tar.gz ghdl-71cb4d15e7340f9dfb900c08acd3df185acd54ec.tar.bz2 ghdl-71cb4d15e7340f9dfb900c08acd3df185acd54ec.zip |
testsuite/gna: add a test for previous commit
Diffstat (limited to 'testsuite')
-rw-r--r-- | testsuite/gna/issue1419/repro3.vhdl | 12 | ||||
-rw-r--r-- | testsuite/gna/issue1419/repro4.vhdl | 9 | ||||
-rwxr-xr-x | testsuite/gna/issue1419/testsuite.sh | 16 |
3 files changed, 37 insertions, 0 deletions
diff --git a/testsuite/gna/issue1419/repro3.vhdl b/testsuite/gna/issue1419/repro3.vhdl new file mode 100644 index 000000000..80854a2ed --- /dev/null +++ b/testsuite/gna/issue1419/repro3.vhdl @@ -0,0 +1,12 @@ +entity repro3 is +end; + +architecture behav of repro3 is + type t_record is record + str : string; + num : positive; + end record; + + constant k : t_record := ("abc", 0); -- BOUND error +begin +end; diff --git a/testsuite/gna/issue1419/repro4.vhdl b/testsuite/gna/issue1419/repro4.vhdl new file mode 100644 index 000000000..1ebcb4f52 --- /dev/null +++ b/testsuite/gna/issue1419/repro4.vhdl @@ -0,0 +1,9 @@ +entity repro4 is +end; + +architecture behav of repro4 is + type natural_array is array(natural range <>) of natural; + + constant k : natural_array := (0, 1, -2); +begin +end; diff --git a/testsuite/gna/issue1419/testsuite.sh b/testsuite/gna/issue1419/testsuite.sh new file mode 100755 index 000000000..c40322e93 --- /dev/null +++ b/testsuite/gna/issue1419/testsuite.sh @@ -0,0 +1,16 @@ +#! /bin/sh + +. ../../testenv.sh + +export GHDL_STD_FLAGS=--std=08 + +analyze_failure -Werror repro3.vhdl +analyze_failure -Werror repro4.vhdl + +#analyze model_pkg.vhdl +#analyze tb +#elab_simulate tb + +clean + +echo "Test successful" |