aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2021-08-04 10:09:07 +0200
committerTristan Gingold <tgingold@free.fr>2021-08-04 10:11:15 +0200
commit71cb4d15e7340f9dfb900c08acd3df185acd54ec (patch)
tree4cadff04a15a3885ec96d1c622036ea9d64e3c16 /testsuite
parent2c5960c36dce34514bbbbdadefd543331a851144 (diff)
downloadghdl-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.vhdl12
-rw-r--r--testsuite/gna/issue1419/repro4.vhdl9
-rwxr-xr-xtestsuite/gna/issue1419/testsuite.sh16
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"