[gcc r17-2864] Daily bump.

https://gcc.gnu.org/g:4dcc1628511589a85d7e0ddceee6cb022cbe7d32

commit r17-2864-g4dcc1628511589a85d7e0ddceee6cb022cbe7d32
Author: GCC Administrator <[email protected]>
Date:   Sat Aug 1 00:16:38 2026 +0000

    Daily bump.

Diff:
---
 config/ChangeLog        |  6 ++++
 gcc/ChangeLog           | 53 ++++++++++++++++++++++++++++++++
 gcc/DATESTAMP           |  2 +-
 gcc/ada/ChangeLog       |  6 ++++
 gcc/cobol/ChangeLog     |  4 +++
 gcc/cp/ChangeLog        | 44 +++++++++++++++++++++++++++
 gcc/fortran/ChangeLog   | 16 ++++++++++
 gcc/testsuite/ChangeLog | 80 +++++++++++++++++++++++++++++++++++++++++++++++++
 libgcc/ChangeLog        |  5 ++++
 libstdc++-v3/ChangeLog  | 75 ++++++++++++++++++++++++++++++++++++++++++++++
 10 files changed, 290 insertions(+), 1 deletion(-)

diff --git a/config/ChangeLog b/config/ChangeLog
index ff59ad7c371a..c878c9548a1f 100644
--- a/config/ChangeLog
+++ b/config/ChangeLog
@@ -1,3 +1,9 @@
+2026-07-31  Pietro Monteiro  <[email protected]>
+
+	PR bootstrap/103459
+	* clang-plugin.m4: Update AC_TRY_COMPILE to AC_COMPILE_IFELSE.
+	* gcc-plugin.m4: Likewise.
+
 2026-07-12  Manuel Jacob  <[email protected]>
 
 	* acx.m4 (ACX_CHECK_INSTALLED_TARGET_TOOL): Fix handling of
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 97ae38c07314..202bb74b2632 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,56 @@
+2026-07-31  Andrea Pinski  <[email protected]>
+
+	PR tree-optimization/126458
+	* match.pd (min/max detection): Fix precision of
+	the signed type min.
+
+2026-07-31  Jakub Jelinek  <[email protected]>
+
+	PR tree-optimization/126504
+	* match.pd ((CST1 << A) == CST2 -> A == ctz (CST2) - ctz (CST1)):
+	If cand isn't representable in TREE_TYPE (@1), simplify to
+	cmp == NE_EXPR.
+	(((1 << n) & M) != 0 -> n == log2 (M)): Don't simplify if
+	log2 doesn't fit into TREE_TYPE (@0).
+
+2026-07-31  Jakub Jelinek  <[email protected]>
+
+	PR tree-optimization/126503
+	* gimple-lower-bitint.cc (bitint_large_huge::handle_plus_minus): If
+	IFN_ADDC/IFN_SUBC can't be used and rhs1_type is not the limb type
+	and is signed, perform both additions or both subtractions in
+	unsigned type for the rhs1_type and cast to rhs1_type at the end.
+
+2026-07-31  Jakub Jelinek  <[email protected]>
+
+	PR middle-end/126497
+	* gimplify.cc (recalculate_side_effects): Return for
+	tcc_declaration.
+
+2026-07-31  Jakub Jelinek  <[email protected]>
+
+	PR tree-optimization/126490
+	* match.pd ((a & b) == (a ^ b) -> !(a | b)): If @0 has
+	integral one bit precision type, use (convert:type ...) around the
+	bit_not just in case the comparison has a different result type
+	from the type of its operands.  Otherwise do that too but with
+	bit_not replaced with bit_xor with one of the appropriate type.
+
+2026-07-31  Jakub Jelinek  <[email protected]>
+
+	PR tree-optimization/126464
+	* range-op-float.cc (float_widen_lhs_range): Remove also_inf
+	argument, replace its uses as if it was always true.
+	(operator_cast::op1_range): Don't pass third argument to
+	float_widen_lhs_range.
+
+2026-07-31  Jakub Jelinek  <[email protected]>
+
+	PR tree-optimization/126476
+	* match.pd (((C << A) & D) != 0 -> A == 0,
+	((C << A) & D) == 0 -> A != 0): Fold to false/true if
+	c1 - c2 resp. c2 - c1 doesn't fit into TREE_TYPE (@0).
+
 2026-07-30  Aldy Hernandez  <[email protected]>
 
 	* value-range-storage.h (class frange_storage): Replace the fixed
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 4856dc75a20f..89a5952fcdcb 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20260731
+20260801
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 110c563f877b..1ee390c33fa9 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,9 @@
+2026-07-31  Eric Botcazou  <[email protected]>
+
+	PR ada/126379
+	* exp_ch6.adb (Insert_Post_Call_Actions): Also deal with attribute
+	references as parent node.
+
 2026-07-30  Eric Botcazou  <[email protected]>
 
 	PR ada/126482
