https://gcc.gnu.org/g:d5a8ecb5477a180e614bd6fa1d194dc8d5c8d0fb
commit r17-3347-gd5a8ecb5477a180e614bd6fa1d194dc8d5c8d0fb Author: GCC Administrator <[email protected]> Date: Tue Aug 18 00:16:35 2026 +0000 Daily bump. Diff: --- ChangeLog | 6 +++ gcc/ChangeLog | 133 ++++++++++++++++++++++++++++++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/cobol/ChangeLog | 13 +++++ gcc/cp/ChangeLog | 8 +++ gcc/fortran/ChangeLog | 64 ++++++++++++++++++++++ gcc/testsuite/ChangeLog | 137 ++++++++++++++++++++++++++++++++++++++++++++++++ libgomp/ChangeLog | 6 +++ libstdc++-v3/ChangeLog | 29 ++++++++++ 9 files changed, 397 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index dcdfab36fd96..8c5be70877d7 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2026-08-17 Kyrylo Tkachov <[email protected]> + + * Makefile.def (dependencies): Remove the configure-target-libstdc++-v3 + on configure-target-libgomp dependency. + * Makefile.in: Regenerate. + 2026-08-14 Pierre-Emmanuel Patry <[email protected]> * MAINTAINERS: Regenerate. diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 1b2b38d22f16..8ed9ee2bcef4 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,136 @@ +2026-08-17 Georg-Johann Lay <[email protected]> + + * config/avr/avr.opt.urls: Add mstrict-addr-space-subsets. + +2026-08-17 Georg-Johann Lay <[email protected]> + + * config/avr/avr.opt (-mstrict-addr-space-subsets): New + target option. + * config/avr/avr.cc (avr_addr_space_subset_p): Use it. + * doc/invoke.texi (AVR Options): Document it. + +2026-08-17 Dipesh Sharma <[email protected]> + Venkataramanan Kumar <[email protected]> + Haochen Jiang <[email protected]> + + * config/i386/avx10v2auxintrin.h (_mm_cvtss_epi32_epi8): New intrin. + (_mm_mask_cvtss_epi32_epi8): Ditto. + (_mm_maskz_cvtss_epi32_epi8): Ditto. + (_mm_mask_cvtss_epi32_storeu_epi8): Ditto. + (_mm256_cvtss_epi32_epi8): Ditto. + (_mm256_mask_cvtss_epi32_epi8): Ditto. + (_mm256_maskz_cvtss_epi32_epi8): Ditto. + (_mm256_mask_cvtss_epi32_storeu_epi8): Ditto. + (_mm512_cvtss_epi32_epi8): Ditto. + (_mm512_mask_cvtss_epi32_epi8): Ditto. + (_mm512_maskz_cvtss_epi32_epi8): Ditto. + (_mm512_mask_cvtss_epi32_storeu_epi8): Ditto. + (_mm_unpack_epi8): Ditto. + (_mm_mask_unpack_epi8): Ditto. + (_mm_maskz_unpack_epi8): Ditto. + (_mm256_unpack_epi8): Ditto. + (_mm256_mask_unpack_epi8): Ditto. + (_mm256_maskz_unpack_epi8): Ditto. + (_mm512_unpack_epi8): Ditto. + (_mm512_mask_unpack_epi8): Ditto. + (_mm512_maskz_unpack_epi8): Ditto. + * config/i386/i386-builtin-types.def: New function types. + * config/i386/i386-builtin.def (BDESC): New builtins. + * config/i386/i386-expand.cc (ix86_expand_args_builtin): Handle new function types + and reserved immediate check. + * config/i386/sse.md (vunpackb<mode><mask_name>): New. + (avx10v2aux_sym_truncatev4siv4qi2): Ditto. + (*avx10v2aux_sym_truncatev4siv4qi2): Ditto. + (avx10v2aux_sym_truncatev8siv8qi2): Ditto. + (*avx10v2aux_sym_truncatev8siv8qi2): Ditto. + (avx10v2aux_sym_truncatev4siv4qi2_mask): Ditto. + (*avx10v2aux_sym_truncatev4siv4qi2_mask): Ditto. + (avx10v2aux_sym_truncatev8siv8qi2_mask): Ditto. + (*avx10v2aux_sym_truncatev8siv8qi2_mask): Ditto. + (*avx10v2aux_sym_truncatev16siv16qi2): Ditto. + (avx10v2aux_sym_truncatev16siv16qi2_mask): Ditto. + (avx10v2aux_sym_truncatev16siv16qi2_mask_store): Ditto. + (*avx10v2aux_sym_truncate<mode>v<ssescalarnum>qi2_store_1): Ditto. + (*avx10v2aux_sym_truncate<mode>v<ssescalarnum>qi2_store_2): Ditto. + (avx10v2aux_sym_truncate<mode>v<ssescalarnum>qi2_mask_store_1): Ditto. + (avx10v2aux_sym_truncate<mode>v<ssescalarnum>qi2_mask_store_2): Ditto. + +2026-08-17 Daniel Barboza <[email protected]> + + PR tree-optimization/86937 + * fold-const-call.cc (fold_const_call): fold + CFN_BUILT_IN_STRNLEN calls. + +2026-08-17 Daniel Barboza <[email protected]> + + PR tree-optimization/126743 + * range-op-mixed.h: declare. + * range-op.cc (operator_bitwise_or::op1_op2_relation_effect): + add op1 NE op2 relation range for op1 | op2 as nonzero. + +2026-08-17 Daniel Barboza <[email protected]> + + PR tree-optimization/126748 + * range-op.cc (class operator_div): declarations. + (operator_div::op1_op2_relation_effect): add op1/op2 relation + range equal zero for op1/op2 if op1 < op2 and both op1 and op2 + are positives. + +2026-08-17 Daniel Barboza <[email protected]> + + PR tree-optimization/124667 + * match.pd(`(A & BIT) EQ|NE 0 ? A | BIT : A`): New + pattern. + (`(A & BIT) EQ|NE 0 ? A : A | BIT`): New pattern. + (`(A & MASK) EQ|NE MASK ? A : A | MASK`): New pattern. + (`(A & MASK) EQ|NE MASK ? A | MASK : A`): New pattern. + (`A | (((A >> N) & 1) << N)`): New pattern. + +2026-08-17 Richard Biener <[email protected]> + + PR middle-end/126788 + * optabs-tree.cc (supportable_convert_operation): For same + modes allow NOP_EXPR and VIEW_CONVERT_EXPR. + * tree-ssa-forwprop.cc (simplify_vector_constructor): Avoid + converting the vector to be used for blending into the + result to the type of the permutation. + * tree-vect-stmts.cc (vectorizable_conversion): Leave + nop-conversions to vectorizable_assignment. + +2026-08-17 Richard Biener <[email protected]> + + PR tree-optimization/126887 + * tree-ssa-threadbackward.cc (back_threader::find_paths_to_names): + Allow to search past a loop header in case we are threading a + loop exit test. + * tree-ssa-threadupdate.cc + (back_jt_path_registry::duplicate_thread_path): Properly + detect when a entered subloop is dissolved by threading, + but avoid creating new entries into the original loop. + (jt_path_registry::cancel_invalid_paths): Do not allow + peeling loops. + +2026-08-17 Abhishek Kaushik <[email protected]> + + * config/aarch64/aarch64-sve-builtins-sve2.cc (svabal): Define. + * config/aarch64/aarch64-sve-builtins-sve2.def (svabal): New + function. + * config/aarch64/aarch64-sve-builtins-sve2.h (svabal): Declare. + * config/aarch64/iterators.md (UNSPEC_SABAL, UNSPEC_UABAL): New + unspecs. + (SVE2_INT_BINARY_LONG, SVE2_INT_ADD_BINARY_LONG): Add + UNSPEC_SABAL and UNSPEC_UABAL. + (sve_int_op, sve_int_add_op, sve_type_unspec): Handle them. + +2026-08-17 Josef Melcr <[email protected]> + + * gimple-low.cc (lower_assumption): Unset stdarg after + determining the body function's arguments. + +2026-08-17 Pan Li <[email protected]> + + * config/riscv/vector.md: Leverage Wvr constraint. + 2026-08-16 Georg-Johann Lay <[email protected]> * config/avr/avr.cc: Fix typos in comments. diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 16d61608baff..96f8ad477e25 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20260817 +20260818 diff --git a/gcc/cobol/ChangeLog b/gcc/cobol/ChangeLog index 8e03ee50d738..2ba14b3ff0cb 100644 --- a/gcc/cobol/ChangeLog +++ b/gcc/cobol/ChangeLog @@ -1,3 +1,16 @@ +2026-08-17 Robert Dubner <[email protected]> + + * cdf.y: Revert changes. + * lexio.cc (skip_quoted_literal): Likewise. + (remove_inline_comment): Likewise. + * parse.y: Likewise. + * scan.l: Likewise. + * scan_ante.h (skip_string): Likewise. + (yyinput): Likewise. + (yyunput): Likewise. + (is_refmod): Likewise. + * token_names.h: Likewise. + 2026-08-14 Robert Dubner <[email protected]> * move.cc (mh_binary_to_numdisp): Pass intermediates to __gg__move. diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 51e144c1bee9..1ebf0149d237 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,11 @@ +2026-08-17 Odysseas Georgoudis <[email protected]> + + PR c++/126324 + * constexpr.cc (cxx_eval_thunk_call): Preserve null pointer + results and adjust the result to the thunk's return type. + (cxx_eval_call_expression): Adjust covariant virtual-call results + to the static call type. + 2026-08-14 Patrick Palka <[email protected]> * cp-gimplify.cc (cp_fold_r) <case INIT_EXPR>: Add trial diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index c90fd7646ec7..2e6bdbc00c00 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,67 @@ +2026-08-17 Jerry DeLisle <[email protected]> + + PR fortran/53800 + * gfortran.h (gfc_is_span_addressed_dummy): New prototype. + * symbol.cc (gfc_is_span_addressed_dummy): New function. + * expr.cc (is_subref_array): Return true for a span addressed dummy. + * trans.h (gfc_get_span_descriptor): New prototype. + * trans.cc (gfc_get_span_descriptor): New function returning the + descriptor that carries a pointer array decl's span. + (get_array_span): Use it, including for character types. + * trans-array.cc (is_pointer_array): Note in the comment that the + tree must be a descriptor. + (span_addressed_array): New function returning the decl that + provides the span of an array. + (gfc_get_array_span): Use it. + (gfc_conv_scalarized_array_ref, gfc_conv_array_ref): Likewise, so + that a descriptorless dummy is addressed by its span. + (gfc_get_dataptr_offset): Likewise and dereference a spanned + character element. + (gfc_conv_expr_descriptor): Describe a subobject of the array + elements by a new descriptor when no temporary is made. + * trans-decl.cc (gfc_build_dummy_array_decl): Use + gfc_is_span_addressed_dummy to mark the dummy as a pointer array. + (gfc_get_symbol_decl): Likewise. + * trans-expr.cc (is_subobject_ref): New function. + (copy_in_out_allowed): Take the actual argument. Use + gfc_is_span_addressed_dummy and keep the copy for an actual + argument with a vector subscript. + (gfc_conv_gfc_desc_to_cfi_desc): Remove the now duplicate offsetting + of the data pointer for a subobject reference. + (gfc_class_array_data_assign): Also copy the span field. + (gfc_conv_procedure_call): Use copy_in_out_allowed to skip + copy-in/copy-out for a class array reference, a class array function + result and a subref array. Pass a spanned descriptor instead and + make the copy of a span addressed dummy conditional on it not being + contiguous. + * trans-intrinsic.cc (gfc_conv_is_contiguous_expr): Check the span + of a span addressed dummy against the element length. + +2026-08-17 Jerry DeLisle <[email protected]> + + PR fortran/95542 + * trans-decl.cc (gfc_get_symbol_decl): When checking that a + deferred-length string's length variable shares the symbol's + scope, special-case sym->backend_decl being a FUNCTION_DECL + (an implicit function-result variable): compare against + sym->backend_decl directly instead of its own DECL_CONTEXT. + +2026-08-17 Mikael Morin <[email protected]> + + PR fortran/126895 + * trans-intrinsic.cc (gfc_conv_is_contiguous_expr): If the argument + to IS_CONTIGUOUS is an assumed-rank variable, add a conditional + making the value true if the runtime rank is zero. + +2026-08-17 Jerry DeLisle <[email protected]> + + PR fortran/126872 + * trans-decl.cc (gfc_finish_var_decl): Drop the unreachable + hidden-visibility case in the BIND(C) block. Do not give hidden + visibility to a PRIVATE module variable with a binding label. + (build_function_decl): Do not give hidden visibility to a PRIVATE + module procedure with a binding label. + 2026-08-16 Christopher Albert <[email protected]> PR fortran/110626 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 39b833db57a2..5b43c6c466b0 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,140 @@ +2026-08-17 Iain Sandoe <[email protected]> + + * g++.dg/lto/pr108772_0.C: Allow undefined symbols on Darwin. + * g++.dg/lto/pr114790_0.C: Likewise. + * g++.dg/lto/pr119614_0.C: Likewise. + * g++.dg/lto/pr85405_0.C: Likewise. + * g++.dg/lto/pr85405b_0.C: Likewise. + * g++.dg/lto/pr85655_0.C: Likewise. + * g++.dg/lto/pr86523-3_0.C: Likewise. + * g++.dg/lto/pr86585_0.C: Likewise. + * g++.dg/lto/pr87906_0.C: Likewise. + * g++.dg/lto/pr88046_0.C: Likewise. + * g++.dg/lto/pr88758_0.C: Likewise. + * g++.dg/lto/pr89330_0.C: Likewise. + * g++.dg/lto/pr91574_0.C: Likewise. + * g++.dg/lto/pr92609_0.C: Likewise. + * g++.dg/lto/pr93166_0.C: Likewise. + * gcc.dg/lto/pr61526_0.c: Likewise. + * g++.dg/lto/pr87295_0.C: Skip on Darwin. + +2026-08-17 Jerry DeLisle <[email protected]> + + PR fortran/53800 + * gfortran.dg/c_loc_test_22.f90: Update dump patterns for span + addressing. + * gfortran.dg/class_to_type_5.f90: New test. + * gfortran.dg/class_to_type_6.f90: New test. + * gfortran.dg/class_to_type_7.f90: New test. + * gfortran.dg/class_to_type_8.f90: New test. + * gfortran.dg/class_to_type_9.f90: New test. + +2026-08-17 Jerry DeLisle <[email protected]> + + PR fortran/95542 + * gfortran.dg/pr95542.f90: New test. + +2026-08-17 Dipesh Sharma <[email protected]> + Venkataramanan Kumar <[email protected]> + Haochen Jiang <[email protected]> + + * g++.dg/other/i386-2.C: Add tests for avx10v2aux. + * g++.dg/other/i386-3.C: Likewise. + * gcc.target/i386/avx-1.c: Likewise. + * gcc.target/i386/funcspec-56.inc: Likewise. + * gcc.target/i386/sse-12.c: Likewise. + * gcc.target/i386/sse-13.c: Likewise. + * gcc.target/i386/sse-14.c: Likewise. + * gcc.target/i386/sse-22.c: Likewise. + * gcc.target/i386/sse-23.c: Likewise. + * lib/target-supports.exp: Add more checks for avx10v2aux. + * gcc.target/i386/avx10v2aux-convert-1i.c: New test. + * gcc.target/i386/avx10v2aux-convert-1j.c: New test. + * gcc.target/i386/avx10v2aux-convert-1k.c: New test. + * gcc.target/i386/avx10v2aux-convert-1l.c: New test. + +2026-08-17 Daniel Barboza <[email protected]> + + PR tree-optimization/86937 + * gcc.dg/warn-strnlen-no-nul.c: warnings were + added/removed/changed due to the new STRNLEN folding. + * gcc.dg/tree-ssa/pr86937.c: New test. + +2026-08-17 Daniel Barboza <[email protected]> + + PR tree-optimization/126743 + * gcc.dg/tree-ssa/pr126743.c: New test. + +2026-08-17 Daniel Barboza <[email protected]> + + PR tree-optimization/126748 + * gcc.dg/tree-ssa/pr126748.c: New test. + +2026-08-17 Daniel Barboza <[email protected]> + + PR tree-optimization/124667 + * gcc.dg/tree-ssa/pr124667-2.c: New test. + * gcc.dg/tree-ssa/pr124667.c: New test. + +2026-08-17 Richard Biener <[email protected]> + + PR middle-end/126788 + * gcc.target/i386/pr126788.c: New testcase. + +2026-08-17 Richard Biener <[email protected]> + + PR tree-optimization/126887 + * gcc.dg/tree-ssa/ssa-thread-23.c: New testcase. + * gcc.dg/tree-ssa/ssa-thread-24.c: Likewise. + +2026-08-17 Abhishek Kaushik <[email protected]> + + * gcc.target/aarch64/sve2/acle/asm/abal_s16.c: New test. + * gcc.target/aarch64/sve2/acle/asm/abal_s32.c: Likewise. + * gcc.target/aarch64/sve2/acle/asm/abal_s64.c: Likewise. + * gcc.target/aarch64/sve2/acle/asm/abal_u16.c: Likewise. + * gcc.target/aarch64/sve2/acle/asm/abal_u32.c: Likewise. + * gcc.target/aarch64/sve2/acle/asm/abal_u64.c: Likewise. + +2026-08-17 Mikael Morin <[email protected]> + + PR fortran/126895 + * gfortran.dg/is_contiguous_7.f90: New test. + +2026-08-17 Pan Li <[email protected]> + + * gcc.target/riscv/rvv/base/pr112431-51.c: New test. + +2026-08-17 Pan Li <[email protected]> + + * gcc.target/riscv/rvv/autovec/group_overlap/group_overlap.h: + Add test helper macros. + * gcc.target/riscv/rvv/autovec/group_overlap/vwmaccsu_vv-i16-m1.c: New test. + * gcc.target/riscv/rvv/autovec/group_overlap/vwmaccsu_vv-i16-m2.c: New test. + * gcc.target/riscv/rvv/autovec/group_overlap/vwmaccsu_vv-i16-m4.c: New test. + * gcc.target/riscv/rvv/autovec/group_overlap/vwmaccsu_vv-i16-mf2.c: New test. + * gcc.target/riscv/rvv/autovec/group_overlap/vwmaccsu_vv-i16-mf4.c: New test. + * gcc.target/riscv/rvv/autovec/group_overlap/vwmaccsu_vv-i32-m1.c: New test. + * gcc.target/riscv/rvv/autovec/group_overlap/vwmaccsu_vv-i32-m2.c: New test. + * gcc.target/riscv/rvv/autovec/group_overlap/vwmaccsu_vv-i32-m4.c: New test. + * gcc.target/riscv/rvv/autovec/group_overlap/vwmaccsu_vv-i32-mf2.c: New test. + * gcc.target/riscv/rvv/autovec/group_overlap/vwmaccsu_vv-i8-m1.c: New test. + * gcc.target/riscv/rvv/autovec/group_overlap/vwmaccsu_vv-i8-m2.c: New test. + * gcc.target/riscv/rvv/autovec/group_overlap/vwmaccsu_vv-i8-m4.c: New test. + * gcc.target/riscv/rvv/autovec/group_overlap/vwmaccsu_vv-i8-mf2.c: New test. + * gcc.target/riscv/rvv/autovec/group_overlap/vwmaccsu_vv-i8-mf4.c: New test. + * gcc.target/riscv/rvv/autovec/group_overlap/vwmaccsu_vv-i8-mf8.c: New test. + +2026-08-17 Jerry DeLisle <[email protected]> + + PR fortran/126872 + * gfortran.dg/bind_c_private_1.f90: New test. + +2026-08-17 Odysseas Georgoudis <[email protected]> + + PR c++/126324 + * g++.dg/cpp2a/constexpr-virtual-pr126324.C: New test. + 2026-08-16 Lewis Hyatt <[email protected]> * lib/target-supports.exp (pytest_invoke): New function. diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog index 1aa4b55e5a48..6f303bb92b72 100644 --- a/libgomp/ChangeLog +++ b/libgomp/ChangeLog @@ -1,3 +1,9 @@ +2026-08-17 Jerry DeLisle <[email protected]> + + PR fortran/53800 + * testsuite/libgomp.oacc-fortran/host_data-5.F90: Update the + privatization notes for the packing of a TARGET dummy. + 2026-08-14 Thomas Schwinge <[email protected]> PR libgomp/41418 diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index e8352d1c39f9..5dd6f68ca78c 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,32 @@ +2026-08-17 Pietro Monteiro <[email protected]> + + * config/os/bsd/openbsd/ctype_base.h: Use static_cast when + setting the masks. + +2026-08-17 Jonathan Wakely <[email protected]> + + PR libstdc++/126849 + * include/std/numbers: Fix preprocessor check for + std::bfloat16_t support. + +2026-08-17 Kyrylo Tkachov <[email protected]> + + * src/Makefile.am (all-recursive): Depend on all-parallel-subdirs. + (all-parallel-subdirs, all-in-%): New targets. + (all-in-experimental): Depend on the directories whose convenience + archives it links. + * src/Makefile.in: Regenerate. + * src/experimental/Makefile.am: Add comment about keeping the + convenience library lists in sync with src/Makefile.am. + +2026-08-17 Tomasz Kamiński <[email protected]> + + * include/std/vector (formatter<_Bit_reference, _CharT>::format) + [__glibcxx_constexpr_format]: Declare as constexpr. + * testsuite/23_containers/vector/bool/format.cc + [__glibcxx_constexpr_format]: Run test suite at compile + time. + 2026-08-15 Pietro Monteiro <[email protected]> * config/os/bsd/openbsd/ctype_base.h: Use _CTYPE prefixed
