diff options
Diffstat (limited to 'testsuite/gna')
| -rw-r--r-- | testsuite/gna/issue810/nullrng.vhdl | 10 | ||||
| -rwxr-xr-x | testsuite/gna/issue810/testsuite.sh | 3 |
2 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/gna/issue810/nullrng.vhdl b/testsuite/gna/issue810/nullrng.vhdl new file mode 100644 index 000000000..caa493df4 --- /dev/null +++ b/testsuite/gna/issue810/nullrng.vhdl @@ -0,0 +1,10 @@ +package nullrng is + + type my_time is range -integer'low to integer'high units + fs; ps= 1000 fs; ns= 1000 ps; us= 1000 ns; -- very short + ms= 1000 us; sec= 1000 ms; min= 60 sec; hr= 60 min; -- longer + end units; + type my_empty_range is range -(-8) to 7; + type my_small_range is range -8 to 7; + +end; diff --git a/testsuite/gna/issue810/testsuite.sh b/testsuite/gna/issue810/testsuite.sh index 7da7af956..fc33d532e 100755 --- a/testsuite/gna/issue810/testsuite.sh +++ b/testsuite/gna/issue810/testsuite.sh @@ -5,6 +5,9 @@ analyze repro.vhdl elab_simulate repro +analyze nullrng.vhdl +analyze_failure -Werror nullrng.vhdl + clean echo "Test successful" |