Daily bump.

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 3c37d272ccf64c9c5e2dbee38fee0025aef41fae..53a5cbaa9385916d7c70417a0010839a8703e82a 100644 (file)
--- 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 e844ed6f555ee9d9992008bd3aa981b67827db8f..42f5016bedf8d486a4f572cd1471f1d6f9179f6e 100644 (file)
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20250531
+20250601

diff --git a/gcc/m2/ChangeLog b/gcc/m2/ChangeLog
index 0009211f75e427a4e8797c16de48ce640b695d22..5f13f6c1e474c2ba0b25148b34baa5eff59d8002 100644 (file)
--- 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 f0d91289e17422dc4c5c8423f4ba32fd0d86b19e..52064cd360611815c8dbf1422c72b432a6f24fcd 100644 (file)
--- 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