[gcc r17-4502] Daily bump.

GCC Administrator gccadmin@gcc.gnu.org
Mon Sep 21 00:18:51 GMT 2026


https://gcc.gnu.org/g:b6ae4436d518de6b1a4ed0d9ddb65ac40a325658

commit r17-4502-gb6ae4436d518de6b1a4ed0d9ddb65ac40a325658
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Mon Sep 21 00:18:18 2026 +0000

    Daily bump.

Diff:
---
 fixincludes/ChangeLog   |   5 ++
 gcc/ChangeLog           | 140 ++++++++++++++++++++++++++++++++++++++++++++++++
 gcc/DATESTAMP           |   2 +-
 gcc/algol68/ChangeLog   |   5 ++
 gcc/cp/ChangeLog        |  15 ++++++
 gcc/testsuite/ChangeLog | 117 ++++++++++++++++++++++++++++++++++++++++
 libstdc++-v3/ChangeLog  |   6 +++
 7 files changed, 289 insertions(+), 1 deletion(-)

diff --git a/fixincludes/ChangeLog b/fixincludes/ChangeLog
index 107692d75083..d926935ba13b 100644
--- a/fixincludes/ChangeLog
+++ b/fixincludes/ChangeLog
@@ -1,3 +1,8 @@
+2026-09-20  Iain Sandoe  <iain@sandoe.co.uk>
+
+	* fixincl.x: Regenerate.
+	* inclhack.def: Allow for math.h in architecture/<arch> in SDKs.
+
 2026-06-29  Pietro Monteiro  <pietro@sociotechnical.xyz>
 
 	PR bootstrap/103459
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index c3742144078c..c7190a9517a5 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,143 @@
+2026-09-20  Matt Turner  <mattst88@gmail.com>
+
+	* config/alpha/alpha.cc (alpha_expand_movmisalign): Derive the
+	access size from MODE rather than assuming 8 bytes.
+	* config/alpha/alpha.md (MISALIGN): New mode iterator.
+	(movmisalign<mode>): Use it in place of VEC.
+
+2026-09-20  Samarth Tandale  <samarth.tandale@oss.qualcomm.com>
+
+	PR tree-optimization/125700
+	* match.pd: Fold type-bound guarded min/max expressions.
+
+2026-09-20  Iain Sandoe  <iain@sandoe.co.uk>
+
+	* common/config/i386/cpuinfo.h (darwin_get_kernel_bool): New.
+	(get_available_features): Query kernel for avx512 availability
+	on Darwin.
+
+2026-09-20  Yongqiang Tian  <yqtian668@gmail.com>
+
+	PR rtl-optimization/127423
+	* ifcvt.cc (noce_get_alt_condition): Ignore debug instructions when
+	checking whether if_info->x is mentioned in the interval.
+
+2026-09-20  Konstantinos Eleftheriou  <konstantinos.eleftheriou@vrull.eu>
+
+	* tree-ssa-math-opts.cc (build_long_mul_partial_operand): New
+	function.
+	(build_long_mul_partials): Use it.
+
+2026-09-20  Philipp Tomsich  <philipp.tomsich@vrull.eu>
+	    Konstantinos Eleftheriou  <konstantinos.eleftheriou@vrull.eu>
+
+	PR tree-optimization/127042
+	* tree-ssa-math-opts.cc (build_long_mul_partials): Emit zero
+	high-half partial products, and skip the high-half split and
+	the low-half mask, for an operand that provably fits the half
+	width.
+
+2026-09-20  Dominic P  <gcc@gcc.dp11.uk>
+
+	* gimple-fold.h (gimple_needing_rewrite_undefined): Add a
+	SHIFT_COUNT parameter defaulting to false.
+	* gimple-fold.cc (gimple_needing_rewrite_undefined): Return true
+	for a shift or rotate whose count may be out of range, only when
+	SHIFT_COUNT.
+	(rewrite_to_defined_unconditional): Reduce such a count into range.
+	* tree-ssa-loop-im.cc (shift_needs_mask_p): New function.
+	(determine_max_movement): Cost a shift whose count would need
+	masking as cheap.
+	(movement_possibility_1): Require preserved execution for a
+	possibly out-of-range count only when the rewrite cannot reduce it
+	or the loop is optimized for size.
+
+2026-09-20  Filip Kastl  <fkastl@suse.cz>
+
+	* tree-switch-conversion.cc (bit_test_cluster::find_bit_tests):
+	State that the bit test algorithm is optimal.
+
+2026-09-20  Andrea Pinski  <andrew.pinski@oss.qualcomm.com>
+
+	* match.pd (`((VCE (a cmp b ? -1 : 0)) < 0) ? c : d`): Remove
+	`(a cmp b)` match part.
+
+2026-09-20  Andrea Pinski  <andrew.pinski@oss.qualcomm.com>
+
+	* match.pd (`CMP * a`): Use tcc_comparison directly.
+	(`(type)CMP * a`): Likewise.
+
+2026-09-20  Andrea Pinski  <andrew.pinski@oss.qualcomm.com>
+
+	* match.pd (maybe_cmp): Use tcc_comparison directly instead
+	of for loop.
+
+2026-09-20  Konstantinos Eleftheriou  <konstantinos.eleftheriou@vrull.eu>
+
+	PR rtl-optimization/126412
+	* fold-mem-offsets.cc (change_in_vec_p): Move before fold_groups.
+	(changes_map_t): New type.
+	(class fold_groups): New class.
+	(struct regno_changes): Remove.
+	(sort_pairs): Likewise.
+	(cancel_changes_for_group): Take the fold group to cancel.
+	(find_groups_to_cancel): Rename from find_keys_to_remove.
+	(update_insns): Group the changes by fold group instead of by the
+	register defined by the last fold insn of the def-chain.
+	(fold_mem_offsets_1): Use fold_groups and commit all groups in a
+	single change_insns call.
+
+2026-09-20  Kyrylo Tkachov  <ktkachov@nvidia.com>
+
+	* match-sat-alu.pd (unsigned_integer_narrow_clip): Add the complement
+	form.
+
+2026-09-20  Kyrylo Tkachov  <ktkachov@nvidia.com>
+
+	* match-sat-alu.pd (signed_integer_sat_trunc): Add the constant-clamp
+	form.
+
+2026-09-20  Kyrylo Tkachov  <ktkachov@nvidia.com>
+
+	* match-sat-alu.pd (integer_constant_clamp): New match.
+	(unsigned_integer_narrow_clip): Add the constant-clamp form.
+
+2026-09-20  Kyrylo Tkachov  <ktkachov@nvidia.com>
+
+	* match-sat-alu.pd (signed_integer_sat_val): Recognize an arithmetic
+	sign shift.
+	(signed_integer_sat_trunc): Use signed_integer_sat_val in the existing
+	form.  Recognize a shifted value with an equivalent pre-shift sign
+	source.
+
+2026-09-20  Kyrylo Tkachov  <ktkachov@nvidia.com>
+
+	* match-sat-alu.pd (unsigned_integer_sat_add): Accept a compare
+	against MAX - 1 in the widened form.
+
+2026-09-20  Kyrylo Tkachov  <ktkachov@nvidia.com>
+
+	* match-sat-alu.pd (signed_integer_sat_add): Add the two sided
+	clamp on a wider intermediate, in both nesting orders.
+	(signed_integer_sat_sub): Likewise.
+	* tree-ssa-math-opts.cc (match_unsigned_saturation_sub): Rename
+	to ...
+	(match_saturation_sub_with_assign): ... this, and ask the signed
+	predicate as well.
+	(math_opts_dom_walker::after_dom_children): Update the callers,
+	and call it for NOP_EXPR.
+
+2026-09-20  Kyrylo Tkachov  <ktkachov@nvidia.com>
+
+	* match-sat-alu.pd (signed_integer_sat_trunc): Allow a wider lossless
+	unsigned range type.  Continue to require a narrowing result.  Construct
+	the expected constants at the range precision.
+
+2026-09-20  Stefan Schulze Frielinghaus  <stefansf@gcc.gnu.org>
+
+	PR middle-end/127474
+	* expmed.cc (expand_mult): Look through vector mode.
+
 2026-09-19  Jørgen Kvalsvik  <j@lambda.is>
 
 	* gcov.cc (add_path_counts): Read the right field paths.size.
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 1abdca3b21ef..286689204f27 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20260920
+20260921
diff --git a/gcc/algol68/ChangeLog b/gcc/algol68/ChangeLog
index aeae9acb0f19..f9cb2823c7a9 100644
--- a/gcc/algol68/ChangeLog
+++ b/gcc/algol68/ChangeLog
@@ -1,3 +1,8 @@
+2026-09-20  Jose E. Marchesi  <jemarch@gnu.org>
+
+	* a68-low-units.cc (a68_lower_denotation): strtoul can return
+	errno /= 0 in overflow.
+
 2026-09-19  Jose E. Marchesi  <jemarch@gnu.org>
 
 	* ga68.vw: Typos fixed, section 8.0.1 added, consistent {x} style
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 43b5c5339503..de3b8ac93e5e 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,18 @@
+2026-09-20  Joshua Berne  <berne@notadragon.com>
+
+	PR c++/127281
+	* contracts.cc (maybe_apply_function_contracts): Override
+	current_retval_sentinel for the artificial block containing
+	contracts.
+
+2026-09-20  Joshua Berne  <berne@notadragon.com>
+
+	PR c++/127295
+	* contracts.cc (grok_contract): Identify assertion statements
+	by keyword and not string comparison.
+	* parser.cc (cp_parser_contract_assert): Include keyword used
+	on token in diagnostics.
+
 2026-09-14  Joshua Berne  <berne@notadragon.com>
 
 	PR c++/127282
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 4474d21ff3d4..2814823fae42 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,120 @@
+2026-09-20  Matt Turner  <mattst88@gmail.com>
+
+	* gcc.target/alpha/movmisalign-si.c: New test.
+	* gcc.target/alpha/movmisalign-si-bwx.c: New test.
+	* gcc.target/alpha/movmisalign-hi-bwx.c: New test.
+	* gcc.target/alpha/movmisalign-run.c: New test.
+
+2026-09-20  Samarth Tandale  <samarth.tandale@oss.qualcomm.com>
+
+	PR tree-optimization/125700
+	* gcc.dg/tree-ssa/pr125700.c: New test.
+	* gcc.dg/tree-ssa/pr125700-int-width.c: New test.
+	* gcc.dg/tree-ssa/pr125700-negative.c: New test.
+	* gcc.dg/tree-ssa/pr125700-range.c: New test.
+
+2026-09-20  Joshua Berne  <berne@notadragon.com>
+
+	PR c++/127281
+	* g++.dg/contracts/cpp26/dcl.contract.res.p1-NT.C: Added runtime
+	testing, along with tests of NRVO and exceptions from local
+	variables.
+
+2026-09-20  Joshua Berne  <berne@notadragon.com>
+
+	PR c++/127295
+	* g++.dg/contracts/cpp26/assertion-statement.C: Add use of
+	__contract_assert.
+	* g++.dg/contracts/cpp26/assertion-statement-errors.C: Test
+	attribute warning with __contract_assert.
+	* g++.dg/contracts/cpp26/no_contracts.C: Check keyword errors with
+	-fno-contracts.
+
+2026-09-20  Iain Sandoe  <iain@sandoe.co.uk>
+
+	* lib/target-supports.exp (check_avx512_os_support_available):
+	Query the kernel for avx512 availability on Darwin.
+
+2026-09-20  Yongqiang Tian  <yqtian668@gmail.com>
+
+	PR rtl-optimization/127423
+	* gcc.target/riscv/pr127423.c: New test.
+
+2026-09-20  Philipp Tomsich  <philipp.tomsich@vrull.eu>
+	    Konstantinos Eleftheriou  <konstantinos.eleftheriou@vrull.eu>
+
+	PR tree-optimization/127042
+	* gcc.target/arm/pr127042.c: New test.
+	* gcc.target/avr/mmcu/pr127042.c: New test.
+
+2026-09-20  Dominic P  <gcc@gcc.dp11.uk>
+
+	* gcc.dg/tree-ssa/loop-im-shift-2.c: Expect every chain but a lone
+	shift's to move; check the masks.
+	* gcc.dg/tree-ssa/loop-im-shift-3.c: New test.
+	* gcc.dg/tree-ssa/loop-im-shift-4.c: New test.
+	* gcc.dg/tree-ssa/loop-im-shift-5.c: New test.
+	* gcc.dg/tree-ssa/loop-im-shift-6.c: New test.
+
+2026-09-20  Konstantinos Eleftheriou  <konstantinos.eleftheriou@vrull.eu>
+
+	PR rtl-optimization/126412
+	* gcc.target/arm/pr126412.c: New test.
+
+2026-09-20  Kyrylo Tkachov  <ktkachov@nvidia.com>
+
+	* gcc.dg/sat-trunc-signed-cmp-2.c: New test.
+	* gcc.dg/vect/vect-sat-trunc-complement-1.c: Likewise.
+	* gcc.target/aarch64/vect-sat-trunc-complement-1.c: Likewise.
+
+2026-09-20  Kyrylo Tkachov  <ktkachov@nvidia.com>
+
+	* gcc.dg/vect/vect-sat-trunc-clamp-2.c: New test.
+	* gcc.target/aarch64/vect-sat-trunc-clamp-s-1.c: Likewise.
+	* gcc.target/aarch64/vect-sat-trunc-clamp-s-negative-1.c: Likewise.
+
+2026-09-20  Kyrylo Tkachov  <ktkachov@nvidia.com>
+
+	* gcc.dg/vect/vect-sat-trunc-clamp-1.c: New test.
+	* gcc.target/aarch64/vect-sat-trunc-clamp-inner-use-1.c: Likewise.
+	* gcc.target/aarch64/vect-sat-trunc-clamp-multi-use-1.c: Likewise.
+	* gcc.target/aarch64/vect-sat-trunc-clamp-u-1.c: Likewise.
+	* gcc.target/aarch64/vect-sat-trunc-clamp-u-negative-1.c: Likewise.
+
+2026-09-20  Kyrylo Tkachov  <ktkachov@nvidia.com>
+
+	* gcc.dg/vect/vect-sat-trunc-shift-sign-source-1.c: New test.
+	* gcc.target/aarch64/sat_s_val_ashr-1.c: Likewise.
+	* gcc.target/aarch64/vect-sat-trunc-shift-sign-source-1.c: Likewise.
+	* gcc.target/aarch64/vect-sat-trunc-shift-sign-source-negative-1.c:
+	Likewise.
+
+2026-09-20  Kyrylo Tkachov  <ktkachov@nvidia.com>
+
+	* gcc.target/aarch64/sat_u_add_widen_lt-1.c: New test.
+
+2026-09-20  Kyrylo Tkachov  <ktkachov@nvidia.com>
+
+	* gcc.target/aarch64/sat_s_clamp-1.c: New test.
+	* gcc.target/aarch64/sat_s_clamp-2.c: New test.
+
+2026-09-20  Kyrylo Tkachov  <ktkachov@nvidia.com>
+
+	* gcc.dg/vect/vect-sat-trunc-range-precision-1.c: New test.
+	* gcc.target/aarch64/vect-sat-trunc-range-precision-1.c: Likewise.
+	* gcc.target/aarch64/vect-sat-trunc-range-precision-negative-1.c:
+	Likewise.
+
+2026-09-20  Stefan Schulze Frielinghaus  <stefansf@gcc.gnu.org>
+
+	PR middle-end/127474
+	* gcc.dg/torture/pr127474.c: New test.
+
+2026-09-20  Jose E. Marchesi  <jemarch@gnu.org>
+
+	* algol68/compile/error-bits-denotation-1.a68: Test for overflow
+	of bits and long bits.
+
 2026-09-19  John David Anglin  <danglin@gcc.gnu.org>
 
 	* gcc.dg/tree-ssa/pr125734.c: xfail on hppa*-*-hpux*.
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 1730495eda32..fd9e2983d55d 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,9 @@
+2026-09-20  Gerald Pfeifer  <gerald@pfeifer.com>
+
+	* doc/xml/manual/io.xml: New URL for Josuttis' "The C++ Standard
+	Library".
+	* doc/html/manual/streambufs.html: Regenerate.
+
 2026-09-18  Jakub Jelinek  <jakub@redhat.com>
 
 	* include/bits/unicode.h (std::__unicode::__v16_0_0): Rename inline


More information about the Libstdc++-cvs mailing list