diff --git a/gcc/cobol/ChangeLog b/gcc/cobol/ChangeLog
index 39a049b326d2..bccc1bc8ebfe 100644
--- a/gcc/cobol/ChangeLog
+++ b/gcc/cobol/ChangeLog
@@ -1,3 +1,7 @@
+2026-07-31  James K. Lowden  <[email protected]>
+
+	* scan.l: Add value pattern.
+
 2026-07-30  James K. Lowden  <[email protected]>
 
 	* parse.y (dialect_ok): Enable messages without a quoted tagline.
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 908a63899845..57754deb886e 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,47 @@
+2026-07-31  Jason Merrill  <[email protected]>
+
+	PR c++/126481
+	* parser.cc (cp_parser_early_parsing_nsdmi): Also defer {}.
+
+2026-07-31  Torbjörn SVENSSON  <[email protected]>
+
+	PR c++/124806
+	* module.cc (elf_out::began): New data member.
+	(elf_out::begin): Set it after successful initialization.
+	(elf_out::end): Do not finalize output that never began.
+
+2026-07-31  Jakub Jelinek  <[email protected]>
+
+	PR c++/126508
+	* constexpr.cc (cxx_eval_cxa_builtin_fn): Avoid caching
+	calls which rethrow or call __builtin_uncaught_exceptions
+	or __builtin_current_exception.
+
+2026-07-31  Jakub Jelinek  <[email protected]>
+
+	PR c++/126420
+	PR c++/126423
+	* typeck.cc (check_return_expr): If in_expansion_stmt, goto
+	dependent before even setting current_function_returns_value.
+	* pt.cc (tsubst_stmt): Temporarily set in_expansion_stmt around
+	partial instantiation of expansion statement body.
+
+2026-07-31  Jakub Jelinek  <[email protected]>
+
+	PR c++/126343
+	* error.cc (dump_type) <case NULLPTR_TYPE>: Call
+	pp_c_type_qualifier_list.
+	(dump_type) <case META_TYPE>: Likewise.
+	(dump_expr) <case REFLECT_EXPR>: For REFLECT_EXPR on
+	non-typedef META_TYPE or NULLPTR_TYPE print
+	decltype(^^int) or decltype(nullptr).
+
+2026-07-31  Patrick Palka  <[email protected]>
+
+	PR c++/126406
+	PR c++/119343
+	* pt.cc (resolve_nondeduced_context): Revert r16-5967 change.
+
 2026-07-30  Marek Polacek  <[email protected]>
 
 	PR c++/126335
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 16b67d2d2080..87bb6d43365b 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,19 @@
+2026-07-31  Paul Thomas  <[email protected]>
+
+	PR fortran/126205
+	* gfortran.h: Add prototype for deallocate_allocated_coarrays.
+	hash_map team_allocated_coarrays, vector team_context_stack and
+	prototype for get_current_team_context.
+	* match.cc (gfc_match_allocate): Capture allocate expressions
+	of allocatable coarrays and stash in team_allocated_coarrays.
+	* parse.cc (parse_change_team): Push team context. When end is
+	seen, create the code to deallocate allocated coarrays in this
+	context, using deallocate_allocated_coarrays.
+	* st.cc (get_guarded_dealloc): Generate code to produce
+	IF (ALLOCATED (expr)) DEALLOCATE (expr).
+	(deallocate_allocated_coarrays): Modify the final array ref of
+	the allocate expressions and call get_guarded_dealloc.
+
 2026-07-30  Sebastian Galindo  <[email protected]>
 	    Thomas Schwinge  <[email protected]>
 
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index cfd747c36791..b3a0010124ed 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,83 @@
+2026-07-31  Jason Merrill  <[email protected]>
+
+	PR c++/126481
+	* g++.dg/cpp0x/nsdmi-defer8.C: New test.
+
+2026-07-31  Eric Botcazou  <[email protected]>
+
+	* gnat.dg/validity_check3.adb: New test.
+
+2026-07-31  Paul Thomas  <[email protected]>
+
+	PR fortran/126205
+	* gfortran.dg/coarray/team_allocated_coarrays.f90: New test.
+
+2026-07-31  Andrea Pinski  <[email protected]>
+
+	PR tree-optimization/126458
+	* gcc.dg/torture/pr126458-1.c: New test.
+
+2026-07-31  Jakub Jelinek  <[email protected]>
+
+	PR tree-optimization/126504
+	* gcc.dg/torture/bitint-105.c: New test.
+
+2026-07-31  Jakub Jelinek  <[email protected]>
+
+	PR tree-optimization/126503
+	* gcc.dg/torture/bitint-106.c: New test.
+
+2026-07-31  Jakub Jelinek  <[email protected]>
+
+	PR middle-end/126497
+	* gcc.dg/bitint-141.c: New test.
+
+2026-07-31  Jakub Jelinek  <[email protected]>
+
+	PR tree-optimization/126490
+	* gcc.dg/torture/bitint-104.c: New test.
+
+2026-07-31  Jakub Jelinek  <[email protected]>
+
+	PR c++/126508
+	* g++.dg/cpp26/constexpr-eh20.C: New test.
+	* g++.dg/cpp26/constexpr-eh21.C: New test.
+	* g++.dg/cpp26/constexpr-eh22.C: New test.
+	* g++.dg/cpp26/constexpr-eh23.C: New test.
+
+2026-07-31  Jakub Jelinek  <[email protected]>
+
+	PR tree-optimization/126464
+	* gcc.dg/torture/pr126464.c: New test.
+
+2026-07-31  Jakub Jelinek  <[email protected]>
+
+	PR tree-optimization/126476
+	* gcc.dg/torture/bitint-103.c: New test.
+
+2026-07-31  Jakub Jelinek  <[email protected]>
+
+	PR c++/126420
+	PR c++/126423
+	* g++.dg/cpp26/expansion-stmt43.C: New test.
+	* g++.dg/cpp26/expansion-stmt44.C: New test.
+
+2026-07-31  Jakub Jelinek  <[email protected]>
+
+	PR c++/126343
+	* g++.dg/reflect/pr126343.C: New test.
+	* g++.dg/reflect/diag6.C: Adjust expected diagnostic wording.
+	* g++.dg/reflect/init2.C: Likewise.
+	* g++.dg/cpp0x/pr124489.C: Likewise.
+
+2026-07-31  Patrick Palka  <[email protected]>
+
+	PR c++/126406
+	PR c++/119343
+	* g++.dg/cpp0x/cond2a.C: New test.
+	* g++.dg/cpp1y/auto-fn67.C: New test.
+	* g++.dg/cpp1z/noexcept-type29.C: New test.
+
 2026-07-30  Marek Polacek  <[email protected]>
 
 	PR c++/126335
