Daily bump.

10 files changed, 558 insertions, 1 deletions

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d8de175844e..1af113d10e8 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,65 @@
+2023-05-16  Ajit Kumar Agarwal  <aagarwa1@linux.ibm.com>
+
+	* common/config/rs6000/rs6000-common.cc: Add REE pass as a
+	default rs6000 target pass for O2 and above.
+	* doc/invoke.texi: Document -free
+
+2023-05-16  Kito Cheng  <kito.cheng@sifive.com>
+
+	* common/config/riscv/riscv-common.cc (riscv_compute_multilib):
+	Fix wrong select_kind...
+
+2023-05-16  Stefan Schulze Frielinghaus  <stefansf@linux.ibm.com>
+
+	* config/s390/s390-protos.h (s390_expand_setmem): Change
+	function signature.
+	* config/s390/s390.cc (s390_expand_setmem): For memset's less
+	than or equal to 256 byte do not perform a libc call.
+	* config/s390/s390.md: Change expander into a version which
+	takes 8 operands.
+
+2023-05-16  Stefan Schulze Frielinghaus  <stefansf@linux.ibm.com>
+
+	* config/s390/s390-protos.h (s390_expand_movmem): New.
+	* config/s390/s390.cc (s390_expand_movmem): New.
+	* config/s390/s390.md (movmem<mode>): New.
+	(*mvcrl): New.
+	(mvcrl): New.
+
+2023-05-16  Stefan Schulze Frielinghaus  <stefansf@linux.ibm.com>
+
+	* config/s390/s390-protos.h (s390_expand_cpymem): Change
+	function signature.
+	* config/s390/s390.cc (s390_expand_cpymem): For memcpy's less
+	than or equal to 256 byte do not perform a libc call.
+	(s390_expand_insv): Adapt new function signature of
+	s390_expand_cpymem.
+	* config/s390/s390.md: Change expander into a version which
+	takes 8 operands.
+
+2023-05-16  Andrew Pinski  <apinski@marvell.com>
+
+	PR tree-optimization/109424
+	* match.pd: Add patterns for min/max of zero_one_valued
+	values to `&`/`|`.
+
+2023-05-16  Juzhe-Zhong  <juzhe.zhong@rivai.ai>
+
+	* config/riscv/riscv-protos.h (enum frm_field_enum): New enum.
+	* config/riscv/riscv-vector-builtins.cc
+	(function_expander::use_ternop_insn): Add default rounding mode.
+	(function_expander::use_widen_ternop_insn): Ditto.
+	* config/riscv/riscv.cc (riscv_hard_regno_nregs): Add FRM REGNUM.
+	(riscv_hard_regno_mode_ok): Ditto.
+	(riscv_conditional_register_usage): Ditto.
+	* config/riscv/riscv.h (DWARF_FRAME_REGNUM): Ditto.
+	(FRM_REG_P): Ditto.
+	(RISCV_DWARF_FRM): Ditto.
+	* config/riscv/riscv.md: Ditto.
+	* config/riscv/vector-iterators.md: split no frm and has frm operations.
+	* config/riscv/vector.md (@pred_<optab><mode>_scalar): New pattern.
+	(@pred_<optab><mode>): Ditto.
+
 2023-05-15  Aldy Hernandez  <aldyh@redhat.com>
 
 	PR tree-optimization/109695
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index ae488c0e7fc..e2f60e4d429 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20230516
+20230517
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 54d0350a45f..73de0a21458 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,216 @@
+2023-05-16  Steve Baird  <baird@adacore.com>
+
+	* usage.adb: Generate output text describing the -gnatw_s switch
+	(and the corresponding -gnatw_S switch).
+
+2023-05-16  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-05-16  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_aggr.adb (Expand_Array_Aggregate): Do not set Warnings_Off on
+	the temporary created when in-place expansion is not possible.
+
+2023-05-16  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-05-16  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-05-16  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-05-16  Yannick Moy  <moy@adacore.com>
+
+	* libgnat/s-aridou.adb (Lemma_Div_Pow2): Add assertion.
+	* libgnat/s-arit32.adb (Lemma_Abs_Div_Commutation): Simplify.
+	* libgnat/s-expmod.adb (Lemma_Exp_Mod): Add assertions.
+	(Lemma_Euclidean_Mod): Add body to lemma.
+	(Lemma_Mult_Mod): Add assertion.
+	* libgnat/s-valueu.adb (Scan_Raw_Unsigned): Modify assertion.
+	* libgnat/s-vauspe.ads (Raw_Unsigned_Last_Ghost): Add
+	postcondition.
+	* libgnat/s-widthi.adb: Use more precise types.
+
+2023-05-16  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-05-16  Javier Miranda  <miranda@adacore.com>
+
+	* sem_attr.adb
+	(Analyze_Attribute_Old_Result): When preanalyzing a class-wide
+	condition, search in the scopes stack for the subprogram that has
+	the condition. This is required because returning the current
+	scope causes reporting spurious errors when the occurrence of the
+	attribute is found, for example, in a quantified expression.
+
+2023-05-16  Javier Miranda  <miranda@adacore.com>
+
+	* exp_ch6.adb
+	(Needs_BIP_Alloc_Form): Return False for functions with foreign
+	convention since we never use build-in-place for such functions.
+
+2023-05-16  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_util.adb (Aggregate_Constraint_Checks): Don't exit early
+	when preanalysing in GNATprove mode. Now the condition is
+	consistent with other similar conditions in other code.
+
+2023-05-16  Ghjuvan Lacambre  <lacambre@adacore.com>
+
+	* usage.adb (Usage): Document -gnatyD.
+
+2023-05-16  Marc Poulhiès  <poulhies@adacore.com>
+
+	* libgnat/s-tsmona__linux.adb (link_map, r_debug_type): Add
+	'aliased' on all components.
+
+2023-05-16  Johannes Kliemann  <kliemann@adacore.com>
+
+	* libgnat/system-linux-ppc.ads: Add Support_Atomic_Primitives.
+	* libgnat/s-atopri__32.ads: Add 32 bit version of s-atopri.ads.
+	* Makefile.rtl: Use s-atopro__32.ads for ppc-linux.
+
+2023-05-16  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_util.adb (Get_Actual_Subtype): For an explicit dereference,
+	return the Actual_Designated_Subtype if it is present.
+	(Get_Actual_Subtype_If_Available): Likewise.
+
+2023-05-16  Arnaud Charlet  <charlet@adacore.com>
+
+	* errout.ads: Update comment.
+	* errout.adb (Skip_Msg_Insertion_Warning): Update to take e.g.
+	-gnatyM into account.
+	* erroutc.adb (Get_Warning_Option, Get_Warning_Tag)
+	(Prescan_Message): Add support for Style tags.
+	* par-ch5.adb, par-ch6.adb, par-ch7.adb, par-endh.adb,
+	par-util.adb, style.adb, styleg.adb: Set tag on all style
+	messages.
+
+2023-05-16  Tom Tromey  <tromey@adacore.com>
+
+	* doc/gnat_ugn/building_executable_programs_with_gnat.rst
+	(Switches_for_gnatbind): Fix typo.
+	* libgnat/g-spipat.ads: Fix typo.
+	* gnat_ugn.texi: Regenerate.
+
+2023-05-16  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_aggr.adb (Build_Assignment_With_Temporary): Adjust comment
+	and fix type of second parameter. Create the temporary on the
+	secondary stack by calling Build_Temporary_On_Secondary_Stack.
+	(Convert_Array_Aggr_In_Allocator): Adjust formatting.
+	(Expand_Array_Aggregate): Likewise.
+	* exp_ch4.adb (Expand_N_Allocator): Set Actual_Designated_Subtype
+	on the dereference in the initialization for all composite types.
+	* exp_ch5.adb (Expand_N_Assignment_Statement): Create a temporary
+	on the host for an assignment between nonnative storage models.
+	Suppress more checks when Suppress_Assignment_Checks is set.
+	* exp_ch6.adb (Add_Simple_Call_By_Copy_Code): Deal with actuals
+	that are dereferences with an Actual_Designated_Subtype. Add
+	support for nonnative storage models.
+	(Expand_Actuals): Create a copy if the actual is a dereference
+	with a nonnative storage model.
+	* exp_util.ads (Build_Temporary_On_Secondary_Stack): Declare.
+	* exp_util.adb (Build_Temporary_On_Secondary_Stack): New function.
+	* sem_ch5.adb (Analyze_Assignment.Set_Assignment_Type): Do not
+	build an actual subtype for dereferences with an
+	Actual_Designated_Subtype
+	* sinfo.ads (Actual_Designated_Subtype): Adjust documentation.
+	(Suppress_Assignment_Checks): Likewise.
+
+2023-05-16  Piotr Trojanek  <trojanek@adacore.com>
+
+	* exp_spark.adb (SPARK_Freeze_Type): Copy whole handling of DIC
+	and Type_Invariant from Freeze_Type.
+
+2023-05-16  Richard Kenner  <kenner@adacore.com>
+
+	* sem_util.adb (Subprogram_Name): If what's passed is already an
+	entity, use that for the name.
+
+2023-05-16  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* doc/gnat_rm/standard_and_implementation_defined_restrictions.rst
+	(No_Dependence): Give examples of new No_Dependence restrictions.
+	* gnat_rm.texi: Regenerate.
+
+2023-05-16  Arnaud Charlet  <charlet@adacore.com>
+
+	* snames.ads-tmpl (Name_ASCII): New.
+	* style.adb (Check_Identifier): Fix handling of ASCII.
+
+2023-05-16  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gen_il-fields.ads (Opt_Field_Enum): Add Cannot_Be_Superflat.
+	* gen_il-gen-gen_nodes.adb (N_Range): Add Cannot_Be_Superflat as
+	semantical flag and change Includes_Infinities to semantical.
+	* sinfo.ads (Cannot_Be_Superflat): Document it for N_Range.
+	* exp_ch4.adb (Expand_Concatenate): Set Cannot_Be_Superflat on the
+	range of the result if the result cannot be null.
+
+2023-05-16  Richard Kenner  <kenner@adacore.com>
+
+	* gen_il-gen-gen_nodes.adb (Present_Expr): Type is now Uint.
+
+2023-05-16  Yannick Moy  <moy@adacore.com>
+
+	* libgnat/s-aridou.adb (Big3, Is_Mult_Decomposition)
+	(Is_Scaled_Mult_Decomposition): Add annotation for inlining.
+	(Double_Divide, Scaled_Divide): Simplify and remove ghost code.
+	(Prove_Multiplication): Add calls to lemmas to make proof go
+	through.
+	* libgnat/s-aridou.ads (Big, In_Double_Int_Range): Add annotation
+	for inlining.
+
+2023-05-16  Yannick Moy  <moy@adacore.com>
+
+	* libgnat/a-strsup.adb: Add intermediate assertions.
+
+2023-05-16  Arnaud Charlet  <charlet@adacore.com>
+
+	* gnat1drv.adb: Ensure all dependencies are recorded even when not
+	generating code.
+
+2023-05-16  Yannick Moy  <moy@adacore.com>
+
+	* libgnat/a-strsup.adb: Set assertion policy for Loop_Variant.
+
+2023-05-16  Marc Poulhiès  <poulhies@adacore.com>
+
+	* sem_ch12.adb (Instantiate_Package_Body): Simplify if/then/else.
+	(Instantiate_Subprogram_Body): Likewise.
+
+2023-05-16  Yannick Moy  <moy@adacore.com>
+
+	* libgnat/s-aridou.adb:
+	(Big3): Remove override made useless.
+	(Lemma_Quot_Rem): Add new lemma and justify it, as no prover
+	manages to prove it.
+	(Lemma_Div_Pow2): Use new lemma Lemma_Quot_Rem.
+	(Prove_Scaled_Mult_Decomposition_Regroup3): Retype for
+	simplification.
+	(Scaled_Divide): Remove useless assertions.Decompose some
+	assertions with cut operations. Use Assert_And_Cut for second
+	half. Add assertions.
+
 2023-05-15  Marc Poulhiès  <poulhies@adacore.com>
 
 	* exp_ch3.adb (Make_Allocator_For_Return): Fix typo in comment.
diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog
index cbd612379e4..9a07e24f86d 100644
--- a/gcc/c/ChangeLog
+++ b/gcc/c/ChangeLog
@@ -1,3 +1,8 @@
+2023-05-16  Joseph Myers  <joseph@codesourcery.com>
+
+	* c-decl.cc (check_for_loop_decls): Use pedwarn_c11 for
+	diagnostics.
+
 2023-05-15  Joseph Myers  <joseph@codesourcery.com>
 
 	* c-decl.cc (grokdeclarator): Ignore _Atomic on function return
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 364b98d730b..d4b4c77e9dd 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,16 @@
+2023-05-16  Marek Polacek  <polacek@redhat.com>
+
+	PR c++/109774
+	* typeck.cc (check_return_expr): In a template, return only after
+	suppressing -Wdangling-reference.
+
+2023-05-16  Patrick Palka  <ppalka@redhat.com>
+
+	PR c++/109871
+	* call.cc (add_list_candidates): Check for invalid designated
+	initialization sooner and even for types that have a list
+	constructor.
+
 2023-05-11  Patrick Palka  <ppalka@redhat.com>
 
 	PR c++/109745
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index f0648163280..696eaa07566 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,38 @@
+2023-05-16  Paul Thomas  <pault@gcc.gnu.org>
+
+	PR fortran/105152
+	PR fortran/100193
+	PR fortran/87496
+	PR fortran/103389
+	PR fortran/104429
+	PR fortran/82774
+	* interface.cc (gfc_compare_actual_formal): Emit an error if an
+	unlimited polymorphic actual is not matched either to an
+	unlimited or assumed type formal argument.
+	* resolve.cc (resolve_ordinary_assign): Emit an error if the
+	var expression of an ordinary assignment is a proc pointer
+	component.
+	* trans-array.cc (gfc_walk_array_ref): Provide assumed shape
+	arrays coming from interface mapping with a viable arrayspec.
+	* trans-expr.cc (gfc_conv_intrinsic_to_class): Tidy up flagging
+	of unlimited polymorphic 'class_ts'.
+	(gfc_conv_gfc_desc_to_cfi_desc): Assumed type is unlimited
+	polymorphic and should accept any actual type.
+	(gfc_conv_procedure_call): Replace dreadful kludge with a call
+	to gfc_finalize_tree_expr. Avoid dereferencing a void pointer
+	by giving it the pointer type of the actual argument.
+	(alloc_scalar_allocatable_subcomponent): Shorten the function
+	name and replace the symbol argument with the se string length.
+	If a deferred length character length is either not present or
+	is not a variable, give the typespec a variable and assign the
+	string length to that. Use gfc_deferred_strlen to find the
+	hidden string length component.
+	(gfc_trans_subcomponent_assign): Convert the expression before
+	the call to alloc_scalar_allocatable_subcomponent so that a
+	good string length is provided.
+	(gfc_trans_structure_assign): Remove the unneeded derived type
+	symbol from calls to gfc_trans_subcomponent_assign.
+
 2023-05-15  Harald Anlauf  <anlauf@gmx.de>
 
 	PR fortran/109846
diff --git a/gcc/m2/ChangeLog b/gcc/m2/ChangeLog
index a9cef8f13e0..270935faaf8 100644
--- a/gcc/m2/ChangeLog
+++ b/gcc/m2/ChangeLog
@@ -1,3 +1,24 @@
+2023-05-16  Gaius Mulley  <gaiusmod2@gmail.com>
+
+	PR modula2/109879
+	* gm2-libs-iso/LongIO.mod (ReadReal): Call SkipSpaces.
+	* gm2-libs-iso/LongWholeIO.mod (ReadInt): Call SkipSpaces.
+	(ReadCard): Call SkipSpaces.
+	* gm2-libs-iso/RealIO.mod (ReadReal): Call SkipSpaces.
+	* gm2-libs-iso/ShortWholeIO.mod: (ReadInt): Call SkipSpaces.
+	(ReadCard): Call SkipSpaces.
+	* gm2-libs-iso/TextIO.mod: Import SkipSpaces.
+	* gm2-libs-iso/WholeIO.mod (ReadInt): Call SkipSpaces.
+	(ReadCard): Call SkipSpaces.
+	* gm2-libs-iso/TextUtil.def: New file.
+	* gm2-libs-iso/TextUtil.mod: New file.
+
+2023-05-16  Gaius Mulley  <gaiusmod2@gmail.com>
+
+	PR modula2/108344
+	* gm2-libs-coroutines/TimerHandler.mod (EnableLED): New constant.
+	(Timer): Test EnableLED before switching on the scroll LED.
+
 2023-05-12  Gaius Mulley  <gaiusmod2@gmail.com>
 
 	PR modula2/109830
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index c2e62ded77e..2629ca4ffdc 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,106 @@
+2023-05-16  Joseph Myers  <joseph@codesourcery.com>
+
+	* gcc.dg/c11-fordecl-1.c, gcc.dg/c11-fordecl-2.c,
+	gcc.dg/c11-fordecl-3.c, gcc.dg/c11-fordecl-4.c,
+	gcc.dg/c2x-fordecl-1.c, gcc.dg/c2x-fordecl-2.c,
+	gcc.dg/c2x-fordecl-3.c, gcc.dg/c2x-fordecl-4.c: New tests.
+	* gcc.dg/c99-fordecl-2.c: Test diagnostic for typedef declaration
+	in for loop here.
+	* gcc.dg/pr67784-2.c, gcc.dg/pr68320.c, objc.dg/foreach-7.m: Do
+	not expect errors for typedef declaration in for loop.
+
+2023-05-16  Gaius Mulley  <gaiusmod2@gmail.com>
+
+	PR modula2/109879
+	* gm2/isolib/run/pass/testreadint.mod: New test.
+
+2023-05-16  Marek Polacek  <polacek@redhat.com>
+
+	PR c++/109774
+	* g++.dg/warn/Wdangling-reference13.C: New test.
+
+2023-05-16  Patrick Palka  <ppalka@redhat.com>
+
+	PR c++/109871
+	* g++.dg/cpp2a/desig27.C: New test.
+
+2023-05-16  Carl Love  <cel@us.ibm.com>
+
+	* gcc.target/powerpc/int_128bit-runnable.c: Update expected
+	instruction counts.
+
+2023-05-16  Carl Love  <cel@us.ibm.com>
+
+	* gcc.target/powerpc/rs6000-fpint.c: Update dg-options, drop dg-do
+	compile specifier.
+
+2023-05-16  Richard Sandiford  <richard.sandiford@arm.com>
+
+	* gcc.target/aarch64/advsimd-intrinsics/bfdot-2.c: Allow mves
+	to occur after the intrinsic instruction, rather than requiring
+	them to happen before.
+	* gcc.target/aarch64/advsimd-intrinsics/vdot-3-2.c: Likewise.
+
+2023-05-16  Pan Li  <pan2.li@intel.com>
+
+	* gcc.target/riscv/rvv/autovec/binop/shift-scalar-template.h:
+	Replace stdint.h with stdint-gcc.h.
+	* gcc.target/riscv/rvv/autovec/binop/shift-template.h: Ditto.
+	* gcc.target/riscv/rvv/autovec/binop/vadd-template.h: Ditto.
+	* gcc.target/riscv/rvv/autovec/binop/vand-template.h: Ditto.
+	* gcc.target/riscv/rvv/autovec/binop/vdiv-template.h: Ditto.
+	* gcc.target/riscv/rvv/autovec/binop/vmax-template.h: Ditto.
+	* gcc.target/riscv/rvv/autovec/binop/vmin-template.h: Ditto.
+	* gcc.target/riscv/rvv/autovec/binop/vmul-template.h: Ditto.
+	* gcc.target/riscv/rvv/autovec/binop/vor-template.h: Ditto.
+	* gcc.target/riscv/rvv/autovec/binop/vrem-template.h: Ditto.
+	* gcc.target/riscv/rvv/autovec/binop/vsub-template.h: Ditto.
+	* gcc.target/riscv/rvv/autovec/binop/vxor-template.h: Ditto.
+	* gcc.target/riscv/rvv/autovec/series-1.c: Ditto.
+	* gcc.target/riscv/rvv/autovec/vmv-imm-run.c: Ditto.
+	* gcc.target/riscv/rvv/autovec/vmv-imm-template.h: Ditto.
+
+2023-05-16  Stefan Schulze Frielinghaus  <stefansf@linux.ibm.com>
+
+	* gcc.target/s390/memset-1.c: Test case memset1 makes use of
+	vst, now.
+
+2023-05-16  Paul Thomas  <pault@gcc.gnu.org>
+
+	PR fortran/105152
+	PR fortran/100193
+	PR fortran/87946
+	PR fortran/103389
+	PR fortran/104429
+	PR fortran/82774
+	* gfortran.dg/pr105152.f90 : New test
+	* gfortran.dg/pr100193.f90 : New test
+	* gfortran.dg/pr87946.f90 : New test
+	* gfortran.dg/pr103389.f90 : New test
+	* gfortran.dg/pr104429.f90 : New test
+	* gfortran.dg/pr82774.f90 : New test
+
+2023-05-16  Senthil Kumar Selvaraj  <saaadhu@gcc.gnu.org>
+
+	* gcc.dg/attr-returns-nonnull.c: Skip if
+	keeps_null_pointer_checks.
+	* gcc.dg/init-compare-1.c: Likewise.
+	* gcc.dg/ipa/pr85734.c: Likewise.
+	* gcc.dg/ipa/propmalloc-1.c: Likewise.
+	* gcc.dg/ipa/propmalloc-2.c: Likewise.
+	* gcc.dg/ipa/propmalloc-3.c: Likewise.
+	* gcc.dg/ipa/propmalloc-4.c: Likewise.
+	* gcc.dg/tree-ssa/evrp11.c: Likewise.
+	* gcc.dg/tree-ssa/pr83648.c: Likewise.
+
+2023-05-16  Andrew Pinski  <apinski@marvell.com>
+
+	PR tree-optimization/109424
+	* gcc.dg/tree-ssa/bool-12.c: New test.
+	* gcc.dg/tree-ssa/bool-13.c: New test.
+	* gcc.dg/tree-ssa/minmax-20.c: New test.
+	* gcc.dg/tree-ssa/minmax-21.c: New test.
+
 2023-05-15  Joseph Myers  <joseph@codesourcery.com>
 
 	* gcc.dg/qual-return-9.c, gcc.dg/qual-return-10.c: New tests.
