[gcc r17-821] Daily bump.
GCC Administrator
gccadmin@gcc.gnu.org
Wed May 27 00:17:01 GMT 2026
https://gcc.gnu.org/g:d15becf86032e043c051f359659380e1d7949336
commit r17-821-gd15becf86032e043c051f359659380e1d7949336
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Wed May 27 00:16:33 2026 +0000
Daily bump.
Diff:
---
gcc/ChangeLog | 52 ++++++++
gcc/DATESTAMP | 2 +-
gcc/ada/ChangeLog | 333 ++++++++++++++++++++++++++++++++++++++++++++++++
gcc/cp/ChangeLog | 6 +
gcc/fortran/ChangeLog | 5 +
gcc/testsuite/ChangeLog | 30 +++++
libffi/ChangeLog | 7 +
libstdc++-v3/ChangeLog | 132 +++++++++++++++++++
8 files changed, 566 insertions(+), 1 deletion(-)
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 2a817f2f87f6..e9f356f96857 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,55 @@
+2026-05-26 Sergei Trofimovich <siarheit@google.com>
+
+ PR bootstrap/125318
+ * tree-vect-stmts.cc (vectorizable_load): Explicitly
+ initialize stride_step to work around
+ -Werror=maybe-uninitialized build failure.
+
+2026-05-26 Andrew Pinski <andrew.pinski@oss.qualcomm.com>
+
+ PR tree-optimization/125396
+ * tree-cfgcleanup.cc (bb_phis_references_abnormal_uses): New function.
+ (maybe_remove_forwarder_block): Check to make sure the
+ forwarder block does not have a phi that references ssa name that has
+ abnormal uses.
+
+2026-05-26 Jin Ma <jinma@linux.alibaba.com>
+
+ * config/riscv/riscv-fusion.cc (riscv_fusion_same_dest_p):
+ New function.
+ (riscv_set_is_add_p): Rename from riscv_set_is_add.
+ (riscv_set_is_addi_p): Rename from riscv_set_is_addi.
+ (riscv_set_is_adduw_p): Rename from riscv_set_is_adduw.
+ (riscv_set_is_shNadd_p): Rename from riscv_set_is_shNadd.
+ (riscv_set_is_shNadduw_p): Rename from riscv_set_is_shNadduw.
+ (riscv_fuse_zextws): New function.
+ (riscv_fuse_zexth): Likewise.
+ (riscv_fuse_ldindexed): Likewise.
+ (riscv_fuse_expanded_ld): Likewise.
+ (riscv_fuse_ldpreincrement): Likewise.
+ (riscv_fuse_lui_addi): Likewise.
+ (riscv_fuse_auipc_addi): Likewise.
+ (riscv_fuse_lui_ld): Likewise.
+ (riscv_fuse_auipc_ld): Likewise.
+ (riscv_fuse_cache_aligned_std): Likewise.
+ (riscv_fuse_aligned_std): Likewise.
+ (riscv_fuse_bfext): Likewise.
+ (riscv_fuse_b_alui): Likewise.
+ (struct riscv_fusion_entry): New struct.
+ (riscv_fusion_table): New table.
+ (riscv_macro_fusion_pair_p): Refactor to use table-driven
+ dispatch loop with simplified checker interface.
+
+2026-05-26 Jin Ma <jinma@linux.alibaba.com>
+
+ * config/riscv/riscv-fusion.cc (riscv_macro_fusion_pair_p):
+ Fix XINT to access SET_SRC (prev_set) in AUIPC_LD case.
+ Fix base register comparison from != to == in
+ CACHE_ALIGNED_STD case. Remove redundant CONST_INT_P
+ check in B_ALUI sub+smax case. Remove duplicate REG_P
+ check in LDINDEXED case. Fix typo in comment. Fix dump
+ output name for CACHE_ALIGNED_STD.
+
2026-05-26 Andrew Pinski <andrew.pinski@oss.qualcomm.com>
PR tree-optimization/125453
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 8d594f290dce..f756da54533c 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20260526
+20260527
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 3f2a6b6f6019..4c6bbc29ee7e 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,336 @@
+2026-05-26 Eric Botcazou <ebotcazou@adacore.com>
+
+ * xsintnam.sed: Disable style checks.
+
+2026-05-26 Ronan Desplanques <desplanques@adacore.com>
+
+ * xsintnam.sed: Handle special case.
+
+2026-05-26 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/Makefile.in ($(RTSDIR)/s-intnam.ads): Change recipe
+ to use a basic invocation of 'sed'.
+
+2026-05-26 Eric Botcazou <ebotcazou@adacore.com>
+
+ * xsintnam.sed: Do not filter out comments.
+
+2026-05-26 Eric Botcazou <ebotcazou@adacore.com>
+
+ * libgnarl/s-interr__sigaction.adb: Add with clause for
+ System.OS_Interface.
+
+2026-05-26 Eric Botcazou <ebotcazou@adacore.com>
+
+ * accessibility.adb (Apply_Accessibility_Check_For_Anonymous):
+ Rename into...
+ (Apply_Accessibility_Check_For_Anonymous_Return): ...this.
+ (Apply_Accessibility_Check_For_Class_Wide): Rename into...
+ (Apply_Accessibility_Check_For_Class_Wide_Return): ...this.
+ (Apply_Accessibility_Check_For_Discriminant): Rename into...
+ (Apply_Accessibility_Check_For_Discriminated_Return): ...this.
+ (Apply_Accessibility_Check_For_Return): Adjust to above renamings.
+
+2026-05-26 Eric Botcazou <ebotcazou@adacore.com>
+
+ * accessibility.ads (Apply_Accessibility_Check): Rename into...
+ (Apply_Accessibility_Check_For_Parameter): ...this.
+ (Apply_Accessibility_Check_For_Return): New procedure.
+ (Effective_Extra_Accessibility): Minor tweak in description.
+ * accessibility.adb (Function_Call_Or_Allocator_Level): Apply the
+ specific treatment for returns to anonymous allocators as well.
+ (Accessibility_Level): Deal with literal null and Deref attribute.
+ (Apply_Accessibility_Check): Rename into...
+ (Apply_Accessibility_Check_For_Anonymous): New procedure extracted
+ from the old Apply_Access_Discrims_Accessibility_Check.
+ (Apply_Accessibility_Check_For_Class_Wide): New procedure taken
+ from Exp_Ch6.
+ (Apply_Accessibility_Check_For_Discriminant): Likewise.
+ (Apply_Accessibility_Check_For_Parameter): ...this.
+ (Apply_Accessibility_Check_For_Return): New procedure.
+ (Static_Accessibility_Level): Minor reformatting.
+ * exp_attr.adb (Expand_N_Attribute_Reference): Adjust to renaming.
+ * exp_ch3.adb (Expand_N_Object_Declaration): Generate accessibility
+ checks for returns by calling Apply_Accessibility_Check_For_Return.
+ * exp_ch4.adb (Expand_N_Type_Conversion): Adjust to renaming.
+ * exp_ch6.ads (Apply_Access_Discrims_Accessibility_Check): Delete.
+ (Apply_CW_Accessibility_Check): Likewise.
+ * exp_ch6.adb: Remove clauses for Exp_Atag.
+ (Apply_Access_Discrims_Accessibility_Check): Move to Accessibility.
+ (Apply_CW_Accessibility_Check): Likewise.
+ (Expand_Actuals): Adjust to renaming.
+ (Expand_Simple_Function_Return): Generate accessibility checks by
+ calling Apply_Accessibility_Check_For_Return.
+ * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Tidy up and make
+ the computation of minimum accessibility levels more uniform.
+ (Create_Extra_Formals): Minor reformatting.
+
+2026-05-26 Javier Miranda <miranda@adacore.com>
+
+ * sem_ch3.adb (Derive_Subprogram): Do not replace the type when
+ Derived_Type inherits the first controlling parameter aspect and
+ it is not the first formal of this operation.
+ * sem_disp.adb (Check_Controlling_Formals): For overriding
+ primitives of types with the first controlling parameter aspect
+ inherit controlling formals of the overridden parent primitive.
+
+2026-05-26 Viljar Indus <indus@adacore.com>
+
+ * ghost.adb (Check_Ghost_Equality_Op): Supply the type of the
+ operation as an argument.
+ * ghost.ads (Check_Ghost_Equality_Op): Likewise.
+ * sem_ch6.adb (Valid_Operator_Definition): Remove call to
+ Check_Ghost_Equality_Op.
+ (Check_For_Primitive_Subprogram): Call Check_Ghost_Equality_Op.
+
+2026-05-26 Ronan Desplanques <desplanques@adacore.com>
+
+ * libgnarl/s-inttyp.ads: New file.
+ * libgnarl/a-interr.ads (Interrupt_ID): Derive from
+ Preelab_Interrupt_ID.
+ * libgnarl/s-interr.ads (Interrupt_ID): Derive from
+ Preelab_Interrupt_ID.
+ (Ada_Interrupt_ID): Remove.
+ * libgnarl/s-interr__vxworks.ads (Ada_Interrupt_ID): Remove.
+ * xsintnam.sed: New file.
+ * Makefile.rtl: Register new runtime files.
+ * libgnarl/a-interr.adb: Adjust with clauses.
+ * rtsfind.ads (RE_Interrupt_Names, RE_Preelab_Interrupt_ID): New
+ variants.
+ * sem_prag.adb: Use entities from new preelaborate packages.
+ * gcc-interface/Makefile.in: Generate System.Interrupt_Names.
+
+2026-05-26 Ronan Desplanques <desplanques@adacore.com>
+
+ * libgnarl/s-interr.adb (Unprotected_Exchange_Handler): Improve
+ comment and formatting.
+ (Server_Task): Fix task state.
+ * rtsfind.adb (RTE): Remove incorrect comment.
+
+2026-05-26 Javier Miranda <miranda@adacore.com>
+
+ * exp_ch4.adb (Expand_N_Type_Conversion): When the operand is a
+ qualified expression of an aggregate, force its evaluation by
+ capturing its value in a constant (to ensure full initialization
+ of the tagged object).
+
+2026-05-26 Piotr Trojanek <trojanek@adacore.com>
+
+ * doc/gnat_ugn/platform_specific_information.rst
+ (Using gnatdll): Document switch -m.
+ * gnat_ugn.texi: Regenerate.
+
+2026-05-26 Viljar Indus <indus@adacore.com>
+
+ * ghost.adb (Check_Valid_Ghost_Declaration): Relocate the procedure.
+
+2026-05-26 Viljar Indus <indus@adacore.com>
+
+ * ghost.adb (Check_Ghost_Equality_Op): New function for the
+ implementation of the rule.
+ * ghost.ads (Check_Ghost_Equality_Op): Likewise.
+ * sem_ch6.adb (Valid_Operator_Definition): Add check for rule 23.
+
+2026-05-26 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_ch4.adb (Analyze_Qualified_Expression): For a class-wide type,
+ check for an exact match modulo the Non_Limited_View attribute.
+
+2026-05-26 Steve Baird <baird@adacore.com>
+
+ * aspects.adb (Has_Aspect): In the call to Find_Aspect, pass in
+ True for the Or_Rep_Item parameter instead of letting it default
+ to False.
+
+2026-05-26 Piotr Trojanek <trojanek@adacore.com>
+
+ * tempdir.ads, tempdir.adb: Remove.
+ * gcc-interface/Makefile.in (GNATMAKE_OBJS): Remove dependency on Tempdir.
+
+2026-05-26 Piotr Trojanek <trojanek@adacore.com>
+
+ * gnatname.adb: Use System.OS_Lib routine.
+
+2026-05-26 Piotr Trojanek <trojanek@adacore.com>
+
+ * make.adb: Use System.OS_Lib routine.
+
+2026-05-26 Eric Botcazou <ebotcazou@adacore.com>
+
+ PR ada/89609
+ * sem_res.adb (Resolve_Call): Do not override the Etype of the Name
+ entity when it denotes a function that returns the limited view of a
+ type coming from a limited_with clause.
+
+2026-05-26 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_ch6.adb (Get_Function_Entity): New function.
+ (Make_Build_In_Place_Call_In_Allocator): Call it, turn some local
+ variables into constants and rename Function_Id as Func_Id.
+ (Make_Build_In_Place_Call_In_Anonymous_Context): Likewise.
+ (Make_Build_In_Place_Call_In_Assignment): Likewise.
+ (Make_Build_In_Place_Call_In_Object_Declaration): Likewise.
+
+2026-05-26 Gary Dismukes <dismukes@adacore.com>
+
+ * contracts.adb (Expand_Subprogram_Contract): Don't call
+ Build_Subprogram_Contract_Wrapper for a No_Return subprogram,
+ but include any prologue declarations (such as for preconditions).
+
+2026-05-26 Viljar Indus <indus@adacore.com>
+
+ * errid-diagnostic_repository.ads: Add new diagnostics to the
+ repository. Map diagnostics to restrictions.
+ * errid-restriction_repository.ads: New pacakges for mapping
+ restricitions to diagnostics.
+ * errid.adb (heck_Diagnostic_To_Restriction_Consistency): New
+ method for repository consistency.
+ (Check_Diagnostic_To_Restriction_Consistency): New method for
+ repository consistency.
+ (Add_All_Restriction_Rules): New method for adding all of the
+ restrictions.
+ * errid.ads: Add new Diagnostic_Id-s.
+ * errout.adb (Add_Unique_Diagnostics_And_Switches): Add
+ restrictions to the SARIF_Printer.
+ * erroutc.ads: Add restrictions to the Error_Msg_Object.
+ * erroutc-sarif_emitter.adb (Print_Rule): Add method for printing
+ rules for restrictions.
+ * erroutc-sarif_emitter.ads: add restrictions as part of the
+ printer.
+ * errutil.adb (Error_Msg): Update diagnostic element creation.
+ * restrict.adb (Restriction_Msg): Add diagnostic id based on the
+ restriction id.
+ * gcc-interface/Make-lang.in (GNAT_ADA_OBJS, GNATBIND_OBJS): Add
+ new files.
+ * gcc-interface/Makefile.in (GNATMAKE_OBJS): Likewise.
+
+2026-05-26 Javier Miranda <miranda@adacore.com>
+
+ * exp_util.adb (Remove_Side_Effects): Propagate actuals in
+ recursion calls, unless this is a known side-effect free
+ attribute whose expressions are also side-effect free.
+
+2026-05-26 Viljar Indus <indus@adacore.com>
+
+ * sem_util.adb (Depends_On_Level): Fix condition for Runtime
+ level.
+
+2026-05-26 Viljar Indus <indus@adacore.com>
+
+ * sem_util.adb (Policy_In_Effect): Normalize the policy names.
+
+2026-05-26 Bob Duff <duff@adacore.com>
+
+ * gen_il-fields.ads (Is_Boolean_Aspect): Remove.
+ * gen_il-gen-gen_nodes.adb: Likewise.
+ * sinfo.ads: Likewise.
+ * sem_ch13.adb: Likewise. Minor comment fix.
+ * aspects.ads: Clean up comments, including removing
+ some redundancy.
+ * freeze.adb: Fix comment typo.
+ * sem_eval.ads: Fix comment typo.
+ * tbuild.ads: Fix comment; there's no reason to mention the
+ number, especially when it's wrong.
+
+2026-05-26 Viljar Indus <indus@adacore.com>
+
+ * ghost.adb (Check_Ghost_Policy): Add check for assertion levels
+ inside aspect specifications.
+
+2026-05-26 Bob Duff <duff@adacore.com>
+
+ * aspects.ads (Aspect_Unimplemented): Remove.
+ * sem_ch13.adb (Aspect_Unimplemented): Remove.
+
+2026-05-26 Bob Duff <duff@adacore.com>
+
+ * sem_ch13.adb (Analyze_One_Aspect): Remove the exception
+ declaration, raises, and handler. Inline the code in
+ Check_Expr_Is_OK_Static_Expression, which was called only once.
+
+2026-05-26 Marc Poulhiès <poulhies@adacore.com>
+
+ * exp_unst.adb (Unnest_Subprogram): Push/Pop scope around Analyze
+ call.
+
+2026-05-26 Marc Poulhiès <poulhies@adacore.com>
+
+ * exp_unst.adb (Maybe_Subp_Index): New non throwing version of
+ Subp_Index.
+ (Nullify_Renamings, Move_Pending_Renamings): New.
+ (Register_Subprogram): Record subp renamings. Call
+ Nullify_Renamings when a subp is dropped.
+ (with Elist): Moved to...
+ * exp_unst.ads (with Elist): ... here.
+ (Subp_Entry): Add Renamings component.
+ (Pending_Renamings): New list.
+
+2026-05-26 Ronan Desplanques <desplanques@adacore.com>
+
+ * libgnarl/s-interr__vxworks.adb (Unprotected_Exchange_Handler): Fix
+ exception message.
+
+2026-05-26 Sebastian Poeplau <poeplau@adacore.com>
+
+ * s-oscons-tmplt.c (PTY_Library): Define empty for Linux targets.
+
+2026-05-26 Ronan Desplanques <desplanques@adacore.com>
+
+ * libgnarl/s-interr.adb (Interrupt_Manager, Server_Task): Fix
+ comments.
+
+2026-05-26 Ronan Desplanques <desplanques@adacore.com>
+
+ * libgnarl/s-interr.adb (User_Handler): Improve comment.
+ (Unprotected_Exchange_Handler): Fix message string.
+
+2026-05-26 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_ch6.adb (Check_Anonymous_Access_Return_With_Tasks): Declare
+ Scop as a constant and call the Might_Have_Tasks predicate instead
+ of using a custom implementation of it.
+
+2026-05-26 Steve Baird <baird@adacore.com>
+
+ * doc/gnat_rm/gnat_language_extensions.rst: Correct example
+ to avoid using a not-yet-implemented form of deep delta aggregate.
+ * exp_aggr.adb (Make_Delta_Choice_LHS): Call Core_Extensions_Allowed
+ instead of All_Extensions_Allowed.
+ * par-ch4.adb (P_Simple_Expression): Likewise.
+ * sem_aggr.adb (Resolve_Delta_Array_Aggregate): Likewise.
+ * gnat_rm.texi: Regenerate.
+
+2026-05-26 Gary Dismukes <dismukes@adacore.com>
+
+ * par.adb (P_Expression_If_OK): Add declare expression to spec comment.
+ * par-ch4.adb (P_Expression_If_OK): Add declare expression to comments.
+ * par-ch12.adb (P_Formal_Subprogram_Declaration): Call
+ P_Expression_If_OK rather than P_Expression.
+
+2026-05-26 Javier Miranda <miranda@adacore.com>
+
+ * sem_ch13.adb (Analyze_One_Aspect): For Unsigned_Base_Range aspect,
+ skip generating its corresponding pragma when the aspect is set
+ to False.
+ * sem_ch3.adb (Analyze_Full_Type_Declaration): Fix initialization
+ of local variable Is_Unsigned_Base_Range_Type_Decl to handle
+ Unsigned_Base_Range aspect set to False.
+
+2026-05-26 Ronan Desplanques <desplanques@adacore.com>
+
+ * libgnarl/s-interr.adb (Unprotected_Exchange_Handler): Fix
+ exception message.
+
+2026-05-26 Javier Miranda <miranda@adacore.com>
+
+ * aspects.adb (Get_Aspect_Id): Enable aspect Unsigned_Base_Range
+ * debug.adb (Debug_Flag_Dot_U): Leave free this switch
+ * par-ch4.adb (Scan_Apostrophe): Enable attribute Unsigned_Base_Range
+ * sem_prag.adb (Analyze_Pragma): Enable pragma Unsigned_Base_Range
+ * doc/gnat_rm/gnat_language_extensions.rst: Document unsigned base range.
+ * gnat_rm.texi: Regenerate.
+ * gnat_ugn.texi: Regenerate.
+
2026-05-25 Eric Botcazou <ebotcazou@adacore.com>
* sem_util.adb (Prefix_Is_Formal_Parameter): Rename into...
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 34394abd5e27..deeb99962ec0 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2026-05-26 Marek Polacek <polacek@redhat.com>
+
+ PR c++/125423
+ * pt.cc (tsubst_expr) <case REFLECT_EXPR>: Don't tsubst
+ REFLECT_BASEs.
+
2026-05-23 Jason Merrill <jason@redhat.com>
PR c++/125135
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 94762c37a305..abc34cefeac1 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,8 @@
+2026-05-26 Paul-Antoine Arras <parras@baylibre.com>
+
+ * dump-parse-tree.cc (debug): Add debug functions for gfc_omp_namelist
+ and gfc_omp_clauses.
+
2026-05-24 Jerry DeLisle <jvdelisle@gcc.gnu.org>
Harald Anlauf <anlauf@gcc.gnu.org>
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 937808551ce6..745cef9ae760 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,33 @@
+2026-05-26 Marek Polacek <polacek@redhat.com>
+
+ PR c++/125423
+ * g++.dg/reflect/bases_of6.C: New test.
+
+2026-05-26 Andrew Pinski <andrew.pinski@oss.qualcomm.com>
+
+ PR tree-optimization/125396
+ * gcc.dg/torture/pr125396-1.c: New test.
+
+2026-05-26 Jonathan Wakely <jwakely@redhat.com>
+
+ * g++.dg/warn/Winvalid-memory-model-2.C: Disable deprecated
+ warnings for C++26 and up.
+ * g++.dg/warn/Winvalid-memory-model.C: Likewise.
+
+2026-05-26 Jin Ma <jinma@linux.alibaba.com>
+
+ * gcc.target/riscv/fusion-auipc-addi-2.c: New test.
+ * gcc.target/riscv/fusion-lui-addi-2.c: New test.
+ * gcc.target/riscv/fusion-zexth-2.c: New test.
+ * gcc.target/riscv/fusion-zextw-2.c: New test.
+
+2026-05-26 Jin Ma <jinma@linux.alibaba.com>
+
+ * gcc.target/riscv/fusion-auipc-ld.c: New test.
+ * gcc.target/riscv/fusion-b-alui.c: New test.
+ * gcc.target/riscv/fusion-cache-aligned-std.c: New test.
+ * gcc.target/riscv/fusion-ldindexed.c: New test.
+
2026-05-26 Andrew Pinski <andrew.pinski@oss.qualcomm.com>
PR tree-optimization/125453
diff --git a/libffi/ChangeLog b/libffi/ChangeLog
index f4219d46e5bd..9047e335db35 100644
--- a/libffi/ChangeLog
+++ b/libffi/ChangeLog
@@ -1,3 +1,10 @@
+2026-05-26 Pietro Monteiro <pietro@sociotechnical.xyz>
+
+ PR libffi/125417
+ * testsuite/lib/libffi.exp (libffi_target_compile): Use
+ ${libffi_include} and ${blddirffi} instead of "../include" and
+ ".." for include paths.
+
2026-05-21 Pietro Monteiro <pietro@sociotechnical.xyz>
* LOCAL_PATCHES: Update list.
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 4524c3589572..e21d29e58836 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,135 @@
+2026-05-26 Tomasz Kamiński <tkaminsk@redhat.com>
+
+ * include/std/ranges (ref_view::size()): Only call ranges::size(*_M_r).
+ (ref_view::empty): Only call ranges::empty(*_M_r).
+ * testsuite/23_containers/inplace_vector/cons/from_iota_neg.cc:
+ Except no errors from ref_view uses.
+ * testsuite/23_containers/inplace_vector/cons/from_range_neg.cc:
+ Likewise.
+
+2026-05-26 Jonathan Wakely <jwakely@redhat.com>
+
+ PR libstdc++/125450
+ * include/std/optional (range_format): Do not define for
+ freestanding.
+
+2026-05-26 Tomasz Kamiński <tkaminsk@redhat.com>
+
+ * include/bits/ranges_base.h (ranges::__static_size): Define.
+ * include/std/ranges (ref_view::size()): For ranges with static
+ size return ranges::__static_size<_Range>.
+ (ref_view::empty): For ranges with static size, compare size
+ against zero.
+ * testsuite/23_containers/inplace_vector/cons/from_iota_neg.cc:
+ Expect errors from ref_view uses.
+ * testsuite/23_containers/inplace_vector/cons/from_range_neg.cc:
+ Expect errors from ref_view uses.
+
+2026-05-26 Tomasz Kamiński <tkaminsk@redhat.com>
+
+ * include/std/inplace_vector (inplace_vector(std::from_range, __Rg&&)):
+ Add static_asserts checking range size.
+ * testsuite/23_containers/inplace_vector/cons/from_iota_neg.cc:
+ New test.
+ * testsuite/23_containers/inplace_vector/cons/from_range_neg.cc:
+ New test.
+
+2026-05-26 Jonathan Wakely <jwakely@redhat.com>
+
+ * include/bits/atomic_base.h (memory_order::consume): Add
+ deprecate attribute.
+ (memory_order_consume): Likewise.
+ (kill_dependency): Likewise.
+ (atomic_flag::clear): Disable warning with pragmas.
+ (__atomic_base::store, __atomic_base<T*>::store): Likewise.
+ * include/c_compatibility/stdatomic.h (memory_order_consume):
+ Likewise.
+ * testsuite/29_atomics/atomic/requirements/compare_exchange_lowering.cc:
+ Ignore deprecation warnings.
+ * testsuite/29_atomics/atomic_flag/test_and_set/explicit-hle.cc:
+ Likewise.
+ * testsuite/29_atomics/headers/atomic/types_std_c++0x.cc: Add
+ dg-warning directives.
+ * testsuite/29_atomics/headers/stdatomic.h/c_compat.cc:
+ Likewise.
+
+2026-05-26 Jonathan Wakely <jwakely@redhat.com>
+
+ * include/bits/stl_deque.h: Add missing constraint on allocator
+ type in deduction guide.
+ * include/bits/stl_vector.h: Likewise.
+ * include/debug/deque: Likewise.
+ * include/debug/vector: Likewise.
+ * testsuite/23_containers/deque/cons/deduction_c++23.cc: Check
+ that deduction fails for a type which does not qualify as an
+ allocator.
+ * testsuite/23_containers/vector/cons/deduction_c++23.cc:
+ Likewise.
+
+2026-05-26 Jonathan Wakely <jwakely@redhat.com>
+
+ PR libstdc++/125371
+ * config/io/basic_file_stdio.h: Include <bits/ios_base.h>
+ instead of <ios>.
+ * include/Makefile.am: Add new headers.
+ * include/Makefile.in: Regenerate.
+ * include/bits/fs_path.h: Include <bits/iosfwd.h> instead of
+ <iosfwd>.
+ * include/bits/locale_facets.h: Remove unused <iosfwd> and
+ <streambuf> includes.
+ * include/bits/localefwd.h: Include <bits/iosfwd.h> instead of
+ <iosfwd>.
+ * include/bits/ostream.h: Replace <ios> with its constituent
+ parts, except for <iosfwd>.
+ * include/bits/ostream_insert.h: Include <bits/iosfwd.h> instead
+ of <iosfwd>.
+ * include/bits/shared_ptr.h: Likewise.
+ * include/bits/std_thread.h: Likewise.
+ * include/bits/stream_iterator.h: Likewise.
+ * include/std/fstream: Include <bits/iosfwd_file.h>.
+ * include/std/iomanip: Include <bits/iosfwd.h> instead of
+ <iosfwd>.
+ * include/std/ios: Do not include <exception> or
+ <bits/char_traits.h>.
+ * include/std/iosfwd: Move declarations to new headers and
+ include those new headers. Tweak Doxygen comment.
+ * include/std/iostream: Include <ios>.
+ * include/std/istream: Replace <ios> with its constituent
+ parts, except for <iosfwd>.
+ * include/std/random: Include <bits/iosfwd.h> instead of
+ <iosfwd>.
+ * include/std/spanstream: Include <bits/iosfwd_span.h>.
+ * include/std/sstream: Include <bits/iosfwd_string.h>.
+ * include/std/streambuf: Include <bits/iosfwd.h> instead of
+ <iosfwd>.
+ * include/std/string_view: Likewise.
+ * include/std/syncstream: Include <bits/iosfwd_sync.h>.
+ * include/std/system_error: Include <bits/iosfwd.h> instead of
+ <iosfwd>.
+ * include/bits/iosfwd.h: New file.
+ * include/bits/iosfwd_file.h: New file.
+ * include/bits/iosfwd_span.h: New file.
+ * include/bits/iosfwd_string.h: New file.
+ * include/bits/iosfwd_sync.h: New file.
+
+2026-05-26 Tomasz Kamiński <tkaminsk@redhat.com>
+
+ * include/bits/ranges_base.h (ranges::__static_sized_range):
+ Define.
+ * include/bits/simd_details.h (simd::__static_sized_range):
+ Remove.
+ (simd::__static_range_size): Use ranges::__static_sized_range.
+ * include/bits/simd_loadstore.h (simd::unchecked_store)
+ (simd::unchecked_load): Use ranges::__static_sized_range.
+ * include/bits/simd_vec.h (basic_vec::basic_vec(_Rg&&, flags<_Flags>)):
+ Replace __static_sized_range<_Rg, _S_size> with
+ ranges::__static_sized_range<_Rg> and traing requires size
+ for size value.
+ * include/std/meta (__detail::__statically_sized): Remove.
+ (std::define_static_array): Use ranges::__static_sized_range.
+ * testsuite/std/simd/traits_impl.cc: Remove test for
+ simd::__static_sized_range.
+
2026-05-25 Tomasz Kamiński <tkaminsk@redhat.com>
* testsuite/20_util/is_constructible/value-2.cc:
More information about the Libstdc++-cvs
mailing list