https://gcc.gnu.org/g:10962b0810bc0e2542017f77802f85b06b2476b9
commit r16-9114-g10962b0810bc0e2542017f77802f85b06b2476b9 Author: GCC Administrator <[email protected]> Date: Tue Jun 16 00:20:33 2026 +0000 Daily bump. Diff: --- gcc/ChangeLog | 100 ++++++++++++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/fortran/ChangeLog | 167 +++++++++++++++++++++++++++++++++++++++++++++++ gcc/testsuite/ChangeLog | 170 ++++++++++++++++++++++++++++++++++++++++++++++++ 4 files changed, 438 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 0b9a6564efaa..fc79e09649f1 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,103 @@ +2026-06-15 Richard Biener <[email protected]> + + Backported from master: + 2026-06-08 Richard Biener <[email protected]> + + PR tree-optimization/125652 + * tree-chrec.cc (chrec_fold_plus_poly_poly): Avoid UB + integer overflow in accumulating CHREC_RIGHT. + +2026-06-15 Richard Biener <[email protected]> + + Backported from master: + 2026-06-10 Richard Biener <[email protected]> + + PR tree-optimization/125686 + * tree-vect-patterns.cc (synth_lshift_by_additions): Specify + pattern vector type. + (apply_binop_and_append_stmt): Likewise. + (vect_synth_mult_by_constant): Adjust. + +2026-06-15 Richard Biener <[email protected]> + + Backported from master: + 2026-06-08 Richard Biener <[email protected]> + + PR tree-optimization/125646 + * tree-vect-patterns.cc (vect_synth_mult_by_constant): Assign + vector type to the pattern def sequence stmts. + +2026-06-15 Richard Biener <[email protected]> + + Backported from master: + 2026-06-02 Richard Biener <[email protected]> + + PR tree-optimization/125553 + * tree-ssa-sccvn.cc (visit_nary_op): Valueize the BIT_FIELD_REF + operand before looking at its definition. + +2026-06-15 Richard Biener <[email protected]> + + Backported from master: + 2026-06-02 Richard Biener <[email protected]> + + PR tree-optimization/125545 + * tree-ssa-reassoc.cc (insert_stmt_after): Allow asm goto + with a single successor. + +2026-06-15 Richard Biener <[email protected]> + + Backported from master: + 2026-06-02 Richard Biener <[email protected]> + + PR tree-optimization/125502 + * tree-ssa-forwprop.cc (optimize_vector_load): Do not + move defs of abnormals. + +2026-06-15 Richard Biener <[email protected]> + + Backported from master: + 2026-06-03 Richard Biener <[email protected]> + + PR tree-optimization/125477 + * tree-vect-loop-manip.cc (vect_loop_versioning): Verify we + can duplicate an outer loop before considering to version it. + +2026-06-15 Kishan Parmar <[email protected]> + + Backported from master: + 2026-05-04 Kishan Parmar <[email protected]> + + * config.gcc (powerpc*-*-*): Add support for supporting + --with-cpu=future. + * config/rs6000/aix71.h (ASM_CPU_SPEC): Pass -mfuture to the assembler + if the user used the -mcpu=future option. + * config/rs6000/aix72.h (ASM_CPU_SPEC): Likewise. + * config/rs6000/aix73.h (ASM_CPU_SPEC): Likewise. + * config/rs6000/rs6000-builtin.cc (rs6000_invalid_builtin): Handle + ENB_FUTURE and issue diagnostic requiring -mcpu=future. + (rs6000_builtin_is_supported): Return TARGET_FUTURE for + ENB_FUTURE built-ins. + * config/rs6000/rs6000-c.cc (rs6000_target_modify_macros): Define + _ARCH_FUTURE if -mcpu=future. + * config/rs6000/rs6000-cpus.def (FUTURE_MASKS_SERVER): New macro. + (POWERPC_MASKS): Add OPTION_MASK_FUTURE. + (rs6000_cpu_opt_value): New entry for 'future' via the RS6000_CPU macro. + * config/rs6000/rs6000-gen-builtins.cc (enum bif_stanza): Add + BSTZ_FUTURE for future. + (write_decls): Add ENB_FUTURE in bif_enable enum of generated header + file. + * config/rs6000/rs6000-opts.h (PROCESSOR_FUTURE): New macro. + * config/rs6000/rs6000-tables.opt: Regenerate. + * config/rs6000/rs6000.cc (rs6000_machine_from_flags) If -mcpu=future, + set the .machine directive to "future". + (rs6000_opt_masks): Add entry for -mfuture. + * config/rs6000/rs6000.h (ASM_CPU_SPEC): Pass -mfuture to the assembler + if the user used the -mcpu=future option. + * config/rs6000/rs6000.opt (-mfuture): New option. + * doc/invoke.texi (IBM RS/6000 and PowerPC Options): Document + -mcpu=future. + 2026-06-11 Georg-Johann Lay <[email protected]> Backported from master: diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 70de59d01254..a667d62b7762 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20260615 +20260616 diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index b612894de54e..b74b7d2f1684 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,170 @@ +2026-06-15 Jerry DeLisle <[email protected]> + + Backported from master: + 2026-06-15 Jerry DeLisle <[email protected]> + + PR fortran/125430 + * trans-decl.cc (build_function_decl): Set TREE_PUBLIC for all + module-contained procedures so submodules compiled as separate + translation units can reach them via host association. Also set + DECL_VISIBILITY to VISIBILITY_HIDDEN for PRIVATE procedures, + matching the existing treatment of module variables. + +2026-06-15 Paul Thomas <[email protected]> + + Backported from master: + 2026-06-15 Paul Thomas <[email protected]> + + PR fortran/125527 + * class.cc (gfc_find_derived_vtab): Stash module namespace and + use it as the last place to search for the vtab before building + a new one. + +2026-06-15 Jerry DeLisle <[email protected]> + + Backported from master: + 2026-06-15 Jerry DeLisle <[email protected]> + + PR fortran/125535 + * trans-array.cc (gfc_constructor_is_owned_alloc_comp): New function. + (gfc_trans_array_constructor_value): Add OWNED_SWEEP parameter and, + when set, suppress the per-element finalization. Pass it through the + recursive call. + (trans_array_constructor): Compute OWNED_SWEEP and, when set, + deallocate the allocatable components of the whole temporary in one + sweep. + +2026-06-15 Jerry DeLisle <[email protected]> + + Backported from master: + 2026-06-15 Jerry DeLisle <[email protected]> + + PR fortran/125650 + * match.cc (match_association_list): Handle ASSOCIATE selectors + that are overloaded intrinsic operator expressions by extending + them with gfc_extend_expr at parse time, so the associate name is + typed before the construct body is parsed. + +2026-06-15 Jerry DeLisle <[email protected]> + + Backported from master: + 2026-06-15 Jerry DeLisle <[email protected]> + + PR fortran/125481 + * interface.cc (gfc_compare_actual_formal): Add missing check that + rejects a procedure-pointer actual argument corresponding to a + data-object dummy argument (F23:15.5.2.5, para 2). Restrict to + EXPR_VARIABLE to avoid false positives on calls through procedure + pointer components. + +2026-06-15 Jerry DeLisle <[email protected]> + + Backported from master: + 2026-06-15 Jerry DeLisle <[email protected]> + + PR fortran/125527 + * class.cc (gfc_find_derived_vtab): Stop the top-level namespace + walk at module/submodule boundaries to avoid escaping a submodule + into its ancestor module namespace. + * openmp.cc (gfc_omp_requires_add_clause): Likewise; treat the + submodule as its own program unit for OMP REQUIRES. + (gfc_match_omp_requires): Likewise; allow OMP REQUIRES in a submodule + spec part even when gfc_current_ns->parent is now non-NULL. + (gfc_match_omp_atomic): Likewise. + * parse.cc (parse_module): After processing USE statements and + host-association traversal, link the submodule namespace to its + ancestor module namespace so internal subprograms are visible via + host association (Fortran 2018, 14.6.1.3). + (clean_up_modules): Reset gfc_current_ns->parent before gfc_done_2 + to prevent double-free of the ancestor module namespace. + +2026-06-15 Jerry DeLisle <[email protected]> + + Backported from master: + 2026-06-15 Jerry DeLisle <[email protected]> + + PR fortran/125528 + * class.cc (find_typebound_proc_uop): Set root = NULL instead of + returning NULL when derived type lacks f2k_derived, so parent-type + type-bound procedures and operators are still found via inheritance. + * match.cc (resolve_assoc_operand): New helper. + (infer_typebound_uop_type): New helper. + (extend_assoc_op): New helper. + (match_association_list): Handle ASSOCIATE selectors that are + type-bound user-defined operator expressions, including nested cases. + * resolve.cc (resolve_typebound_procedures): Move resolve_symbol + call for the parent type before the early return so inherited + type-bound bindings are resolved even when the child type has none + of its own. + +2026-06-15 Jerry DeLisle <[email protected]> + + Backported from master: + 2026-06-15 Jerry DeLisle <[email protected]> + + PR fortran/125529 + * resolve.cc (check_default_none_expr): Use d->code instead of + sym->ns->code to locate the DO CONCURRENT forall_iterator list, + avoiding a wrong-union-member read when the symbol's namespace is + an ASSOCIATE body. Skip leading underscore when comparing iterator + names for shadow iterators. + +2026-06-15 Jerry DeLisle <[email protected]> + + Backported from master: + 2026-06-15 Jerry DeLisle <[email protected]> + + PR fortran/125530 + * match.cc (gfc_match_call): Route ASSOCIATE names followed by '%' + to match_typebound_call without first resolving the selector, to + avoid prematurely marking a contained-function selector as EXTERNAL. + * symbol.cc (find_derived_types): Also search type-bound procedure + names via gfc_find_typebound_proc when inferring the type of an + inferred-type ASSOCIATE name; exclude vtable types. + +2026-06-15 Jerry DeLisle <[email protected]> + + Backported from master: + 2026-06-15 Jerry DeLisle <[email protected]> + + PR fortran/125531 + * primary.cc (gfc_match_varspec): Before erroring on a zero-argument + COMPCALL, check for a same-named data component and fall back to the + data-component path. For inferred-type ASSOCIATE names, retry + gfc_find_component with noaccess=true when the normal search fails. + +2026-06-15 Jerry DeLisle <[email protected]> + + Backported from master: + 2026-06-15 Jerry DeLisle <[email protected]> + + * resolve.cc (replace_in_code_recursive): Add EXEC_BLOCK case to + replace shadow iterator references in ASSOCIATE selector expressions + and the ASSOCIATE body namespace. + +2026-06-15 Jerry DeLisle <[email protected]> + + Backported from master: + 2026-06-15 Jerry DeLisle <[email protected]> + + PR fortran/125534 + * trans-stmt.cc (gfc_trans_allocate): Use GFC_TYPE_ARRAY_RANK from + the GFC descriptor type when se.expr is a descriptor, rather than + expr->rank, for the rank passed to gfc_allocate_pdt_comp. Apply + the same fix to the CLASS path. + (gfc_trans_deallocate): Likewise for gfc_deallocate_pdt_comp. + +2026-06-15 Jerry DeLisle <[email protected]> + + Backported from master: + 2026-06-15 Jerry DeLisle <[email protected]> + + PR fortran/125535 + * trans-expr.cc (gfc_conv_procedure_call): Move post block append + to after the deep copy of allocatable components for transformational + intrinsics, so that argument temporaries are not freed before the + result components are copied. + 2026-06-09 Paul Thomas <[email protected]> Backported from master: diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 0f8d431e6b21..d3ae26db96c2 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,173 @@ +2026-06-15 Jerry DeLisle <[email protected]> + + Backported from master: + 2026-06-15 Jerry DeLisle <[email protected]> + + PR fortran/125430 + * gfortran.dg/module_private_2.f90: Remove scan-tree-dump-times + assertion for 'priv'; PRIVATE module procedures now have global + linkage with hidden visibility and are no longer optimized away. + * gfortran.dg/public_private_module_2.f90: Add xfail markers to + scan-assembler-not for 'two' and 'six'; update comment to mention + procedures alongside variables. + * gfortran.dg/public_private_module_7.f90: Add xfail marker to + scan-assembler-not for '__m_common_attrs_MOD_other'. + * gfortran.dg/public_private_module_8.f90: Add xfail marker to + scan-assembler-not for '__m_MOD_myotherlen'. + * gfortran.dg/submodule_private_host.f90: New test. + * gfortran.dg/submodule_private_host_aux.f90: New auxiliary file. + * gfortran.dg/warn_unused_function_2.f90: Remove 'defined but not + used' expectation for s1; PRIVATE module procedures now have + global linkage and no longer trigger the unused-function warning. + +2026-06-15 Jerry DeLisle <[email protected]> + + Backported from master: + 2026-06-15 Jerry DeLisle <[email protected]> + + PR fortran/125535 + * gfortran.dg/asan/implied_do_alloc_comp_leak_1.f90: New test. + +2026-06-15 Jerry DeLisle <[email protected]> + + Backported from master: + 2026-06-15 Jerry DeLisle <[email protected]> + + PR fortran/125650 + * gfortran.dg/associate_81.f90: New test. + +2026-06-15 Jerry DeLisle <[email protected]> + + Backported from master: + 2026-06-15 Jerry DeLisle <[email protected]> + + PR fortran/125481 + * gfortran.dg/generic_37.f90: New test. + * gfortran.dg/generic_38.f90: New test. + +2026-06-15 Jerry DeLisle <[email protected]> + + Backported from master: + 2026-06-15 Jerry DeLisle <[email protected]> + + PR fortran/125527 + * gfortran.dg/submodule_host_assoc_1.f90: New test. + * gfortran.dg/submodule_host_assoc_1_aux.f90: New test. + +2026-06-15 Jerry DeLisle <[email protected]> + + Backported from master: + 2026-06-15 Jerry DeLisle <[email protected]> + + PR fortran/125528 + * gfortran.dg/associate_80.f90: New test. + +2026-06-15 Jerry DeLisle <[email protected]> + + Backported from master: + 2026-06-15 Jerry DeLisle <[email protected]> + + PR fortran/125529 + * gfortran.dg/do_concurrent_assoc_default_none.f90: New test. + +2026-06-15 Jerry DeLisle <[email protected]> + + Backported from master: + 2026-06-15 Jerry DeLisle <[email protected]> + + PR fortran/125530 + * gfortran.dg/associate_contained_func_typebound.f90: New test. + * gfortran.dg/associate_contained_func_typebound_2.f90: New + run-time test exercising generic resolution and a module-scope + selector. + +2026-06-15 Jerry DeLisle <[email protected]> + + Backported from master: + 2026-06-15 Jerry DeLisle <[email protected]> + + PR fortran/125531 + * gfortran.dg/associate_infer_program_type.f90: New test. + +2026-06-15 Jerry DeLisle <[email protected]> + + Backported from master: + 2026-06-15 Jerry DeLisle <[email protected]> + + * gfortran.dg/do_concurrent_assoc_iter_1.f90: New test. + +2026-06-15 Jerry DeLisle <[email protected]> + + Backported from master: + 2026-06-15 Jerry DeLisle <[email protected]> + + PR fortran/125534 + * gfortran.dg/pdt_array_alloc_1.f90: New test. + +2026-06-15 Jerry DeLisle <[email protected]> + + Backported from master: + 2026-06-15 Jerry DeLisle <[email protected]> + + PR fortran/125535 + * gfortran.dg/implied_do_alloc_comp_1.f90: New test. + +2026-06-15 Richard Biener <[email protected]> + + Backported from master: + 2026-06-08 Richard Biener <[email protected]> + + PR tree-optimization/125652 + * gcc.dg/torture/pr125652.c: New testcase. + +2026-06-15 Richard Biener <[email protected]> + + Backported from master: + 2026-06-08 Richard Biener <[email protected]> + + PR tree-optimization/125646 + * gcc.dg/vect/pr125646.c: New testcase. + +2026-06-15 Richard Biener <[email protected]> + + Backported from master: + 2026-06-02 Richard Biener <[email protected]> + + PR tree-optimization/125553 + * gcc.dg/torture/pr125553.c: New testcase. + +2026-06-15 Richard Biener <[email protected]> + + Backported from master: + 2026-06-02 Richard Biener <[email protected]> + + PR tree-optimization/125545 + * gcc.dg/torture/pr125545.c: New testcase. + +2026-06-15 Richard Biener <[email protected]> + + Backported from master: + 2026-06-02 Richard Biener <[email protected]> + + PR tree-optimization/125502 + * gcc.dg/torture/pr125502.c: New testcase. + +2026-06-15 Richard Biener <[email protected]> + + Backported from master: + 2026-06-03 Richard Biener <[email protected]> + + PR tree-optimization/125477 + * gcc.dg/torture/pr125477.c: New testcase. + +2026-06-15 Kishan Parmar <[email protected]> + + Backported from master: + 2026-05-04 Kishan Parmar <[email protected]> + + * gcc.target/powerpc/future-1.c: New test. + * gcc.target/powerpc/future-2.c: Likewise. + 2026-06-13 Martin Uecker <[email protected]> Backported from master:
