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

Reply via email to