feat(*): ゼロ除算のエラー検出機能を追加

feat(*): Add error check that division by zero

異常動作の原因となるゼロ除算を検出するため、該当箇所をエラーとするオプションと動作を追加した。
* コンフィグファイルのオプションに「zero_division_error」を追加した。yesとすることで機能が有効となる。
* オプションが有効な場合、以下の動作が追加される。
** 計算式に数値のゼロでの除算が含まれている場合、コンパイルエラーとする
** 変数を使った除算で、変数にゼロが代入され、ゼロ除算となる場合、実行時エラーとする
** ON SIZE ERROR句が記述されている場合には実行時エラーとならずハンドルされる
* テストケースとして、catch-exception.atを追加した

Author: n-isaka

cobc/codegen.c

@@ -3267,6 +3267,12 @@ output_stmt (cb_tree x)
 			output_line ("cob_exception_code = 0;");
 		}
 
+		if (cb_zero_division_error && p->name &&
+			((strcmp (p->name, "DIVIDE") == 0) || (strcmp (p->name, "COMPUTE") == 0)) &&
+				(!p->handler1 && !p->handler2)) {
+			output_line ("cob_error_on_exit_flag = 1;");
+		}
+
 		if (p->null_check) {
 			output_stmt (p->null_check);
 		}

cobc/config.def

@@ -59,6 +59,7 @@ CB_CONFIG_BOOLEAN (cb_switch_no_mnemonic, "switch-no-mnemonic")
 CB_CONFIG_BOOLEAN (cb_allow_is_in_sort_key_spec, "allow-is-in-sort-key-spec")
 CB_CONFIG_BOOLEAN (cb_allow_search_key_in_rhs, "allow-search-key-in-rhs")
 CB_CONFIG_BOOLEAN (cb_ignore_invalid_record_contains, "ignore-invalid-record-contains")
+CB_CONFIG_BOOLEAN (cb_zero_division_error, "zero_division_error")
 CB_CONFIG_SUPPORT (cb_author_paragraph, "author-paragraph")
 CB_CONFIG_SUPPORT (cb_memory_size_clause, "memory-size-clause")
 CB_CONFIG_SUPPORT (cb_multiple_file_tape_clause, "multiple-file-tape-clause")

cobc/tree.c

@@ -2251,6 +2251,12 @@ cb_build_binary_op (cb_tree x, int op, cb_tree y)
 		if (x == cb_error_node || y == cb_error_node) {
 			return cb_error_node;
 		}
+		if (cb_zero_division_error && op == '/') {
+			y = cb_check_zero_division (y);
+			if (y == cb_error_node) {
+				return cb_error_node;
+			}
+		}
 		category = CB_CATEGORY_NUMERIC;
 		break;
 

cobc/tree.h

@@ -260,6 +260,7 @@ extern int		cb_fits_long_long (cb_tree x);
 extern int		cb_get_int (cb_tree x);
 extern int		cb_is_digist_data (cb_tree x);
 extern long long	cb_get_long_long (cb_tree x);
+extern cb_tree          cb_check_zero_division(cb_tree x);
 
 /*
  * Constants

cobc/typeck.c

@@ -7717,3 +7717,22 @@ cb_build_write_advancing_page (cb_tree pos)
 
 	return cb_int (opt | COB_WRITE_PAGE);
 }
+
+cb_tree
+cb_check_zero_division (cb_tree x)
+{
+	if (x == cb_error_node) {
+		return cb_error_node;
+	}
+
+	if (! CB_NUMERIC_LITERAL_P (x)) {
+		return x;
+	}
+
+	if (cb_get_int(x) == 0) {
+		cb_error_x (x, _("Detected division by zero."));	
+		return cb_error_node;
+	}
+
+	return x;
+}

config/default-en.conf

@@ -147,3 +147,4 @@ switch-no-mnemonic:			no
 allow-is-in-sort-key-spec:		no
 allow-search-key-in-rhs:		no
 ignore-invalid-record-contains:		no
+zero_division_error:			no

config/default-jp.conf

@@ -147,3 +147,4 @@ switch-no-mnemonic:			no
 allow-is-in-sort-key-spec:		no
 allow-search-key-in-rhs:		no
 ignore-invalid-record-contains:		no
+zero_division_error:			yes

config/default.conf

@@ -147,3 +147,4 @@ switch-no-mnemonic:			no
 allow-is-in-sort-key-spec:		no
 allow-search-key-in-rhs:		no
 ignore-invalid-record-contains:		no
+zero_division_error:			no

config/jp-compat.conf

@@ -22,6 +22,7 @@ switch-no-mnemonic:			yes
 allow-is-in-sort-key-spec:		yes
 allow-search-key-in-rhs:		yes
 ignore-invalid-record-contains:		yes
+zero_division_error:			yes
 
 # Value: 'any', 'fatal', 'never'
 abort-on-io-exception: 			fatal

libcob/common.c

@@ -169,6 +169,7 @@ struct cob_module	*cob_current_module = NULL;
 
 int			cob_initialized = 0;
 int			cob_exception_code = 0;
+int			cob_error_on_exit_flag = 0;
 
 int			cob_call_params = 0;
 int			cob_save_call_params = 0;