diff options
Diffstat (limited to 'testsuite/gna')
| -rw-r--r-- | testsuite/gna/bug14953/bug.vhdl | 11 | ||||
| -rw-r--r-- | testsuite/gna/bug14953/bug2.vhdl | 11 | ||||
| -rwxr-xr-x | testsuite/gna/bug14953/testsuite.sh | 12 |
3 files changed, 34 insertions, 0 deletions
diff --git a/testsuite/gna/bug14953/bug.vhdl b/testsuite/gna/bug14953/bug.vhdl new file mode 100644 index 0000000..228e7e6 --- /dev/null +++ b/testsuite/gna/bug14953/bug.vhdl @@ -0,0 +1,11 @@ +library ieee; +use ieee.std_logic_1164.all; + +entity bug is +end entity; + +architecture a of bug is + signal irunning :natural range 0 to 1 := 2; -- reports no error +begin + irunning <= 2; -- reports error, but no information +end architecture; diff --git a/testsuite/gna/bug14953/bug2.vhdl b/testsuite/gna/bug14953/bug2.vhdl new file mode 100644 index 0000000..a84c396 --- /dev/null +++ b/testsuite/gna/bug14953/bug2.vhdl @@ -0,0 +1,11 @@ +library ieee; +use ieee.std_logic_1164.all; + +entity bug is +end entity; + +architecture a of bug is + signal irunning :natural range 0 to 1; +begin + irunning <= 2; -- reports error, but no information +end architecture; diff --git a/testsuite/gna/bug14953/testsuite.sh b/testsuite/gna/bug14953/testsuite.sh new file mode 100755 index 0000000..1e8b4b9 --- /dev/null +++ b/testsuite/gna/bug14953/testsuite.sh @@ -0,0 +1,12 @@ +#! /bin/sh + +. ../../testenv.sh + +analyze_failure bug.vhdl + +analyze bug2.vhdl +elab_simulate_failure bug + +clean + +echo "Test successful" |