[gcc r17-2864] Daily bump.
GCC Administrator
gccadmin@gcc.gnu.org
Sat Aug 1 00:17:10 GMT 2026
https://gcc.gnu.org/g:4dcc1628511589a85d7e0ddceee6cb022cbe7d32
commit r17-2864-g4dcc1628511589a85d7e0ddceee6cb022cbe7d32
Author: GCC Administrator <gccadmin@gcc.gnu.org>
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 <pietro@sociotechnical.xyz>
+
+ PR bootstrap/103459
+ * clang-plugin.m4: Update AC_TRY_COMPILE to AC_COMPILE_IFELSE.
+ * gcc-plugin.m4: Likewise.
+
2026-07-12 Manuel Jacob <me@manueljacob.de>
* 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 <andrew.pinski@oss.qualcomm.com>
+
+ PR tree-optimization/126458
+ * match.pd (min/max detection): Fix precision of
+ the signed type min.
+
+2026-07-31 Jakub Jelinek <jakub@redhat.com>
+
+ 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 <jakub@redhat.com>
+
+ 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 <jakub@redhat.com>
+
+ PR middle-end/126497
+ * gimplify.cc (recalculate_side_effects): Return for
+ tcc_declaration.
+
+2026-07-31 Jakub Jelinek <jakub@redhat.com>
+
+ 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 <jakub@redhat.com>
+
+ 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 <jakub@redhat.com>
+
+ 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 <aldy@quesejoda.com>
* 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 <ebotcazou@adacore.com>
+
+ PR ada/126379
+ * exp_ch6.adb (Insert_Post_Call_Actions): Also deal with attribute
+ references as parent node.
+
2026-07-30 Eric Botcazou <ebotcazou@adacore.com>
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 <jklowden@cobolworx.com>
+
+ * scan.l: Add value pattern.
+
2026-07-30 James K. Lowden <jklowden@cobolworx.com>
* 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 <jason@redhat.com>
+
+ PR c++/126481
+ * parser.cc (cp_parser_early_parsing_nsdmi): Also defer {}.
+
+2026-07-31 Torbjörn SVENSSON <torbjorn.svensson@foss.st.com>
+
+ 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 <jakub@redhat.com>
+
+ 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 <jakub@redhat.com>
+
+ 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 <jakub@redhat.com>
+
+ 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 <ppalka@redhat.com>
+
+ PR c++/126406
+ PR c++/119343
+ * pt.cc (resolve_nondeduced_context): Revert r16-5967 change.
+
2026-07-30 Marek Polacek <polacek@redhat.com>
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 <pault@gcc.gnu.org>
+
+ 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 <sebastian.galindo143@gmail.com>
Thomas Schwinge <tschwinge@baylibre.com>
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 <jason@redhat.com>
+
+ PR c++/126481
+ * g++.dg/cpp0x/nsdmi-defer8.C: New test.
+
+2026-07-31 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gnat.dg/validity_check3.adb: New test.
+
+2026-07-31 Paul Thomas <pault@gcc.gnu.org>
+
+ PR fortran/126205
+ * gfortran.dg/coarray/team_allocated_coarrays.f90: New test.
+
+2026-07-31 Andrea Pinski <andrew.pinski@oss.qualcomm.com>
+
+ PR tree-optimization/126458
+ * gcc.dg/torture/pr126458-1.c: New test.
+
+2026-07-31 Jakub Jelinek <jakub@redhat.com>
+
+ PR tree-optimization/126504
+ * gcc.dg/torture/bitint-105.c: New test.
+
+2026-07-31 Jakub Jelinek <jakub@redhat.com>
+
+ PR tree-optimization/126503
+ * gcc.dg/torture/bitint-106.c: New test.
+
+2026-07-31 Jakub Jelinek <jakub@redhat.com>
+
+ PR middle-end/126497
+ * gcc.dg/bitint-141.c: New test.
+
+2026-07-31 Jakub Jelinek <jakub@redhat.com>
+
+ PR tree-optimization/126490
+ * gcc.dg/torture/bitint-104.c: New test.
+
+2026-07-31 Jakub Jelinek <jakub@redhat.com>
+
+ 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 <jakub@redhat.com>
+
+ PR tree-optimization/126464
+ * gcc.dg/torture/pr126464.c: New test.
+
+2026-07-31 Jakub Jelinek <jakub@redhat.com>
+
+ PR tree-optimization/126476
+ * gcc.dg/torture/bitint-103.c: New test.
+
+2026-07-31 Jakub Jelinek <jakub@redhat.com>
+
+ 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 <jakub@redhat.com>
+
+ 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 <ppalka@redhat.com>
+
+ 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 <polacek@redhat.com>
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 <muhammad.kamran@arm.com>
+
+ * config/aarch64/aarch64-asm.h (FEATURE_1_AND_MARK): Do not emit
+ .previous after AArch64 build attributes.
+
2026-07-29 Piotr Kubaj <pkubaj@FreeBSD.org>
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 <ppalka@redhat.com>
+
+ 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 <ppalka@redhat.com>
+
+ 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 <ppalka@redhat.com>
+
+ * 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 <ppalka@redhat.com>
+
+ * 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 <tkaminsk@redhat.com>
+
+ * 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 <tkaminsk@redhat.com>
+
+ * 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 <jwakely@redhat.com>
+
+ 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 <jwakely@redhat.com>
PR libstdc++/126452
More information about the Libstdc++-cvs
mailing list