test(*): 添え字範囲外チェックのテストを追加

test(*): Add test code subscript out of bounds

従来のテストでは"-debug"オプションを有効として添え字範囲外エラーを確認していた。
そのため、"-debug"がない状態での添え字範囲外の動作と新規オプションに対するテストを追加した。

Author: n-isaka

tests/atlocal.in

@@ -37,10 +37,12 @@ TEMPLATE="${abs_srcdir}/data-rep.src"
 FLAGS="-std=cobol2002 -debug -Wall ${COBOL_FLAGS}"
 FLAGS_NONE=""
 FLAGS_JP_COMPAT="${FLAGS} ${CONF_JP_COMPAT}"
+FLAGS_JP_COMPAT_NONE="${FLAGS_NONE} ${CONF_JP_COMPAT}"
 FLAGS_LIMIT_TEST="${FLAGS} ${CONF_LIMIT_TEST}"
 COMPILE="${COBC} -x ${FLAGS}"
 COMPILE_DEFAULT="${COBC} -x ${FLAGS_NONE}"
 COMPILE_JP_COMPAT="${COBC} -x ${FLAGS_JP_COMPAT}"
+COMPILE_JP_COMPAT_DEFAULT="${COBC} -x ${FLAGS_JP_COMPAT_NONE}"
 COMPILE_LIMIT_TEST="${COBC} -x ${FLAGS_LIMIT_TEST}"
 COMPILE_ONLY="${COBC} -fsyntax-only ${FLAGS}"
 COMPILE_ONLY_JP_COMPAT="${COBC} -fsyntax-only ${FLAGS_JP_COMPAT}"

tests/run.src/subscripts.at

@@ -421,3 +421,49 @@ AT_CHECK([./prog], [1], ,
 ])
 
 AT_CLEANUP
+
+
+AT_SETUP([Subscript out of bounds without debug])
+
+AT_DATA([prog.cob], [
+       IDENTIFICATION   DIVISION.
+       PROGRAM-ID.      prog.
+       DATA             DIVISION.
+       WORKING-STORAGE  SECTION.
+       01 G.
+         02 X           PIC X OCCURS 10.
+       01 I             PIC 9 VALUE 0.
+       01 Z             PIC X.
+       PROCEDURE        DIVISION.
+           MOVE Z TO X(I).
+           STOP RUN.
+])
+
+AT_CHECK([${COMPILE_DEFAULT} -o prog prog.cob])
+AT_CHECK([./prog], [0])
+
+AT_CLEANUP
+
+
+AT_SETUP([Subscript out of bounds check option])
+
+AT_DATA([prog.cob], [
+       IDENTIFICATION   DIVISION.
+       PROGRAM-ID.      prog.
+       DATA             DIVISION.
+       WORKING-STORAGE  SECTION.
+       01 G.
+         02 X           PIC X OCCURS 10.
+       01 I             PIC 9 VALUE 0.
+       01 Z             PIC X.
+       PROCEDURE        DIVISION.
+           MOVE Z TO X(I).
+           STOP RUN.
+])
+
+AT_CHECK([${COMPILE_JP_COMPAT_DEFAULT} -o prog prog.cob])
+AT_CHECK([./prog], [1], ,
+[libcob: Subscript of 'X' out of bounds: 0
+])
+
+AT_CLEANUP