Add exception failure to config

Author: emilienlemaire

cobc/codegen.c

@@ -9206,7 +9206,8 @@ output_stmt (cb_tree x)
 			}
 		}
 
-		if (!p->ex_handler || (p->ex_handler && p->handler_type != SIZE_ERROR_HANDLER)) {
+		if ((!p->ex_handler || (p->ex_handler && p->handler_type != SIZE_ERROR_HANDLER))
+			&& cb_fatal_exceptions_fail) {
 			output_size_exception_handler(p);
 		}
 

cobc/config.def

@@ -203,6 +203,9 @@ CB_CONFIG_BOOLEAN (cb_areacheck, "areacheck",
 	  "                         * statements must not start in Area A; and\n"
 	  "                         * separator periods must not be within Area A"))
 
+CB_CONFIG_BOOLEAN (cb_fatal_exceptions_fail, "fatal-exceptions-fail",
+	_("fail when a fatal exception is set and not handled in the program"))
+
 /* Support flags */
 
 CB_CONFIG_SUPPORT (cb_comment_paragraphs, "comment-paragraphs",

config/ChangeLog

@@ -1,3 +1,7 @@
+2025-10-09  Emilien Lemaire <[email protected]>
+
+	* general: add option fatal-exceptions-fail
+
 
 2025-04-22  Chuck Haatvedt  <[email protected]>
 

config/acu-strict.conf

@@ -40,6 +40,10 @@ pic-length:			100
 # Enable AREACHECK by default, for reference formats other than {fixed,free}
 areacheck:			no	# not verified yet
 
+# If yes fatal exceptions will fail if left unchecked, otherwise
+# they will not be checked at runtime
+fatal-exceptions-fail:		no
+
 # Default assign type
 # Value: 'dynamic', 'external'
 assign-clause:			dynamic

config/bs2000-strict.conf

@@ -42,6 +42,10 @@ pic-length:			50
 # Enable AREACHECK by default, for reference formats other than {fixed,free}
 areacheck:			yes
 
+# If yes fatal exceptions will fail if left unchecked, otherwise
+# they will not be checked at runtime
+fatal-exceptions-fail:		no
+
 # Default assign type
 # Value: 'dynamic', 'external'
 assign-clause:			external

config/cobol2002.conf

@@ -40,6 +40,10 @@ pic-length:			50
 # Enable AREACHECK by default, for reference formats other than {fixed,free}
 areacheck:			no
 
+# If yes fatal exceptions will fail if left unchecked, otherwise
+# they will not be checked at runtime
+fatal-exceptions-fail:		yes
+
 # Default assign type
 # Value: 'dynamic', 'external'
 # Note: standard COBOL supports neither of them but has USING data-name for DYNAMIC

config/cobol2014.conf

@@ -40,6 +40,10 @@ pic-length:			63
 # Enable AREACHECK by default, for reference formats other than {fixed,free}
 areacheck:			no
 
+# If yes fatal exceptions will fail if left unchecked, otherwise
+# they will not be checked at runtime
+fatal-exceptions-fail:		yes
+
 # Default assign type
 # Value: 'dynamic', 'external'
 # Note: standard COBOL supports neither of them but has USING data-name for DYNAMIC

config/cobol85.conf

@@ -40,6 +40,10 @@ pic-length:			30
 # Enable AREACHECK by default, for reference formats other than {fixed,free}
 areacheck:			yes
 
+# If yes fatal exceptions will fail if left unchecked, otherwise
+# they will not be checked at runtime
+fatal-exceptions-fail:		no
+
 # Default assign type
 # Value: 'dynamic', 'external'
 # Note: standard COBOL supports neither of them, later have USING data-name for DYNAMIC

config/default.conf

@@ -61,6 +61,10 @@ pic-length:			255
 # Enable AREACHECK by default, for reference formats other than {fixed,free}
 areacheck:			no
 
+# If yes fatal exceptions will fail if left unchecked, otherwise
+# they will not be checked at runtime
+fatal-exceptions-fail:		yes
+
 # Default assign type
 # Value: 'dynamic', 'external'
 assign-clause:			dynamic

config/gcos-strict.conf

@@ -37,6 +37,10 @@ pic-length:			30
 # Enable AREACHECK by default, for reference formats other than {fixed,free}
 areacheck:			yes
 
+# If yes fatal exceptions will fail if left unchecked, otherwise
+# they will not be checked at runtime
+fatal-exceptions-fail:		no
+
 assign-clause:			external
 
 # If yes, file names are resolved at run time using