[gcc r16-1030] Daily bump.

Sun Jun 1 00:17:32 GMT 2025

https://gcc.gnu.org/g:673e4d1b1bda309f96c479b88b0fb6004c8273e5

commit r16-1030-g673e4d1b1bda309f96c479b88b0fb6004c8273e5
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Sun Jun 1 00:17:06 2025 +0000

    Daily bump.

Diff:
---
 gcc/ChangeLog           | 33 +++++++++++++++++
 gcc/DATESTAMP           |  2 +-
 gcc/m2/ChangeLog        | 97 +++++++++++++++++++++++++++++++++++++++++++++++++
 gcc/testsuite/ChangeLog | 20 ++++++++++
 4 files changed, 151 insertions(+), 1 deletion(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 3c37d272ccf6..53a5cbaa9385 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,36 @@
+2025-05-31  Andrew Pinski  <quic_apinski@quicinc.com>
+
+	* function.h (struct function): Remove last_verified.
+	* gimple-harden-conditionals.cc (pass_data_harden_compares): Remove
+	TODO_verify_il.
+	(pass_data_harden_conditional_branches): Likewise.
+	* gimple-harden-control-flow.cc (pass_harden_control_flow_redundancy::execute):
+	Don't return TODO_verify_il.
+	* ipa-strub.cc (pass_data_ipa_strub): Remove TODO_verify_il.
+	* passes.cc (TODO_verify_il): Define.
+	(execute_function_todo): Don't use or set last_verified.
+	(clear_last_verified): Remove.
+	(execute_one_ipa_transform_pass): Update comment before execute_todo.
+	Assert that none of the todos have TODO_verify_il set on it.
+	(execute_one_pass): Don't call clear_last_verified on all functions.
+	Assert that none of the todos have TODO_verify_il set on it.
+	* tree-inline.cc (initialize_cfun): Don't copy last_verified.
+	* tree-pass.h (TODO_verify_all): Remove.
+	* tree-vrp.cc (pass_data_early_vrp): Remove TODO_verify_all.
+	(pass_data_fast_vrp): Likewise.
+
+2025-05-31  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/120357
+	* tree-vect-loop.cc (vect_create_epilog_for_reduction): Create
+	the conditional reduction induction IV increment before the
+	main IV exit.
+
+2025-05-31  Gaius Mulley  <gaiusmod2@gmail.com>
+
+	PR modula2/120389
+	* doc/gm2.texi (-fm2-strict-type-reason): Document new flag.
+
 2025-05-30  David Malcolm  <dmalcolm@redhat.com>
 
 	PR other/116792
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index e844ed6f555e..42f5016bedf8 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20250531
+20250601
diff --git a/gcc/m2/ChangeLog b/gcc/m2/ChangeLog
index 0009211f75e4..5f13f6c1e474 100644
--- a/gcc/m2/ChangeLog
+++ b/gcc/m2/ChangeLog
@@ -1,3 +1,100 @@
+2025-06-01  Gaius Mulley  <gaiusmod2@gmail.com>
+
+	PR modula2/120497
+	* gm2-compiler/M2Range.mod (IsAssignmentCompatible): Remove from
+	import list.
+	(FoldTypeReturnFunc): Rewrite to skip the Lvalue of a var
+	variable.
+	(CodeTypeReturnFunc): Ditto.
+	(CodeTypeIndrX): Call AssignmentTypeCompatible rather than
+	IsAssignmentCompatible.
+	(FoldTypeIndrX): Ditto.
+
+2025-05-31  Gaius Mulley  <gaiusmod2@gmail.com>
+
+	PR modula2/120389
+	* gm2-compiler/M2Check.def (AssignmentTypeCompatible): Add new
+	parameter enableReason.
+	* gm2-compiler/M2Check.mod (EquivalenceProcedure): New type.
+	(falseReason2): New procedure function.
+	(falseReason1): Ditto.
+	(falseReason0): Ditto.
+	(checkTypeEquivalence): Rewrite.
+	(checkUnboundedArray): Ditto.
+	(checkUnbounded): Ditto.
+	(checkArrayTypeEquivalence): Ditto.
+	(checkCharStringTypeEquivalence): Ditto.
+	(buildError4): Add false reason.
+	(buildError2): Ditto.
+	(IsTyped): Use GetDType.
+	(IsTypeEquivalence): New procedure function.
+	(checkVarTypeEquivalence): Ditto.
+	(checkVarEquivalence ): Rewrite.
+	(checkConstMeta): Ditto.
+	(checkEnumField): New procedure function.
+	(checkEnumFieldEquivalence): Ditto.
+	(checkSubrangeTypeEquivalence): Rewrite.
+	(checkSystemEquivalence): Ditto.
+	(checkTypeKindViolation): Ditto.
+	(doCheckPair): Ditto.
+	(InitEquivalenceArray): New procedure.
+	(addEquivalence): Ditto.
+	(checkProcType): Rewrite.
+	(deconstruct): Deallocate reason string.
+	(AssignmentTypeCompatible): Initialize reason and reasonEnable
+	fields.
+	(ParameterTypeCompatible): Ditto.
+	(doExpressionTypeCompatible): Ditto.
+	* gm2-compiler/M2GenGCC.mod (CodeIndrX) Rewrite.
+	(CheckBinaryExpressionTypes): Rewrite and simplify now that the
+	type checker is more robust.
+	(CheckElementSetTypes): Ditto.
+	(CodeXIndr): Add new range assignment type check.
+	* gm2-compiler/M2MetaError.def: Correct comments.
+	* gm2-compiler/M2Options.def (SetStrictTypeAssignment): New procedure.
+	(SetStrictTypeReason): Ditto.
+	* gm2-compiler/M2Options.mod: (SetStrictTypeAssignment): New procedure.
+	(SetStrictTypeReason): Ditto.
+	(StrictTypeReason): Initialize.
+	(StrictTypeAssignment): Ditto.
+	* gm2-compiler/M2Quads.mod (CheckBreak): Delete.
+	(BreakQuad): New global variable.
+	(BreakAtQuad): Delete.
+	(gdbhook): New procedure.
+	(BreakWhenQuadCreated): Ditto.
+	(CheckBreak): Ditto.
+	(Init): Call BreakWhenQuadCreated and gdbhook.
+	(doBuildAssignment): Add type assignment range check.
+	(CheckProcTypeAndProcedure): Only check if the procedure
+	types differ.
+	(doIndrX): Add type IndrX range check.
+	(CheckReturnType): Add range return type check.
+	* gm2-compiler/M2Range.def (InitTypesIndrXCheck): New procedure
+	function.
+	(InitTypesReturnTypeCheck): Ditto.
+	* gm2-compiler/M2Range.mod (InitTypesIndrXCheck): New procedure
+	function.
+	(InitTypesReturnTypeCheck): Ditto.
+	(HandlerExists): Add new clauses.
+	(FoldAssignment): Pass extra FALSE parameter to
+	AssignmentTypeCompatible.
+	(FoldTypeReturnFunc): New procedure.
+	(FoldTypeAssign): Ditto.
+	(FoldTypeIndrX): Ditto.
+	(CodeTypeAssign): Rewrite.
+	(CodeTypeIndrX): New procedure.
+	(CodeTypeReturnFunc): Ditto.
+	(FoldTypeCheck): Add new case clauses.
+	(CodeTypeCheck): Ditto.
+	(FoldRangeCheckLower): Ditto.
+	(IssueWarning): Ditto.
+	* gm2-gcc/m2options.h (M2Options_SetStrictTypeAssignment): New
+	function prototype.
+	(M2Options_SetStrictTypeReason): Ditto.
+	* gm2-lang.cc (gm2_langhook_handle_option): New case clause
+	OPT_fm2_strict_type_reason.
+	* lang.opt (-fm2-strict-type-reason): New option.
+
 2025-05-22  Gaius Mulley  <gaiusmod2@gmail.com>
 
 	PR modula2/120389
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index f0d91289e174..52064cd36061 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,23 @@
+2025-06-01  Gaius Mulley  <gaiusmod2@gmail.com>
+
+	PR modula2/120497
+	* gm2/pim/pass/ReturnType.mod: New test.
+	* gm2/pim/pass/ReturnType2.mod: New test.
+
+2025-05-31  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/120357
+	* gcc.dg/vect/vect-early-break_136-pr120357.c: New testcase.
+
+2025-05-31  Gaius Mulley  <gaiusmod2@gmail.com>
+
+	PR modula2/120389
+	* gm2/pim/fail/testcharint.mod: New test.
+	* gm2/pim/fail/testindrx.mod: New test.
+	* gm2/pim/pass/testxindr.mod: New test.
+	* gm2/pim/pass/testxindr2.mod: New test.
+	* gm2/pim/pass/testxindr3.mod: New test.
+
 2025-05-30  David Malcolm  <dmalcolm@redhat.com>
 
 	PR other/116792