diff --git a/libgcc/ChangeLog b/libgcc/ChangeLog
index 1364619bb218..293603ead9fc 100644
--- a/libgcc/ChangeLog
+++ b/libgcc/ChangeLog
@@ -1,3 +1,8 @@
+2026-07-31  Muhammad Kamran  <[email protected]>
+
+	* config/aarch64/aarch64-asm.h (FEATURE_1_AND_MARK): Do not emit
+	.previous after AArch64 build attributes.
+
 2026-07-29  Piotr Kubaj  <[email protected]>
 
 	PR target/125803
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 6fdac3a2a724..6b7312cf359f 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,78 @@
+2026-07-31  Patrick Palka  <[email protected]>
+
+	PR libstdc++/123211
+	* include/bits/ranges_base.h (__distance_fn::operator()): For
+	the non-sized-sentinel overload, recursively handle segmented
+	iterators via __for_each_segment.
+
+2026-07-31  Patrick Palka  <[email protected]>
+
+	PR libstdc++/123211
+	* include/bits/stl_deque.h (_Deque_iterator::_S_for_each_segment):
+	Define.
+	(_Deque_iterator::_S_enable_for_each_segment): Define.
+	* include/bits/stl_iterator_base_funcs.h: Include <bits/move.h>.
+	(__for_each_segment): Define.
+	* include/bits/stl_iterator_base_types.h: Include
+	<ext/type_traits.h> in C++98 mode.
+	(__enable_for_each_segment): Define.
+	(__segmented_iterator): Define in C++20.
+	* include/debug/safe_iterator.h
+	(_Safe_iterator::_S_for_each_segment): Define.
+	(_Safe_iterator::_S_enable_for_each_segment): Define.
+	* include/std/ranges (join_view::_Iterator::_Iterator): New
+	constructor taking both an inner and outer iterator.
+	(join_view::_Iterator::_S_for_each_segment): Define.
+	(join_view::_Iterator::_S_enable_for_each_segment): Define.
+	(concat_view::_Iterator::_S_for_each_segment): Define.
+	(concat_view::_Iterator::_S_enable_for_each_segment): Define.
+	* testsuite/23_containers/deque/for_each_segment.cc: New test.
+	* testsuite/std/ranges/adaptors/join/for_each_segment.cc: New test.
+	* testsuite/std/ranges/concat/for_each_segment.cc: New test.
+
+2026-07-31  Patrick Palka  <[email protected]>
+
+	* include/std/iosfwd: Provide feature-test macros
+	__cpp_lib_spanstream and __cpp_lib_syncbuf.
+	* testsuite/27_io/headers/iosfwd/synopsis.cc: Verify values
+	of these FTMs.
+
+2026-07-31  Patrick Palka  <[email protected]>
+
+	* include/std/condition_variable (condition_variable::wait_until):
+	Take timeout parameter by value as per LWG 4301.
+	(condition_variable::wait_for): Likewise.
+	(condition_variable::__wait_until_impl): Likewise.
+	(condition_variable_any::wait_until): Likewise.
+	(condition_variable_any::wait_for): Likewise.
+
+2026-07-31  Tomasz Kamiński  <[email protected]>
+
+	* include/std/coroutine: Ignore -Winvalid-specialization in file.
+	(std::coroutine_handle): Add clang::no_specializations attribute.
+	* testsuite/18_support/coroutines/specializations_neg.cc: New test.
+
+2026-07-31  Tomasz Kamiński  <[email protected]>
+
+	* include/bits/alloc_traits.h
+	(_GLIBCXX_NO_ALLOC_TRAITS_SPECIALIZATIONS): Define locally.
+	(std::allocator_traits) [__cplusplus > 202002L]: Add
+	clang::no_specializations attribute.
+	(std::allocator_traits<allocator<_Tp>>)
+	(std::allocator_traits<allocator<void>>): Locally ignore
+	-Winvalid-specialization warnings.
+	* include/bits/memory_resource.h
+	(allocator_traits<pmr::polymorphic_allocator<_Tp>>): Likewise.
+	* testsuite/20_util/allocator_traits/requirements/specializations_neg.cc:
+	New test.
+
+2026-07-31  Jonathan Wakely  <[email protected]>
+
+	PR libstdc++/126364
+	* include/bits/chrono_io.h (_Parser::operator()) <R>: Only break
+	early when setting failbit.
+	* testsuite/std/time/parse/126364.cc: New test.
+
 2026-07-29  Jonathan Wakely  <[email protected]>
 
 	PR libstdc++/126452