[gcc r16-3815] Daily bump.
GCC Administrator
gccadmin@gcc.gnu.org
Fri Sep 12 00:21:21 GMT 2025
https://gcc.gnu.org/g:2343cc8d04bf5c120e61126c375f87c0eb93b6b0
commit r16-3815-g2343cc8d04bf5c120e61126c375f87c0eb93b6b0
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Fri Sep 12 00:20:54 2025 +0000
Daily bump.
Diff:
---
gcc/ChangeLog | 94 +++++++++++++++++++++
gcc/DATESTAMP | 2 +-
gcc/ada/ChangeLog | 219 ++++++++++++++++++++++++++++++++++++++++++++++++
gcc/cp/ChangeLog | 6 ++
gcc/fortran/ChangeLog | 6 ++
gcc/testsuite/ChangeLog | 119 ++++++++++++++++++++++++++
libstdc++-v3/ChangeLog | 79 +++++++++++++++++
7 files changed, 524 insertions(+), 1 deletion(-)
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index ffe69b64348a..88b452d96e26 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,97 @@
+2025-09-11 Trevor Gross <tmgross@umich.edu>
+
+ * doc/libgcc.texi (Comparison functions): Document functions as
+ returning CMPtype.
+
+2025-09-11 Wilco Dijkstra <wilco.dijkstra@arm.com>
+
+ PR middle-end/66462
+ * config/aarch64/aarch64.md (isfinite<mode>2): Add new expander.
+
+2025-09-11 Matteo Nicoli <matteo.nicoli001@gmail.com>
+
+ PR tree-optimization/121595
+ * match.pd (fabs(a + 0.0) -> fabs (a)): Optimization pattern limited to
+ the -fno-trapping-math case.
+
+2025-09-11 Xi Ruoyao <xry111@xry111.site>
+
+ * config/loongarch/sync.md (atomic_compare_and_swapti_scq):
+ Require LSX. Change the operands for the output, the memory,
+ and the expected value to LSX vector modes. Add a FCCmode
+ output to indicate if CAS has written the desired value into
+ memory. Use LSX to atomically load both words of the 16B value
+ in memory.
+ (atomic_compare_and_swapti): Pun the modes to satisify
+ the new atomic_compare_and_swapti_scq implementation. Read the
+ bool return value from the FCC instead of performing a
+ comparision.
+
+2025-09-11 Xi Ruoyao <xry111@xry111.site>
+
+ * config/loongarch/loongarch.cc (loongarch_print_operand): Call
+ reg_or_0_operand for checking the sanity of %t.
+
+2025-09-11 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/121703
+ * tree-vect-stmts.cc (vectorizable_store): Value-initialize ls.
+ (vectorizable_load): Likewise.
+
+2025-09-11 Tsukasa OI <research_trasio@irq.a4lg.com>
+
+ * config/riscv/riscv.cc (riscv_function_ok_for_sibcall):
+ Suppress cross calling convention sibcall optimization from
+ the vector calling convention variant.
+
+2025-09-11 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/121829
+ * cfgloopmanip.cc (create_preheader): Ensure we can insert
+ at the end of a preheader.
+
+2025-09-11 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/121870
+ * tree-ssa-propagate.cc
+ (substitute_and_fold_engine::substitute_and_fold): Skip
+ removed stmts from noreturn fixup.
+
+2025-09-11 Robin Dapp <rdapp@ventanamicro.com>
+
+ * config/riscv/bitmanip.md (*<bitmanip_minmax_cmp_insn>_cmp_<mode>3):
+ New min/max ifcvt pattern.
+ * config/riscv/iterators.md (minu): New iterator.
+ * config/riscv/riscv.cc (riscv_noce_conversion_profitable_p):
+ Remove riscv-specific adjustment.
+
+2025-09-11 Robin Dapp <rdapp@ventanamicro.com>
+
+ * ifcvt.cc (noce_convert_multiple_sets_1): Add use_cond_earliest
+ param.
+ (noce_convert_multiple_sets): Set use_cond_earliest.
+ (noce_process_if_block): Just use original cost.
+ (noce_find_if_block): Use insn_cost (jump_insn).
+
+2025-09-11 Kito Cheng <kito.cheng@sifive.com>
+
+ * config/riscv/riscv-selftests.cc (riscv_run_selftests): Call
+ run_vectorize_related_mode_selftests.
+ (test_vectorize_related_mode): New function to test
+ vectorize_related_mode behavior.
+ (run_vectorize_related_mode_selftests): New function to run all
+ vectorize_related_mode tests.
+ (run_vectorize_related_mode_vla_selftests): New function to test
+ VLA modes.
+ (run_vectorize_related_mode_vls_rv64gcv_selftests): New function to
+ test VLS modes on rv64gcv.
+ (run_vectorize_related_mode_vls_rv32gc_zve32x_zvl256b_selftests):
+ New function to test VLS modes on rv32gc_zve32x_zvl256b.
+ (run_vectorize_related_mode_vls_selftests): New function to run all
+ VLS mode tests.
+ * config/riscv/riscv-v.cc (can_find_related_mode_p): Fix VLS type
+ handling by converting TARGET_MIN_VLEN from bits to bytes.
+
2025-09-10 Georg-Johann Lay <avr@gjlay.de>
PR target/81540
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index cc3bc45669de..f06b0c838fbd 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20250911
+20250912
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index e6eecc1ea474..e549ae052e10 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,222 @@
+2025-09-11 Marc Poulhiès <poulhies@adacore.com>
+
+ * libgnat/g-socket.adb (Listen_Socket): Change default value.
+ * libgnat/g-socket.ads (Listen_Socket): Likewise.
+ * s-oscons-tmplt.c (BACKLOG_MAX): New.
+
+2025-09-11 Marc Poulhiès <poulhies@adacore.com>
+
+ * env.c (__gnat_clearenv): Adjust comment.
+ * libgnarl/a-intnam__bsd.ads: Fix copyright date.
+
+2025-09-11 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.cc (gnat_to_gnu_entity) <E_Variable>: Give a
+ warning for huge imported objects as well.
+
+2025-09-11 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/ada-tree.h (TYPE_ALIGN_OK): Delete.
+ * gcc-interface/decl.cc (gnat_to_gnu_entity): Do not set it.
+ * gcc-interface/gigi.h (standard_datatypes): Add ADT_tag_name_id.
+ (tag_name_id): New macro.
+ (type_is_tagged_or_cw_equivalent): New inline predicate.
+ * gcc-interface/trans.cc (gigi): Initialize tag_name_id.
+ (gnat_to_gnu) <N_Unchecked_Type_Conversion>: Replace tests on
+ TYPE_ALIGN_OK with calls to type_is_tagged_or_cw_equivalent.
+ (addressable_p): Likewise.
+ * gcc-interface/utils.cc (convert): Likewise.
+ * gcc-interface/utils2.cc (build_binary_op): Likewise.
+
+2025-09-11 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/misc.cc (gnat_get_array_descr_info): In the record
+ type case, bail out if the original array type cannot be retrieved.
+
+2025-09-11 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/gigi.h (standard_datatypes): Add ADT_uns_mulv64_decl
+ and ADT_uns_mulv128_decl.
+ (uns_mulv64_decl): New macro.
+ (uns_mulv128_decl): Likewise.
+ * gcc-interface/trans.cc (gigi): Create the uns_mulv64_decl and
+ uns_mulv128_decl declarations.
+ (gnat_to_gnu) <N_Op_Add>: Perform an overflow check for unsigned
+ integer addition, subtraction and multiplication if required.
+ <N_Op_Minus>: Perform an overflow check for unsigned integer
+ negation if required.
+ (build_unary_op_trapv): Add support for unsigned types.
+ (build_binary_op_trapv): Likewise.
+ <MINUS_EXPR>: Perform the check if the LHS is zero in the signed
+ case as well.
+
+2025-09-11 Steve Baird <baird@adacore.com>
+
+ * exp_ch6.adb (Expand_Actuals): After building the tree for a
+ predicate check, call Prepend_To instead of Append_To so that the
+ check is performed before, instead of after, the corresponding
+ parameter copy-back.
+
+2025-09-11 Viljar Indus <indus@adacore.com>
+
+ * sem_prag.adb: Create a ghost region for pragma annotate before
+ analyzing its arguments.
+
+2025-09-11 Viljar Indus <indus@adacore.com>
+
+ * sem_ch5.adb (Analyze_Iterator_Specification): Check ghost context
+ of Iterable functions when handling iterator specifications with an
+ Iterable aspect.
+
+2025-09-11 Viljar Indus <indus@adacore.com>
+
+ * ghost.adb (Check_Ghost_Policy): Update coding style.
+
+2025-09-11 Viljar Indus <indus@adacore.com>
+
+ * ghost.adb (Check_Ghost_Policy): Avoid triggering a ghost
+ policy error if the policy is referenced within the Iterable
+ aspect.
+
+2025-09-11 Viljar Indus <indus@adacore.com>
+
+ * ghost.adb (Is_OK_Statement): Check the levels of the
+ assignee with the levels of the entity are ghost level dependent.
+ (Check_Assignement_Levels): New function for checking the level
+ dependencies.
+
+2025-09-11 Piotr Trojanek <trojanek@adacore.com>
+
+ * einfo.ads (Ghost_Assertion_Level): Fix comment.
+
+2025-09-11 Viljar Indus <indus@adacore.com>
+
+ * ghost.adb (Mark_And_Set_Ghost_Assignment): Create a ghost region
+ for an assigment irregardless of whether the expander is active.
+ Relocate the Assignment validity checks from Is_OK_Statement to
+ this subprogram.
+
+2025-09-11 Gary Dismukes <dismukes@adacore.com>
+
+ * exp_aggr.adb (Build_Container_Aggr_Code.Build_Size_Expr): In the case
+ of an association with a single choice, only call Update_Choices when
+ the choice expression is nonstatic.
+
+2025-09-11 Bob Duff <duff@adacore.com>
+
+ * exp_ch5.adb
+ (Expand_Assign_With_Target_Names.Replace_Target):
+ Remove code setting Entity to Empty.
+ * sinfo.ads (Has_Target_Names):
+ Improve comment: add "@" to clarify what "target name"
+ means, and remove the content-free phrase "and must
+ be expanded accordingly."
+
+2025-09-11 Bob Duff <duff@adacore.com>
+
+ * einfo-utils.adb (Root_Type): Do not deal with missing Etype.
+
+2025-09-11 Bob Duff <duff@adacore.com>
+
+ * einfo-utils.adb (Root_Type): Deal with missing Etype.
+ (Root_Type_If_Set): Likewise.
+
+2025-09-11 Javier Miranda <miranda@adacore.com>
+
+ * freeze.adb (Freeze_Entity): Protect call to Associated_Storage_Pool
+ since it cannot be used when the Etype is not set.
+ * sem_ch3.adb (Access_Type_Declaration): Ditto.
+ * sem_aux.adb (Is_Derived_Type): Protect call to Root_Type since it
+ cannot be used when the Etype is not set.
+
+2025-09-11 Tonu Naks <naks@adacore.com>
+
+ * libgnat/s-crtl.ads: define unsigned
+ * libgnat/s-crtl__mingw.adb (read, write): change arg type
+
+2025-09-11 Bob Duff <duff@adacore.com>
+
+ * freeze.adb (Freeze_Entity): Change "=" to ">=" in
+ size comparison for Implicit_Packing mode.
+ Keep it as "=" for giving error messages.
+ * opt.ads (Implicit_Packing): Minor: correct obsolete
+ comment.
+
+2025-09-11 Javier Miranda <miranda@adacore.com>
+
+ * sem_aggr.adb (Report_Null_Array_Constraint_Error): Adjust code
+ for reporting the error on enumeration types.
+ (Resolve_Null_Array_Aggregate): On multidimiensional arrays, avoid
+ reporting the same error several times. Flag the node as raising
+ constraint error when the bounds are known and some of them is
+ known to raise constraint error.
+
+2025-09-11 Bob Duff <duff@adacore.com>
+
+ * atree.ads (Node_To_Fetch_From_If_Set): Alternative to
+ Node_To_Fetch_From that returns Empty in error cases.
+ For use only in Treepr.
+ * treepr.adb (Print_Entity_Field): Avoid printing field
+ if Node_To_Fetch_From_If_Set returns Empty.
+ * einfo-utils.ads (Base_Type_If_Set): Alternative to
+ Base_Type that returns Empty in error cases.
+ (Implementation_Base_Type_If_Set): Likewise.
+ (Root_Type_If_Set): Likewise.
+ (Underlying_Type): Use more accurate result subtype.
+ * einfo-utils.adb (Base_Type): Add Asserts.
+ (Implementation_Base_Type): Add Assert; minor cleanup.
+ (Root_Type): Add Assert; minor cleanup. Remove Assert that
+ is redundant with predicate.
+ (Base_Type_If_Set): Body of new function.
+ (Implementation_Base_Type_If_Set): Body of new function.
+ (Root_Type_If_Set): Body of new function.
+
+2025-09-11 Johannes Kliemann <kliemann@adacore.com>
+
+ * adaint.c: Add functions to disable and enable signals on QNX.
+ * libgnarl/s-taprop__qnx.adb (Create_Task): Disable
+ signals when calling pthread_create.
+
+2025-09-11 Gary Dismukes <dismukes@adacore.com>
+
+ * exp_ch4.adb (Expand_N_Op_Eq): Test for absence of user-defined
+ equality on type being compared (for both array and record types)
+ as a condition for checking for abstract equality on component
+ types. Add a "???" comment about current limitations on issuing
+ the new warning.
+ (Warn_On_Abstract_Equality_For_Component): Remove temporary disabling
+ of the warning. Improve comment on declaration.
+
+2025-09-11 Ronan Desplanques <desplanques@adacore.com>
+
+ * sem_ch3.adb (Process_Discriminants, Process_Full_View): Fix
+ comments.
+
+2025-09-11 Denis Mazzucato <mazzucato@adacore.com>
+
+ * sem_attr.adb (Eval_Attribute): Remove strict analysis condition.
+
+2025-09-11 Denis Mazzucato <mazzucato@adacore.com>
+
+ * par-load.adb (Load): Better warning message.
+
+2025-09-11 Tucker Taft <taft@adacore.com>
+
+ * exp_attr.adb
+ (Build_Array_VS_Func and Build_Record_VS_Func): Pass in the
+ Attr as the Related_Node parametr when calling
+ Make_Temporary for the Func_Id for the array and record
+ Valid_Scalars local functions.
+
+2025-09-11 Ronan Desplanques <desplanques@adacore.com>
+
+ * sem_ch3.ads (Find_Type_Name): Improve documentation comment.
+
+2025-09-11 Gary Dismukes <dismukes@adacore.com>
+
+ * exp_ch4.adb (Warn_On_Abstract_Equality_For_Component): Temporarily
+ disable warning.
+
2025-09-10 Eric Botcazou <ebotcazou@adacore.com>
PR ada/121885
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 5853607f7030..272969bd98cc 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2025-09-11 H.J. Lu <hjl.tools@gmail.com>
+
+ PR c++/121889
+ * decl2.cc (cplus_decl_attributes): Don't upgrade TLS model if
+ TLS model isn't set yet.
+
2025-09-10 Nathaniel Shead <nathanieloshead@gmail.com>
PR c++/121859
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index fb3cbc3223b8..e553eee43f4a 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,9 @@
+2025-09-11 Harald Anlauf <anlauf@gmx.de>
+
+ PR fortran/121616
+ * primary.cc (gfc_variable_attr): Properly set dimension attribute
+ from a component ref.
+
2025-09-09 Harald Anlauf <anlauf@gmx.de>
* trans-intrinsic.cc (conv_intrinsic_fstat_lstat_stat_sub): Init
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 401b0eea6ed7..e31ef9462a91 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,122 @@
+2025-09-11 Harald Anlauf <anlauf@gmx.de>
+
+ PR fortran/121616
+ * gfortran.dg/alloc_comp_assign_17.f90: New test.
+
+2025-09-11 H.J. Lu <hjl.tools@gmail.com>
+
+ PR fortran/107421
+ PR testsuite/121848
+ * gfortran.dg/gomp/pr107421.f90: Require PIE and pass -fPIE for
+ non-x86 targets.
+
+2025-09-11 H.J. Lu <hjl.tools@gmail.com>
+
+ PR c/107419
+ PR c++/107393
+ * c-c++-common/tls-attr-common.c: New test.
+ * c-c++-common/tls-attr-le-pic.c: Likewise.
+ * c-c++-common/tls-attr-le-pie.c: Likewise.
+
+2025-09-11 H.J. Lu <hjl.tools@gmail.com>
+
+ PR c++/121889
+ * g++.dg/tls/pr121889.C: New test.
+
+2025-09-11 Wilco Dijkstra <wilco.dijkstra@arm.com>
+
+ PR middle-end/66462
+ * gcc.target/aarch64/pr66462.c: Add tests for isfinite.
+
+2025-09-11 Matteo Nicoli <matteo.nicoli001@gmail.com>
+
+ PR tree-optimization/121595
+ * gcc.dg/fabs-plus-zero-1.c: New testcase.
+ * gcc.dg/fabs-plus-zero-2.c: Likewise.
+
+2025-09-11 Xi Ruoyao <xry111@xry111.site>
+
+ * lib/target-supports.exp
+ (check_effective_target_loongarch_scq_hw): New.
+ (check_effective_target_sync_int_128_runtime): Return 1 on
+ loongarch64-*-* if hardware supports both LSX and SCQ.
+ * gcc.dg/atomic-compare-exchange-5.c: Pass -mlsx -mscq for
+ loongarch64-*-*.
+ * gcc.dg/atomic-exchange-5.c: Likewise.
+ * gcc.dg/atomic-load-5.c: Likewise.
+ * gcc.dg/atomic-op-5.c: Likewise.
+ * gcc.dg/atomic-store-5.c: Likewise.
+ * gcc.dg/atomic-store-6.c: Likewise.
+ * gcc.dg/simulate-thread/atomic-load-int128.c: Likewise.
+ * gcc.dg/simulate-thread/atomic-other-int128.c: Likewise.
+ (dg-final): xfail on loongarch64-*-* because gdb does not
+ handle sc.q properly yet.
+
+2025-09-11 Tsukasa OI <research_trasio@irq.a4lg.com>
+
+ * gcc.target/riscv/rvv/base/abi-call-variant_cc-sibcall.c: New test.
+ * gcc.target/riscv/rvv/base/abi-call-variant_cc-sibcall-indirect-1.c: Ditto.
+ * gcc.target/riscv/rvv/base/abi-call-variant_cc-sibcall-indirect-2.c: Ditto.
+
+2025-09-11 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/121829
+ * gcc.dg/torture/pr121829.c: New testcase.
+
+2025-09-11 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/121870
+ * g++.dg/torture/pr121870.C: New testcase.
+
+2025-09-11 Robin Dapp <rdapp@ventanamicro.com>
+
+ * gcc.target/riscv/zbb-min-max-04.c: New test.
+
+2025-09-11 Robin Dapp <rdapp@ventanamicro.com>
+
+ * gcc.target/riscv/addsieq.c: Remove xfail and expect conversion
+ through noce_convert_multiple_sets.
+ * gcc.target/riscv/addsifeq.c: Ditto.
+ * gcc.target/riscv/addsifge.c: Ditto.
+ * gcc.target/riscv/addsifgt.c: Ditto.
+ * gcc.target/riscv/addsifle.c: Ditto.
+ * gcc.target/riscv/addsiflt.c: Ditto.
+ * gcc.target/riscv/addsifne.c: Ditto.
+ * gcc.target/riscv/addsige.c: Ditto.
+ * gcc.target/riscv/addsigeu.c: Ditto.
+ * gcc.target/riscv/addsigt.c: Ditto.
+ * gcc.target/riscv/addsigtu.c: Ditto.
+ * gcc.target/riscv/addsile.c: Ditto.
+ * gcc.target/riscv/addsileu.c: Ditto.
+ * gcc.target/riscv/addsilt.c: Ditto.
+ * gcc.target/riscv/addsiltu.c: Ditto.
+
+2025-09-11 Stefan Schulze Frielinghaus <stefansf@gcc.gnu.org>
+
+ * gcc.dg/asm-hard-reg-error-4.c: Limit the test to LRA targets.
+ Use registers r20 and r21 for hppa. Likewise, for AVR use r20
+ and r24 instead.
+ * gcc.dg/asm-hard-reg-error-5.c: Ditto.
+
+2025-09-11 Kito Cheng <kito.cheng@sifive.com>
+
+ * gcc.target/riscv/rvv/autovec/zve32f-1.c: Update expected
+ vectorization count from 2 to 3.
+ * gcc.target/riscv/rvv/autovec/zve32f_zvl256b-1.c: Add
+ -mrvv-max-lmul=m2 option.
+ * gcc.target/riscv/rvv/autovec/zve32x_zvl256b-1.c: Add
+ -mrvv-max-lmul=m2 option.
+
+2025-09-11 Lulu Cheng <chenglulu@loongson.cn>
+
+ * gcc.target/loongarch/cmodel-extreme-1.c: Add -fPIC.
+ * gcc.target/loongarch/cmodel-extreme-2.c: Likewise.
+ * gcc.target/loongarch/tls-gd-noplt.c: Likewise.
+ * gcc.target/loongarch/tls-extreme-macro.c: Likewise.
+ * gcc.target/loongarch/func-call-medium-2.c: Modify.
+ * gcc.target/loongarch/func-call-medium-3.c: Modify.
+ * gcc.target/loongarch/func-call-medium-4.c: Removed.
+
2025-09-10 Joseph Myers <josmyers@redhat.com>
* gcc.dg/c2y-function-qual-1.c, gcc.dg/c2y-incomplete-1.c,
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 4718ea6a1633..d53d95bcd954 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,82 @@
+2025-09-11 Jonathan Wakely <jwakely@redhat.com>
+
+ PR libstdc++/71945
+ * include/bits/shared_ptr_base.h (_Sp_counted_base::_S_chk):
+ Trap if a reference count cannot be incremented any higher.
+ (_Sp_counted_base::_M_add_ref_copy): Use _S_chk.
+ (_Sp_counted_base::_M_add_weak_ref): Likewise.
+ (_Sp_counted_base<_S_mutex>::_M_add_ref_lock_nothrow): Likewise.
+ (_Sp_counted_base<_S_atomic>::_M_add_ref_lock_nothrow): Likewise.
+ (_Sp_counted_base<_S_single>::_M_add_ref_copy): Use _S_chk.
+
+2025-09-11 Jonathan Wakely <jwakely@redhat.com>
+
+ PR libstdc++/71945
+ * include/bits/shared_ptr_base.h
+ (_Sp_counted_base::_M_get_use_count): Cast _M_use_count to
+ unsigned before returning as long.
+ (_Sp_counted_base<_S_single>::_M_add_ref_copy): Use atomic
+ helper function to adjust ref count using unsigned arithmetic.
+ (_Sp_counted_base<_S_single>::_M_weak_release): Likewise.
+ (_Sp_counted_base<_S_single>::_M_get_use_count): Cast
+ _M_use_count to unsigned before returning as long.
+ (_Sp_counted_base<_S_single>::_M_add_ref_lock_nothrow): Use
+ _M_add_ref_copy to do increment using unsigned arithmetic.
+ (_Sp_counted_base<_S_single>::_M_release): Use atomic helper and
+ _M_weak_release to do decrements using unsigned arithmetic.
+ (_Sp_counted_base<_S_mutex>::_M_release): Add comment.
+ (_Sp_counted_base<_S_single>::_M_weak_add_ref): Remove
+ specialization.
+
+2025-09-11 Jonathan Wakely <jwakely@redhat.com>
+
+ PR libstdc++/121148
+ * config/cpu/generic/atomicity_mutex/atomicity.h
+ (__exchange_and_add): Call __exchange_and_add_single.
+ * include/ext/atomicity.h (__exchange_and_add_single): Use an
+ unsigned type for the addition.
+ * libsupc++/Makefile.am (atomicity.o): Compile with -fwrapv.
+ * libsupc++/Makefile.in: Regenerate.
+
+2025-09-11 Jonathan Wakely <jwakely@redhat.com>
+
+ * include/bits/iterator_concepts.h (_IterMove::_S_noexcept)
+ (_IterSwap::_S_noexcept): Change constexpr to consteval.
+ * include/bits/ranges_base.h (_Begin::_S_noexcept)
+ (_End::_S_noexcept, _RBegin::_S_noexcept, _REnd::_S_noexcept)
+ (_Size::_S_noexcept, _Empty::_S_noexcept, _Data::_S_noexcept):
+ Likewise.
+ * include/std/concepts (_Swap::_S_noexcept): Likewise.
+
+2025-09-11 Jonathan Wakely <jwakely@redhat.com>
+
+ * include/bits/ranges_base.h (__detail::__to_unsigned_like)
+ (__access::__possible_const_range, __access::__as_const)
+ (__distance_fn::operator(), __next_fn::operator())
+ (__prev_fn::operator()): Add always_inline attribute.
+ (_Begin::operator(), _End::operator(), _RBegin::operator())
+ (_REnd::operator(), _Size::operator(), _SSize::operator())
+ (_Empty::operator(), _Data::operator(), _SSize::operator()):
+ Likewise. Move nodiscard attribute to start of declaration.
+
+2025-09-11 Giuseppe D'Angelo <giuseppe.dangelo@kdab.com>
+
+ * include/bits/shared_ptr_base.h (__weak_ptr): Avoid calling
+ lock() when converting or assigning a weak_ptr<Derived> to
+ a weak_ptr<Base> in case Base is not a virtual base of Derived.
+ This logic is centralized in _S_safe_upcast, called by the
+ various converting constructors/assignment operators.
+ (_S_safe_upcast): New helper function.
+ * testsuite/20_util/weak_ptr/cons/virtual_bases.cc: New test.
+
+2025-09-11 Jonathan Wakely <jwakely@redhat.com>
+
+ * include/std/syncstream: Remove trailing whitespace.
+
+2025-09-11 Tomasz Kamiński <tkaminsk@redhat.com>
+
+ * testsuite/std/time/year_month_day/io.cc: Additional tests.
+
2025-09-10 Jonathan Wakely <jwakely@redhat.com>
* include/bits/unique_ptr.h: Remove blank line.
More information about the Libstdc++-cvs
mailing list