fix profiling bug

Author: lefessan

cobc/ChangeLog

@@ -1,5 +1,14 @@
 
-2022-12-08  Simon Sobisch <[email protected]>
+2025-01-03  Fabrice Le Fessant <[email protected]>
+
+	* typeck.c (build_evaluate): fix a bug where EVALUATE fails in
+	  profiling mode. The reason was that a check for a last GOTO
+	  statement is not correctly written, because it was actually
+	  checking either a GOTO or not a statement, which was failing
+	  for true for instructions added by profiling. Fixed by
+	  checking only that the last statement is a GOTO.
+
+2024-12-08  Simon Sobisch <[email protected]>
 
 	* cobc.c (process_command_line): fix leak for --copy and -include parsing
 

cobc/typeck.c

@@ -10019,6 +10019,7 @@ build_evaluate (cb_tree subject_list, cb_tree case_list, cb_tree goto_end_label)
 		cb_source_line = old_line;
 
 	} else {
+		int need_end_goto = 1 ;
 		c2 = stmt;
 		/* Check if last statement is GO TO */
 		for (c3 = stmt; c3; c3 = CB_CHAIN (c3)) {
@@ -10028,11 +10029,14 @@ build_evaluate (cb_tree subject_list, cb_tree case_list, cb_tree goto_end_label)
 		}
 		if (c3 && CB_VALUE (c3) && CB_STATEMENT_P (CB_VALUE (c3))) {
 			c3 = CB_STATEMENT (CB_VALUE (c3))->body;
-			if (c3 && CB_VALUE (c3) && !CB_GOTO_P (CB_VALUE(c3))) {
-				/* Append the jump */
-				c2 = cb_list_add (stmt, goto_end_label);
+			if (c3 && CB_VALUE (c3) && CB_GOTO_P (CB_VALUE(c3))) {
+				need_end_goto = 0 ;
 			}
 		}
+		if ( need_end_goto ){
+			/* Append the jump */
+			c2 = cb_list_add (stmt, goto_end_label);
+		}
 		cb_emit (cb_build_if (cb_build_cond (c1), c2, NULL, STMT_WHEN));
 		build_evaluate (subject_list, CB_CHAIN (case_list), goto_end_label);
 	}