[gcc r13-7919] Daily bump.

[gcc r13-7919] Daily bump.

[GCC Administrator]

https://gcc.gnu.org/g:0b804b326970d64cecddea14f3097c62fe13c2d3

commit r13-7919-g0b804b326970d64cecddea14f3097c62fe13c2d3
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Thu Sep 28 09:54:02 2023 +0000

    Daily bump.

Diff:
---
 gcc/ChangeLog           |  20 +++
 gcc/DATESTAMP           |   2 +-
 gcc/ada/ChangeLog       | 449 ++++++++++++++++++++++++++++++++++++++++++++++++
 gcc/m2/ChangeLog        |  14 ++
 gcc/testsuite/ChangeLog |   5 +
 libstdc++-v3/ChangeLog  |  70 ++++++++
 6 files changed, 559 insertions(+), 1 deletion(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 2c690aa2729..28813d7a7e8 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,23 @@
+2023-09-26  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gimple-range-gori.cc (gori_compute::logical_combine): Add missing
+	return statement in the varying case.
+
+2023-09-26  Andrew MacLeod  <amacleod@redhat.com>
+
+	PR tree-optimization/110315
+	* value-range-storage.h (vrange_allocator::alloc_irange): Adjust
+	new params.
+	* value-range.cc (irange::operator=): Resize range.
+	(irange::irange_union): Same.
+	(irange::irange_intersect): Same.
+	(irange::invert): Same.
+	* value-range.h (irange::maybe_resize): New.
+	(~int_range): New.
+	(int_range_max): Default to 3 sub-ranges and resize as needed.
+	(int_range::int_range): Adjust for resizing.
+	(int_range::operator=): Same.
+
 2023-09-20  Richard Sandiford  <richard.sandiford@arm.com>
 
 	Backported from master:
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index d1627ee14e6..7cf5e2569b4 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20230926
+20230928
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 05c9c4810c8..650d203beec 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,452 @@
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch7.adb (Build_Finalizer.Process_Declarations): Remove call
+	to Is_Simple_Protected_Type as redundant.
+	(Build_Finalizer.Process_Object_Declaration): Do not retrieve the
+	corresponding record type for simple protected objects. Make the
+	flow of control more explicit in their specific processing.
+	* exp_util.adb (Requires_Cleanup_Actions): Return false for simple
+	protected objects present in library-level package bodies for the
+	sake of consistency with Build_Finalizer and remove call to
+	Is_Simple_Protected_Type as redundant.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* einfo.ads (Status_Flag_Or_Transient_Decl): Remove ??? comment.
+	* exp_ch6.adb (Expand_N_Extended_Return_Statement): Extend the
+	handling of finalizable return objects to the non-BIP case.
+	* exp_ch7.adb (Build_Finalizer.Process_Declarations): Adjust the
+	comment accordingly.
+	* exp_util.adb (Requires_Cleanup_Actions): Likewise.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/utils.cc (finish_record_type): Round the size in
+	the padding case as well.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* inline.adb (Expand_Inlined_Call): In the case of a function call
+	that returns an unconstrained type and initializes an object, set
+	the No_Initialization flag on the new declaration of the object.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_aggr.adb (Convert_To_Assignments): In the case of a
+	component association, call Is_Container_Aggregate on the parent's
+	parent.
+	(Expand_Array_Aggregate): Likewise.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_res.adb (Resolve_Call): When the target is an entity, do not
+	freeze it if the current scope is the inner wrapper function built
+	for an expression function with a Post or Refined_Post aspect.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch6.adb (Expand_Ctrl_Function_Call): Also do nothing for the
+	expression of a delta aggregate.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_util.adb (Initialized_By_Aliased_BIP_Func_Call): Make the name
+	matching more robust.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/trans.cc (gnat_to_gnu): Really test Storage_Pool on
+	the simple return statement.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* freeze.adb (Freeze_Enumeration_Type): Give an error on a type with
+	both representation clause and too large size.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_util.adb (Make_Invariant_Call): Convert the expression to
+	the type of the formal parameter if need be.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/trans.cc (gnat_to_gnu): Restrict previous change to
+	the case where the simple return statement has got no storage pool.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_aggr.adb (Is_Two_Dim_Packed_Array): Return true only if the
+	component type of the array is scalar.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_util.ads (Wrong_Type): Add Multiple parameter defaulting to
+	False and document it.
+	* sem_util.adb (Wrong_Type): Do not return early if an error has
+	already been posted on Expr and Multiple is True.
+	* sem_ch4.adb (Analyze_One_Call): Pass All_Errors_Mode as the
+	actual parameter for Multiple to Wrong_Type.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_ch13.adb (Replace_Type_References_Generic.Visible_Component):
+	In the case of private discriminated types, explicitly check that we
+	have a private declaration before examining its discriminant part.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_util.ads (Validated_View): Document enhanced behavior.
+	* sem_util.adb (Validated_View): Return the nonlimited view, if any,
+	of types coming from a limited with.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_ch13.adb (Replace_Type_References_Generic.Visible_Component):
+	In the case of private discriminated types, return a discriminant
+	only if it is listed in the discriminant part of the declaration.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_util.adb (Has_Inferable_Discriminants): In the case of a
+	component with a per-object constraint, also return true if the
+	enclosing object is not of an unchecked union type.
+	In the default case, remove a useless call to Base_Type.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/trans.cc (Subprogram_Body_to_gnu): Add guard to the
+	code turning the type of the RESULT_DECL into a reference type.
+	(maybe_make_gnu_thunk): Use a more precise guard in the same case.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/decl.cc (gnat_to_gnu_entity) <E_Variable>: Restrict
+	the special handling of temporaries created for return values and
+	subject to a renaming to the top level.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/decl.cc (gnat_to_gnu_entity) <E_Variable>: Tweak.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch3.adb (Make_Allocator_For_Return): Rewrite the logic that
+	determines the type used for the allocation and add assertions.
+	* exp_util.adb (Has_Tag_Of_Type): Also return true for extension
+	aggregates.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch3.adb (Make_Allocator_For_Return): Deal again specifically
+	with an aggregate returned through an object of a class-wide type.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_ch4.adb (Analyze_Call): Adjust the test to detect the presence
+	of an incomplete view of a type on a function call.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_type.adb (Disambiguate): Fix pasto in the implementation of
+	the RM 8.4(10) clause for operators.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_ch13.adb (Analyze_Aspect_Specifications): Add missing items
+	in the list of aspects handled by means of Insert_Pragma.
+	<Aspect_Linker_Section>: Remove obsolete code.  Do not delay the
+	processing of the aspect if the entity is already frozen.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* contracts.adb (Contract_Error): New exception.
+	(Add_Contract_Item): Raise Contract_Error instead of Program_Error.
+	(Add_Generic_Contract_Pragma): Deal with Contract_Error.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract): For a
+	subprogram body that has no contracts and does not come from source,
+	make sure that contracts on its corresponding spec are analyzed, if
+	any, before expanding them.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_aggr.adb (Build_Array_Aggr_Code.Get_Assoc_Expr): Duplicate the
+	expression here instead of...
+	(Build_Array_Aggr_Code): ...here.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* freeze.adb (Check_Large_Modular_Array): Fix head comment, use
+	Standard_Long_Long_Integer_Size directly and generate a reference
+	just before the raise statement if the Etype of the object is an
+	itype declared in an open scope.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch7.adb (Find_Enclosing_Transient_Scope): Return the index in
+	the scope table instead of the scope's entity.
+	(Establish_Transient_Scope): If an enclosing scope already exists,
+	do not set the Uses_Sec_Stack flag on it if the node to be wrapped
+	is a return statement which requires secondary stack management.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_res.adb (Resolve_Call): Restrict previous change to calls that
+	return on the same stack as the enclosing function.  Tidy up.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_util.adb (Build_DIC_Procedure_Body.Add_Own_DIC): When inside
+	a generic unit, preanalyze the expression directly.
+	(Build_Invariant_Procedure_Body.Add_Own_Invariants): Likewise.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* freeze.adb (Wrap_Imported_Subprogram): Use Copy_Subprogram_Spec in
+	both cases to copy the spec of the subprogram.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch7.adb (Establish_Transient_Scope.Find_Transient_Context):
+	Bail out for a simple return statement only if the transient scope
+	and the function both require secondary stack management, or else
+	if the function is a thunk.
+	* sem_res.adb (Resolve_Call): Do not create a transient scope when
+	the call is the expression of a simple return statement.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch6.adb (Expand_Simple_Function_Return): Call Insert_Actions
+	consistently when rewriting the expression.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_util.adb (Is_Finalizable_Transient.Is_Indexed_Container):
+	New predicate to detect a temporary created to hold the result of
+	a constant indexing on a container.
+	(Is_Finalizable_Transient.Is_Iterated_Container): Adjust a couple
+	of obsolete comments.
+	(Is_Finalizable_Transient): Return False if Is_Indexed_Container
+	returns True on the object.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_res.adb (Has_Applicable_User_Defined_Literal): Make it clear
+	that the predicate also checks the node itself.
+	(Try_User_Defined_Literal): Move current implementation to...
+	Deal only with literals, named numbers and conditional expressions
+	whose dependent expressions are literals or named numbers.
+	(Try_User_Defined_Literal_For_Operator): ...this.  Remove multiple
+	return False statements and put a single one at the end.
+	(Resolve): Call Try_User_Defined_Literal instead of directly
+	Has_Applicable_User_Defined_Literal for all nodes.  Call
+	Try_User_Defined_Literal_For_Operator for operator nodes.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch5.adb (Expand_N_Case_Statement): Do not remove the statement
+	if it is the node to be wrapped by a transient scope.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_prag.adb (Process_Compile_Time_Warning_Or_Error): Do not defer
+	anything to the back-end when the main unit is generic.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_res.adb (Try_User_Defined_Literal): Restrict previous change
+	to non-leaf nodes.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_res.adb (Try_User_Defined_Literal): For arithmetic operators,
+	also accept operands whose type is covered by the resolution type.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch4.adb (Expand_N_In): Deal specifically with a null operand.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch6.adb (Expand_Simple_Function_Return): Deal with a rewriting
+	of the simple return during the adjustment of its expression.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch4.adb (Expand_N_Case_Expression): Distribute simple return
+	statements enclosing the conditional expression into the dependent
+	expressions in almost all cases.
+	(Expand_N_If_Expression): Likewise.
+	(Process_Transient_In_Expression): Adjust to the above distribution.
+	* exp_ch6.adb (Expand_Ctrl_Function_Call): Deal with calls in the
+	dependent expressions of a conditional expression.
+	* sem_ch6.adb (Analyze_Function_Return): Deal with the rewriting of
+	a simple return statement during the resolution of its expression.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_ch4.ads (Unresolved_Operator): New procedure.
+	* sem_ch4.adb (Has_Possible_Literal_Aspects): Rename into...
+	(Has_Possible_User_Defined_Literal): ...this.  Tidy up.
+	(Operator_Check): Accept again unresolved operators if they have a
+	possible user-defined literal as operand.  Factor out the handling
+	of the general error message into...
+	(Unresolved_Operator): ...this new procedure.
+	* sem_res.adb (Resolve): Be prepared for unresolved operators on
+	entry in Ada 2022 or later.  If they are still unresolved on exit,
+	call Unresolved_Operator to give the error message.
+	(Try_User_Defined_Literal): Tidy up.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_ch12.adb (Copy_Generic_Node): Test the original node kind
+	for the sake of consistency.  For identifiers and other entity
+	names and operators, accept an expanded name as associated node.
+	Replace "or" with "or else" in condtion and fix its formatting.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_ch12.adb (Instantiate_Package_Body): Set the ghost mode to
+	that of the instance only after loading the generic's parent.
+	(Instantiate_Subprogram_Body): Likewise.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_attr.adb (Is_Thin_Pointer_To_Unc_Array): New predicate.
+	(Resolve_Attribute): Apply the static matching legality rule to an
+	Unrestricted_Access attribute applied to an aliased prefix if the
+	type is a thin pointer.  Call Is_Thin_Pointer_To_Unc_Array for the
+	aliasing legality rule as well.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* checks.adb (Selected_Range_Checks): Add guards to protect calls
+	to Expr_Value on bounds.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_ch3.adb (Find_Type_Of_Object): Copy the object definition when
+	building the subtype declaration in the case of a spec expression.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_ch13.adb (Build_Predicate_Functions): If the current scope
+	is not that of the type, push this scope and pop it at the end.
+	* sem_util.ads (Current_Scope_No_Loops_No_Blocks): Delete.
+	* sem_util.adb (Current_Scope_No_Loops_No_Blocks): Likewise.
+	(Set_Public_Status): Call again Current_Scope.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_ch13.adb (Build_Predicate_Function_Declaration): Adjust the
+	commentary to the current implementation.
+	* sem_util.ads (Current_Scope_No_Loops): Move around.
+	(Current_Scope_No_Loops_No_Blocks): New declaration.
+	(Add_Block_Identifier): Fix formatting.
+	* sem_util.adb (Add_Block_Identifier): Likewise.
+	(Current_Scope_No_Loops_No_Blocks): New function.
+	(Set_Public_Status): Call Current_Scope_No_Loops_No_Blocks instead
+	of Current_Scope to get the current scope.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch3.adb (Build_Record_Init_Proc.Build_Assignment): Do not
+	manually generate a predicate check.  Call Unqualify before doing
+	pattern matching on the expression.
+	* sem_ch3.adb (Analyze_Object_Declaration): Also freeze the actual
+	subtype when it is built in the definite case.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* frontend.adb (Frontend): Merge two conditional blocks and adjust.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch7.adb (Expand_N_Package_Body): Call Defining_Entity to get
+	the entity of the body.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch3.adb (Make_Controlling_Function_Wrappers): Create the body
+	as the expanded body of an expression function.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch3.adb (Freeze_Type): Do not associate the Finalize_Address
+	routine for a class-wide type if restriction No_Dispatching_Calls
+	is in effect.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* freeze.adb (Wrap_Imported_Subprogram): Use Copy_Subprogram_Spec
+	to copy the spec from the subprogram to the generated subprogram
+	body.
+	(Freeze_Entity): Do not wrap imported subprograms inside generics.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch4.adb (Expand_N_Expression_With_Actions.Process_Action): Do
+	not look into nested blocks.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_ch3.adb (Find_Type_Of_Object): In a spec expression, also set
+	the Scope of the type, and call Constrain_Array for array subtypes.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_attr.adb (Expand_N_Attribute_Reference) <Attribute_Reduce>:
+	Use the canonical accumulator type as the type of the accumulator
+	in the prefixed case.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* freeze.adb (Freeze_Expression): When the freezing is to be done
+	outside the current scope, skip any scope that is an internal loop.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_imgv.adb (Rewrite_Object_Image): If the prefix is a component
+	that depends on a discriminant, create an actual subtype for it.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_ch13.adb: Add with and use clauses for Expander.
+	(Resolve_Aspect_Expressions) <Aspect_Predicate>: Emulate a
+	bona-fide preanalysis setup before calling
+	Resolve_Aspect_Expression.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_res.adb (Has_Applicable_User_Defined_Literal): Apply the
+	same processing for derived untagged types as for tagged types.
+	* sem_util.ads (Corresponding_Primitive_Op): Adjust description.
+	* sem_util.adb (Corresponding_Primitive_Op): Handle untagged
+	types.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_ch7.adb (Hide_Public_Entities): Use the same condition for
+	subprogram bodies without specification as for those with one.
+
+2023-09-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* repinfo.ads (JSON output format): Document special case of
+	Present member of a Variant object.
+	* repinfo.adb (List_Structural_Record_Layout): Change the type of
+	Ext_Level parameter to Integer. Restrict the first recursion with
+	increasing levels to the fixed part and implement a second
+	recursion with decreasing levels for the variant part. Deal with
+	an extension of a type with unknown discriminants.
+
+2023-09-26  Eric Botcazou  <ebotcazou@adacore.com>
+
+	PR ada/110488
+	* sem_ch3.adb (Analyze_Object_Declaration): Do not build a default
+	subtype for a deferred constant in the definite case too.
+
 2023-07-27  Release Manager
 
 	* GCC 13.2.0 released.