diff --git a/libgm2/ChangeLog b/libgm2/ChangeLog
index 1b83f679591..b7c1b08b97e 100644
--- a/libgm2/ChangeLog
+++ b/libgm2/ChangeLog
@@ -1,3 +1,26 @@
+2023-05-16  Gaius Mulley  <gaiusmod2@gmail.com>
+
+	PR modula2/109879
+	* Makefile.in: Regenerate.
+	* aclocal.m4: Regenerate.
+	* libm2cor/Makefile.in: Regenerate.
+	* libm2iso/Makefile.am (M2DEFS): Add TextUtil.def.
+	(M2MODS): Add TextUtil.mod.
+	* libm2iso/Makefile.in: Regenerate.
+	* libm2log/Makefile.in: Regenerate.
+	* libm2min/Makefile.in: Regenerate.
+	* libm2pim/Makefile.in: Regenerate.
+
+2023-05-16  Gaius Mulley  <gaiusmod2@gmail.com>
+
+	PR modula2/108344
+	* libm2cor/KeyBoardLEDs.cc (initialize_module): New function.
+	(SwitchScroll): Call initialize_module.
+	(SwitchNum): Call initialize_module.
+	(SwitchCaps): Call initialize_module.
+	(SwitchLEDs): Call initialize_module.
+	(M2EXPORT): Remove initialization code.
+
 2023-05-13  Gaius Mulley  <gaiusmod2@gmail.com>
 
 	* libm2cor/KeyBoardLEDs.cc (TRUE): Remove.
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index a43de5fc917..cd9771439b6 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,85 @@
+2023-05-16  Jonathan Wakely  <jwakely@redhat.com>
+
+	PR libstdc++/109741
+	* acinclude.m4 (GLIBCXX_CHECK_ALIGNAS_CACHELINE): Define.
+	* config.h.in: Regenerate.
+	* configure: Regenerate.
+	* configure.ac: Use GLIBCXX_CHECK_ALIGNAS_CACHELINE.
+	* src/c++11/shared_ptr.cc (__gnu_internal::get_mutex): Do not
+	align lock table if not supported. use __GCC_DESTRUCTIVE_SIZE
+	instead of hardcoded 64.
+
+2023-05-16  Jonathan Wakely  <jwakely@redhat.com>
+
+	* acinclude.m4 (GLIBCXX_USE_C99): Check for isblank in C++11
+	mode and define _GLIBCXX_USE_C99_CTYPE. Check for <fenv.h>
+	functions in C++11 mode and define _GLIBCXX_USE_C99_FENV.
+	* config.h.in: Regenerate.
+	* configure: Regenerate.
+	* include/c_compatibility/fenv.h: Check _GLIBCXX_USE_C99_FENV
+	instead of _GLIBCXX_USE_C99_FENV_TR1.
+	* include/c_global/cfenv: Likewise.
+	* include/c_global/cctype: Check _GLIBCXX_USE_C99_CTYPE instead
+	of _GLIBCXX_USE_C99_CTYPE_TR1.
+
+2023-05-16  Jonathan Wakely  <jwakely@redhat.com>
+
+	* acinclude.m4 (GLIBCXX_USE_C99): Check for <stdint.h> types in
+	C++11 mode and define _GLIBCXX_USE_C99_STDINT. Check for
+	<inttypes.h> features in C++11 mode and define
+	_GLIBCXX_USE_C99_INTTYPES and _GLIBCXX_USE_C99_INTTYPES_WCHAR_T.
+	* config.h.in: Regenerate.
+	* configure: Regenerate.
+	* doc/doxygen/user.cfg.in (PREDEFINED): Add new macros.
+	* include/bits/chrono.h: Check _GLIBCXX_USE_C99_STDINT instead
+	of _GLIBCXX_USE_C99_STDINT_TR1.
+	* include/c_compatibility/inttypes.h: Check
+	_GLIBCXX_USE_C99_INTTYPES and _GLIBCXX_USE_C99_INTTYPES_WCHAR_T
+	instead of _GLIBCXX_USE_C99_INTTYPES_TR1 and
+	_GLIBCXX_USE_C99_INTTYPES_WCHAR_T_TR1.
+	* include/c_compatibility/stdatomic.h: Check
+	_GLIBCXX_USE_C99_STDINT instead of _GLIBCXX_USE_C99_STDINT_TR1.
+	* include/c_compatibility/stdint.h: Likewise.
+	* include/c_global/cinttypes: Check _GLIBCXX_USE_C99_INTTYPES
+	and _GLIBCXX_USE_C99_INTTYPES_WCHAR_T instead of
+	_GLIBCXX_USE_C99_INTTYPES_TR1 and
+	_GLIBCXX_USE_C99_INTTYPES_WCHAR_T_TR1.
+	* include/c_global/cstdint: Check _GLIBCXX_USE_C99_STDINT
+	instead of _GLIBCXX_USE_C99_STDINT_TR1.
+	* include/std/atomic: Likewise.
+	* src/c++11/cow-stdexcept.cc: Likewise.
+	* testsuite/29_atomics/headers/stdatomic.h/c_compat.cc:
+	Likewise.
+	* testsuite/lib/libstdc++.exp (check_v3_target_cstdint):
+	Likewise.
+
+2023-05-16  Jonathan Wakely  <jwakely@redhat.com>
+
+	* acinclude.m4 (GLIBCXX_USE_C99): Check for complex inverse trig
+	functions in C++11 mode and define _GLIBCXX_USE_C99_COMPLEX_ARC.
+	* config.h.in: Regenerate.
+	* configure: Regenerate.
+	* doc/doxygen/user.cfg.in (PREDEFINED): Add new macro.
+	* include/std/complex: Check _GLIBCXX_USE_C99_COMPLEX_ARC
+	instead of _GLIBCXX_USE_C99_COMPLEX_TR1.
+
+2023-05-16  Jonathan Wakely  <jwakely@redhat.com>
+
+	* testsuite/ext/debug_allocator/check_deallocate_null.cc: Add
+	assertion to ensure expected exception is throw.
+
+2023-05-16  Jonathan Wakely  <jwakely@redhat.com>
+
+	* testsuite/libstdc++-prettyprinters/chrono.cc: Only test
+	printer for chrono::zoned_time for cx11 ABI and tzdb effective
+	target.
+
+2023-05-16  Jonathan Wakely  <jwakely@redhat.com>
+
+	* acinclude.m4 (GLIBCXX_CHECK_PTHREAD_MUTEX_CLOCKLOCK): Define
+	_GLIBCXX_USE_PTHREAD_MUTEX_CLOCKLOCK in terms of _GLIBCXX_TSAN.
+	* configure: Regenerate.
+
 2023-05-12  Jonathan Wakely  <jwakely@redhat.com>
 
 	* acinclude.m4 (GLIBCXX_CHECK_C99_TR1): Use a non-null pointer