diff options
author | Tristan Gingold <tgingold@free.fr> | 2020-08-26 19:43:59 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2020-08-26 22:39:04 +0200 |
commit | f61903dba10aadcb18d608f4c57e21e7d427ea25 (patch) | |
tree | 2a5f39c1507aa7e3cd140bd411aed8183b84474f /testsuite | |
parent | 91a073a2399321f42d63eaa53892eac68fc20257 (diff) | |
download | ghdl-f61903dba10aadcb18d608f4c57e21e7d427ea25.tar.gz ghdl-f61903dba10aadcb18d608f4c57e21e7d427ea25.tar.bz2 ghdl-f61903dba10aadcb18d608f4c57e21e7d427ea25.zip |
testsuite/synth: add a testcase for #1430
Diffstat (limited to 'testsuite')
-rw-r--r-- | testsuite/synth/issue1430/repro.vhdl | 11 | ||||
-rw-r--r-- | testsuite/synth/issue1430/repro1.vhdl | 11 | ||||
-rwxr-xr-x | testsuite/synth/issue1430/testsuite.sh | 7 |
3 files changed, 29 insertions, 0 deletions
diff --git a/testsuite/synth/issue1430/repro.vhdl b/testsuite/synth/issue1430/repro.vhdl new file mode 100644 index 000000000..572ad3087 --- /dev/null +++ b/testsuite/synth/issue1430/repro.vhdl @@ -0,0 +1,11 @@ +entity repro is + generic (a : natural := 5); +end; + +architecture behav of repro is + constant c : natural := 10; +begin + assert false + report natural'image(a) & ", c = " & integer'image(c) + severity note; +end; diff --git a/testsuite/synth/issue1430/repro1.vhdl b/testsuite/synth/issue1430/repro1.vhdl new file mode 100644 index 000000000..8d84d25a3 --- /dev/null +++ b/testsuite/synth/issue1430/repro1.vhdl @@ -0,0 +1,11 @@ +entity repro is + generic (a : natural := 5); +end; + +architecture behav of repro is + constant c : natural := 10; +begin + assert false + report natural'image(a) & "c = " & integer'image(c) + & ", a = " & natural'image(a) & " (!)" severity note; +end; diff --git a/testsuite/synth/issue1430/testsuite.sh b/testsuite/synth/issue1430/testsuite.sh new file mode 100755 index 000000000..199251667 --- /dev/null +++ b/testsuite/synth/issue1430/testsuite.sh @@ -0,0 +1,7 @@ +#! /bin/sh + +. ../../testenv.sh + +synth repro.vhdl -e > syn_repro.vhdl + +echo "Test successful" |