diff --git a/gcc/m2/ChangeLog b/gcc/m2/ChangeLog
index c62247b796c..ea2d97cf5bc 100644
--- a/gcc/m2/ChangeLog
+++ b/gcc/m2/ChangeLog
@@ -1,3 +1,17 @@
+2023-09-26  Gaius Mulley  <gaiusmod2@gmail.com>
+
+	Backported from master:
+	2023-09-26  Gaius Mulley  <gaiusmod2@gmail.com>
+
+	PR modula2/111510
+	* gm2-compiler/M2GenGCC.mod (IsExportedGcc): Minor spacing changes.
+	(BuildTrashTreeFromInterface): Minor spacing changes.
+	* gm2-compiler/M2Options.mod (GetRuntimeModuleOverride): Call
+	string to generate a nul terminated C style string.
+	* gm2-compiler/M2Quads.mod (BuildStringAdrParam): New procedure.
+	(BuildM2InitFunction): Replace inline parameter generation with
+	calls to BuildStringAdrParam.
+
 2023-09-13  Gaius Mulley  <gaiusmod2@gmail.com>
 
 	Backported from master:
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 5974f59c21e..cf1548ee9cb 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2023-09-26  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gnat.dg/opt102.adb:New test.
+	* gnat.dg/opt102_pkg.adb, gnat.dg/opt102_pkg.ads: New helper.
+
 2023-09-24  Patrick Palka  <ppalka@redhat.com>
 
 	Backported from master:
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 3e0d91dcd36..70b7235d143 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,73 @@
+2023-09-27  Paul Dreik  <gccpatches@pauldreik.se>
+
+	Backported from master:
+	2023-08-24  Paul Dreik  <gccpatches@pauldreik.se>
+
+	PR libstdc++/111102
+	* testsuite/std/format/string.cc: Check wide character format
+	strings with out-of-range widths.
+
+2023-09-27  François Dumont  <fdumont@gcc.gnu.org>
+
+	Backported from master:
+	2023-09-13  François Dumont  <fdumont@gcc.gnu.org>
+
+	* include/std/format (std::__format::_Arg_store): Explicit version
+	namespace on make_format_args friend declaration.
+
+2023-09-27  Paul Dreik  <gccpatches@pauldreik.se>
+
+	Backported from master:
+	2023-08-24  Paul Dreik  <gccpatches@pauldreik.se>
+
+	PR libstdc++/111102
+	* include/std/format (__format::__parse_integer): Check for
+	non-null pointer.
+
+2023-09-27  Jonathan Wakely  <jwakely@redhat.com>
+
+	Backported from master:
+	2023-08-09  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/std/format: Fix some warnings.
+	(__format::__write(Ctx&, basic_string_view<CharT>)): Remove
+	unused function template.
+
+2023-09-27  Jonathan Wakely  <jwakely@redhat.com>
+
+	Backported from master:
+	2023-07-27  Jonathan Wakely  <jwakely@redhat.com>
+
+	PR libstdc++/108046
+	* include/std/format (__formatter_fp::format): Ensure __expc is
+	always set for all presentation types. Set __z correctly for
+	zero precision.
+	* testsuite/std/format/functions/format.cc: Check problem cases.
+
+2023-09-27  Jonathan Wakely  <jwakely@redhat.com>
+
+	Backported from master:
+	2023-08-09  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/bits/chrono.h (duration_cast): Do not use braces
+	around statements for C++11 constexpr rules.
+	* include/bits/stl_algobase.h (__lg): Rewrite as a single
+	statement for C++11 constexpr rules.
+	* include/experimental/bits/fs_path.h (path::string): Use
+	_GLIBCXX17_CONSTEXPR not _GLIBCXX_CONSTEXPR for 'if constexpr'.
+	* include/std/charconv (__to_chars_8): Initialize variable for
+	C++17 constexpr rules.
+
+2023-09-26  Jonathan Wakely  <jwakely@redhat.com>
+
+	Backported from master:
+	2023-09-25  Jonathan Wakely  <jwakely@redhat.com>
+
+	PR libstdc++/111511
+	PR c++/111512
+	* include/std/array (to_array): Qualify calls to __to_array.
+	* testsuite/23_containers/array/creation/111512.cc: New test.
+
 2023-09-18  Jonathan Wakely  <jwakely@redhat.com>
 
 	Backported from master: