1 files changed, 68 insertions, 0 deletions
diff --git a/testsuite/gna/ticket9/readme.txt b/testsuite/gna/ticket9/readme.txt
new file mode 100644
index 0000000..ae5f02c
--- /dev/null
+++ b/testsuite/gna/ticket9/readme.txt
@@ -0,0 +1,68 @@
+GHDL 0.31-mcode index out of range behavior 
+
+---------------------
+Information
+
+GHDL     : GHDL-0.31 release source tree
+COMPILER : GNAT 2013
+OS       : XP SP3 32 bit
+
+The attached zip file contains two testcases for index out of range.
+
+---------------------
+index_range_test_A.vhd 
+
+This test indexes off the end of an unconstrained port of type bit_vector.
+
+This version exits abnormally, with no message, for GHDL-0.31-mcode on Windows:
+
+    C:\brian\jobs\ghdl_test\test_exceptions>ghdl -r index_range_test_A
+
+    This application has requested the Runtime to terminate it in an unusual way.
+    Please contact the application's support team for more information.
+
+In contrast, ghdl-gcc 0.27 prints the offending code line number:
+
+    $ ghdl -r index_range_test_A
+    ./index_range_test_a:error: bound check failure at index_range_test_A.vhd:19
+    ghdl: compilation error
+
+
+The same abnormal exit behavior is seen for ghdl-mcode when running test suite gna/bug16782
+
+---------------------
+index_range_test_B.vhd 
+
+This test indexes off the end of a bit_vector signal of static width.
+
+This version exits with an overflow message for GHDL-0.31-mcode:
+
+    C:\brian\jobs\ghdl_test\test_exceptions>ghdl -r index_range_test_B
+    c:\ghdl\ghdl-0.31\bin\ghdl.exe:error: overflow detected
+    c:\ghdl\ghdl-0.31\bin\ghdl.exe:error: simulation failed
+
+
+In contrast, ghdl-gcc 0.27 prints the offending code line number:
+
+    $ ghdl -r index_range_test_B
+    ./index_range_test_b:error: bound check failure at index_range_test_B.vhd:22
+    ./index_range_test_b:error: simulation failed
+    ghdl: compilation error
+
+
+---------------------
+Related ghdl-discuss messages:
+
+https://mail.gna.org/public/ghdl-discuss/2014-01/msg00233.html
+https://mail.gna.org/public/ghdl-discuss/2014-01/msg00237.html
+
+---------------------
+zip file contents:
+
+  readme.txt : this file
+
+  index_range_test_A.vhd
+  index_range_test_A.ghdl-0.31-mcode.win32.log
+
+  index_range_test_B.vhd
+  index_range_test_B.ghdl-0.31-mcode.win32.log