diff options
| -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" |