diff options
-rw-r--r-- | testsuite/gna/issue368/bug.vhdl | 21 | ||||
-rwxr-xr-x | testsuite/gna/issue368/testsuite.sh | 10 |
2 files changed, 31 insertions, 0 deletions
diff --git a/testsuite/gna/issue368/bug.vhdl b/testsuite/gna/issue368/bug.vhdl new file mode 100644 index 000000000..9a02d7f2c --- /dev/null +++ b/testsuite/gna/issue368/bug.vhdl @@ -0,0 +1,21 @@ +entity bug is +end entity bug; + +architecture bug of bug is + signal uninitialized_real:real; -- yea--this is poor coding practice +begin + process + begin + report "bug="&real'image(uninitialized_real); -- prints out initial value -1.797693134862316e308 + + wait for 1 ns; + + uninitialized_real<=2.0*uninitialized_real; -- result is apparently IEEE Inf + wait for 0 ns; -- delta cycle to let new value take. + + report "bug="&real'image(uninitialized_real); -- this line never completes + -- gets stuck in an infinite loop in grt.vstrings.to_string. Relevant source file: grt-vstrings.adb + -- Apparent reason for infinite loop--routine cannot determine exponent because the argument is Inf. + wait; + end process; +end architecture; diff --git a/testsuite/gna/issue368/testsuite.sh b/testsuite/gna/issue368/testsuite.sh new file mode 100755 index 000000000..8e2a7272f --- /dev/null +++ b/testsuite/gna/issue368/testsuite.sh @@ -0,0 +1,10 @@ +#! /bin/sh + +. ../../testenv.sh + +analyze bug.vhdl +elab_simulate_failure bug + +clean + +echo "Test successful" |