[gcc r13-2502] Daily bump.

[gcc r13-2502] Daily bump.

[GCC Administrator]

https://gcc.gnu.org/g:25aeb92221659067b5d83c6ca1639374ce9be555

commit r13-2502-g25aeb92221659067b5d83c6ca1639374ce9be555
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Wed Sep 7 00:17:51 2022 +0000

    Daily bump.

Diff:
---
 ChangeLog               |   4 +
 gcc/ChangeLog           | 101 +++++++++++
 gcc/DATESTAMP           |   2 +-
 gcc/ada/ChangeLog       | 432 ++++++++++++++++++++++++++++++++++++++++++++++++
 gcc/c-family/ChangeLog  |   5 +
 gcc/c/ChangeLog         |   5 +
 gcc/cp/ChangeLog        |  14 ++
 gcc/fortran/ChangeLog   |   5 +
 gcc/testsuite/ChangeLog |  44 +++++
 libstdc++-v3/ChangeLog  |   6 +
 10 files changed, 617 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 0ef444ccfd5..e2e3e15ba1f 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2022-09-06  Xianmiao Qu  <cooper.qu@linux.alibaba.com>
+
+	* MAINTAINERS: Update c-sky port maintainers' emails.
+
 2022-08-31  Martin Liska  <mliska@suse.cz>
 
 	* configure: Regenerate.
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 958ccc686d1..2b22b70f334 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,104 @@
+2022-09-06  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/106754
+	* gimple-predicate-analysis.cc (compute_control_dep_chain_pdom):
+	New function, split out from compute_control_dep_chain.  Handle
+	loop-exit like conditions here by pushing to the control vector.
+	(compute_control_dep_chain): Adjust and streamline dumping.
+	In the wrapper perform a post-dominator walk as well.
+	(uninit_analysis::init_use_preds): Remove premature early exit.
+
+2022-09-06  Max Filippov  <jcmvbkbc@gmail.com>
+
+	* config/xtensa/linux.h (LINK_SPEC): Add static-pie.
+
+2022-09-06  Aldy Hernandez  <aldyh@redhat.com>
+
+	* range-op-float.cc (build_le): Handle NANs and going past infinity.
+	(build_lt): Same.
+	(build_ge): Same.
+	(build_gt): Same.
+	(foperator_lt::op1_range): Avoid adjustments to range if build_*
+	returned false.
+	(foperator_lt::op2_range): Same.
+	(foperator_le::op1_range): Same.
+	(foperator_le::op2_range): Same.
+	(foperator_gt::op1_range): Same.
+	(foperator_gt::op2_range): Same.
+
+2022-09-06  Richard Biener  <rguenther@suse.de>
+
+	* gimple-predicate-analysis.cc (compute_control_dep_chain):
+	Add output flag to indicate whether we possibly have dropped
+	any chains.  Return whether the info is complete from the
+	wrapping overload.
+	(uninit_analysis::init_use_preds): Adjust accordingly, with
+	a workaround for PR106754.
+	(uninit_analysis::init_from_phi_def): Properly guard the
+	case where we complete an empty chain.
+
+2022-09-06  Jan-Benedict Glaw  <jbglaw@lug-owl.de>
+
+	* config/msp430/msp430.cc (msp430_single_op_cost): Document unused argument.
+
+2022-09-06  Prathamesh Kulkarni  <prathamesh.kulkarni@linaro.org>
+
+	* tree-ssa-forwprop.cc (simplify_permutation): Set res_type to a vector
+	type with same element type as arg0, and length as op2.
+
+2022-09-06  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/106844
+	* gimple-predicate-analysis.cc (compute_control_dep_chain):
+	Return whether we found a chain.
+
+2022-09-06  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/106841
+	* tree-vect-slp.cc (vect_detect_hybrid_slp): Also process
+	scatter/gather offset.
+
+2022-09-06  Jan-Benedict Glaw  <jbglaw@lug-owl.de>
+
+	* config/bpf/bpf.h (REGNO_REG_CLASS): Reference arguments as (void).
+
+2022-09-06  Jakub Jelinek  <jakub@redhat.com>
+
+	* gimple.h (enum gf_mask): Add GF_OMP_ORDERED_STANDALONE enumerator.
+	(gimple_omp_subcode):  Use GIMPLE_OMP_ORDERED instead of
+	GIMPLE_OMP_TEAMS as upper bound.
+	(gimple_omp_ordered_standalone_p, gimple_omp_ordered_standalone): New
+	inline functions.
+	* gimplify.cc (find_standalone_omp_ordered): Look for OMP_ORDERED with
+	NULL OMP_ORDERED_BODY rather than with OMP_DOACROSS clause.
+	(gimplify_expr): Call gimple_omp_ordered_standalone for OMP_ORDERED
+	with NULL OMP_ORDERED_BODY.
+	* omp-low.cc (check_omp_nesting_restrictions): Use
+	gimple_omp_ordered_standalone_p test instead of
+	omp_find_clause (..., OMP_CLAUSE_DOACROSS).
+	(lower_omp_ordered): Likewise.
+	* omp-expand.cc (expand_omp, build_omp_regions_1,
+	omp_make_gimple_edges): Likewise.
+
+2022-09-06  Xianmiao Qu  <cooper.qu@linux.alibaba.com>
+
+	* config/csky/csky.md (cskyv2_addcc): Fix missing operand.
+	(cskyv2_addcc_invert): Likewise.
+
+2022-09-06  Jose E. Marchesi  <jose.marchesi@oracle.com>
+
+	* config/bpf/bpf.cc (bpf_expand_prologue): Remove unused automatic
+	`insn'.
+	(bpf_expand_epilogue): Likewise.
+
+2022-09-06  liuhongt  <hongtao.liu@intel.com>
+
+	* config/i386/i386-builtin.def (IX86_BUILTIN_CVTPS2PH512):
+	Map to CODE_FOR_avx512f_vcvtps2ph512_mask_sae.
+	* config/i386/sse.md (<mask_codefor>avx512f_vcvtps2ph512<mask_name>): Extend to ..
+	(<mask_codefor>avx512f_vcvtps2ph512<mask_name><round_saeonly_name>): .. this.
+	(avx512f_vcvtps2ph512_mask_sae): New expander
+
 2022-09-05  Aldy Hernandez  <aldyh@redhat.com>
 
 	* gimple-range-fold.cc
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 80e4d819fed..a4aec9eaaa2 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20220906
+20220907
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 80e856d4df3..b1fbd1ec2db 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,435 @@
+2022-09-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/decl.cc (gnat_to_gnu_param): Set DECL_ARTIFICIAL.
+
+2022-09-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/trans.cc (At_End_Proc_to_gnu): Use the End_Label of
+	the child Handled_Statement_Sequence for body nodes.
+	(set_end_locus_from_node): Minor tweaks.
+
+2022-09-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/trans.cc (Full_View_Of_Private_Constant): New
+	function returning the Full_View of a private constant, after
+	looking through a chain of renamings, if any.
+	(Identifier_to_gnu): Call it on the entity.  Small cleanup.
+
+2022-09-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/utils.cc (gnat_pushdecl): Preserve named
+	TYPE_DECLs consistently for all kind of pointer types.
+
+2022-09-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/trans.cc (gnat_to_gnu) <N_Op_Divide>: Report a
+	violation of No_Dependence on System.GCC if the result type is
+	larger than a word.
+	<N_Op_Shift>: Likewise.
+	<N_Op_Mod>: Likewise.
+	<N_Op_Rem>: Likewise.
+	(convert_with_check): Report a violation of No_Dependence on
+	System.GCC for a conversion between an integer type larger than
+	a word and a floating-point type.
+
+2022-09-06  Steve Baird  <baird@adacore.com>
+
+	* sem_ch9.adb
+	(Allows_Lock_Free_Implementation): Return False if
+	Support_Atomic_Primitives is False.
+
+2022-09-06  Steve Baird  <baird@adacore.com>
+
+	* debug.adb: Remove comment regarding the -gnatd9 switch.
+	* doc/gnat_rm/implementation_defined_attributes.rst: Remove all
+	mention of the Lock_Free attribute.
+	* gnat_rm.texi, gnat_ugn.texi: Regenerate.
+	* exp_attr.adb, sem_attr.adb: Remove all mention of the former
+	Attribute_Lock_Free enumeration element of the Attribute_Id type.
+	* sem_ch9.adb
+	(Allows_Lock_Free_Implementation): Remove the Debug_Flag_9 test.
+	Return False in the case of a protected function whose result type
+	requires use of the secondary stack.
+	(Satisfies_Lock_Free_Requirements): This functions checks for
+	certain constructs and returns False if one is found. In the case
+	of a protected function, there is no need to check to see if the
+	protected object is being modified. So it is ok to omit *some*
+	checks in the case of a protected function. But other checks which
+	are required (e.g., the test for a reference to a variable that is
+	not part of the protected object) were being incorrectly omitted.
+	This could result in accepting "Lock_Free => True" aspect
+	specifications that should be rejected.
+	* snames.adb-tmpl: Name_Lock_Free no longer requires special
+	treatment in Get_Pragma_Id or Is_Pragma_Name (because it is no
+	longer an attribute name).
+	* snames.ads-tmpl: Move the declaration of Name_Lock_Free to
+	reflect the fact that it is no longer the name of an attribute.
+	Delete Attribute_Lock_Free from the Attribute_Id enumeration type.
+
+2022-09-06  Steve Baird  <baird@adacore.com>
+
+	* libgnat/a-coorse.ads: Restore Aggregate aspect specification for
+	type Set.
+
+2022-09-06  Marc Poulhiès  <poulhies@adacore.com>
+
+	* exp_util.adb (Build_Allocate_Deallocate_Proc): Add
+	Alignment_Param in the formal list for calls to SS_Allocate.
+
+2022-09-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* inline.adb (Process_Formals): Preserve Has_Private_View flag while
+	rewriting formal into actual parameters.
+
+2022-09-06  Javier Miranda  <miranda@adacore.com>
+
+	* debug.adb
+	(Debug_Flag_Underscore_X): Switch added temporarily to allow
+	disabling extra formal checks.
+	* exp_attr.adb
+	(Expand_N_Attribute_Reference [access types]): Add extra formals
+	to the subprogram referenced in the prefix of 'Unchecked_Access,
+	'Unrestricted_Access or 'Access; required to check that its extra
+	formals match the extra formals of the corresponding subprogram
+	type.
+	* exp_ch3.adb
+	(Stream_Operation_OK): Declaration moved to the public part of the
+	package.
+	(Validate_Tagged_Type_Extra_Formals): New subprogram.
+	(Expand_Freeze_Record_Type): Improve the code that takes care of
+	adding the extra formals of dispatching primitives; extended to
+	add also the extra formals to renamings of dispatching primitives.
+	* exp_ch3.ads
+	(Stream_Operation_OK): Declaration moved from the package body.
+	* exp_ch6.adb
+	(Has_BIP_Extra_Formal): Subprogram declaration moved to the public
+	part of the package. In addition, a parameter has been added to
+	disable an assertion that requires its use with frozen entities.
+	(Expand_Call_Helper): Enforce assertion checking extra formals on
+	thunks.
+	(Is_Build_In_Place_Function): Return False for entities with
+	foreign convention.
+	(Make_Build_In_Place_Call_In_Object_Declaration): Occurrences of
+	Is_Return_Object replaced by the local variable
+	Is_OK_Return_Object that evaluates to False for scopes with
+	foreign convention.
+	(Might_Have_Tasks): Fix check of class-wide limited record types.
+	(Needs_BIP_Task_Actuals): Remove assertion to allow calling this
+	function in more contexts; in addition it returns False for
+	functions returning objects with foreign convention.
+	(Needs_BIP_Finalization_Master): Likewise.
+	(Needs_BIP_Alloc_Form): Likewise.
+	* exp_ch6.ads
+	(Stream_Operation_OK): Declaration moved from the package body. In
+	addition, a parameter has been added to disable assertion that
+	requires its use with frozen entities.
+	* freeze.adb
+	(Check_Itype): Add extra formals to anonymous access subprogram
+	itypes.
+	(Freeze_Expression): Improve code that disables the addition of
+	extra formals to functions with foreign convention.
+	(Check_Extra_Formals): Moved to package Sem_Ch6 as
+	Extra_Formals_OK.
+	(Freeze_Subprogram): Add extra formals to non-dispatching
+	subprograms.
+	* sem_ch3.adb
+	(Access_Subprogram_Declaration): Defer the addition of extra
+	formals to the freezing point so that we know the convention.
+	(Check_Anonymous_Access_Component): Likewise.
+	(Derive_Subprogram): Fix documentation.
+	* sem_ch6.adb
+	(Check_Anonymous_Return): Fix check of access to class-wide
+	limited record types.
+	(Check_Untagged_Equality): Placed in alphabetical order.
+	(Extra_Formals_OK): Subprogram moved from freeze.adb.
+	(Extra_Formals_Match_OK): New subprogram.
+	(Has_BIP_Formals): New subprogram.
+	(Has_Extra_Formals): New subprograms.
+	(Needs_Accessibility_Check_Extra): New subprogram.
+	(Needs_Constrained_Extra): New subprogram.
+	(Parent_Subprogram): New subprogram.
+	(Add_Extra_Formal): Minor code cleanup.
+	(Create_Extra_Formals): Enforce matching extra formals on
+	overridden and aliased entities.
+	(Has_Reliable_Extra_Formals): New subprogram.
+	* sem_ch6.ads
+	(Extra_Formals_OK): Subprogram moved from freeze.adb.
+	(Extra_Formals_Match_OK): New subprogram.
+	* sem_eval.adb
+	(Compile_Time_Known_Value): Improve predicate to avoid assertion
+	failure; found working on this ticket; this change does not affect
+	the behavior of the compiler because this subprogram has an
+	exception handler that returns False when the assertion fails.
+	* sem_util.adb
+	(Needs_Result_Accessibility_Level): Do not return False for
+	dispatching operations compiled with Ada_Version < 2012 since they
+	they may be overridden by primitives compiled with Ada_Version >=
+	Ada_2012.
+
+2022-09-06  Arnaud Charlet  <charlet@adacore.com>
+
+	* exp_ch4.adb (Expand_N_If_Expression): Disable optimization
+	for LLVM.
+
+2022-09-06  Javier Miranda  <miranda@adacore.com>
+
+	* sem_prag.adb
+	(Analyze_Pre_Post_Condition_In_Decl_Part): Improve check to report
+	an error in non-legal class-wide conditions.
+
+2022-09-06  Steve Baird  <baird@adacore.com>
+
+	* libgnat/a-strsup.adb, libgnat/a-stwisu.adb, libgnat/a-stzsup.adb
+	(Super_Slice function and procedure): fix slice length computation.
+
+2022-09-06  Steve Baird  <baird@adacore.com>
+
+	* doc/gnat_ugn/building_executable_programs_with_gnat.rst:
+	Improve -gnatVa, -gnatVc, -gnatVd, -gnatVe, -gnatVf, -gnatVo,
+	-gnatVp, -gnatVr, and -gnatVs switch descriptions.
+	* gnat_ugn.texi: Regenerate.
+
+2022-09-06  Justin Squirek  <squirek@adacore.com>
+
+	* exp_unst.adb
+	(Visit_Node): Add N_Block_Statement to the enclosing construct
+	case since they can now have "At end" procedures. Also, recognize
+	calls from "At end" procedures when recording subprograms.
+
+2022-09-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* inline.adb (Replace_Formal): Fix name of the referenced routine.
+
+2022-09-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* exp_attr.adb (Expand_N_Attribute_Reference [Attribute_Old]):
+	Remove unnecessary local constant that was shadowing another
+	constant with the same initial value.
+
+2022-09-06  Julien Bortolussi  <bortolussi@adacore.com>
+
+	* libgnat/a-cforse.ads (Replace): Fix the postcondition.
+
+2022-09-06  Steve Baird  <baird@adacore.com>
+
+	* exp_attr.adb
+	(Attribute_Valid): Ensure that PBtyp is initialized to a value for
+	which Is_Scalar_Type is True.
+	* checks.adb
+	(Determine_Range): Call Implemention_Base_Type instead of
+	Base_Type in order to ensure that result is suitable for passing
+	to Enum_Pos_To_Rep.
+
+2022-09-06  Bob Duff  <duff@adacore.com>
+	    Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gen_il-fields.ads
+	(First_Real_Statement): Remove this field.
+	* gen_il-gen-gen_nodes.adb: Remove the First_Real_Statement field.
+	Add the At_End_Proc field to nodes that have both Declarations and
+	HSS.
+	* sinfo.ads
+	(At_End_Proc): Document new semantics.
+	(First_Real_Statement): Remove comment.
+	* exp_ch11.adb
+	(Expand_N_Handled_Sequence_Of_Statements): Remove
+	First_Real_Statement.
+	* exp_ch7.adb
+	(Build_Cleanup_Statements): Remove "Historical note"; it doesn't
+	seem useful, and we have revision history.
+	(Create_Finalizer): Insert the finalizer later, typically in the
+	statement list, in some cases.
+	(Build_Finalizer_Call): Attach the "at end" handler to the parent
+	of the HSS node in most cases, so it applies to declarations.
+	(Expand_Cleanup_Actions): Remove Wrap_HSS_In_Block and the call to
+	it. Remove the code that moves declarations. Remove some redundant
+	code.
+	* exp_ch9.adb
+	(Build_Protected_Entry): Copy the At_End_Proc.
+	(Build_Protected_Subprogram_Body): Reverse the sense of Exc_Safe,
+	to avoid double negatives. Remove "Historical note" as in
+	exp_ch7.adb.
+	(Build_Unprotected_Subprogram_Body): Copy the At_End_Proc from the
+	protected version.
+	(Expand_N_Conditional_Entry_Call): Use First (Statements(...))
+	instead of First_Real_Statement(...).
+	(Expand_N_Task_Body): Put the Abort_Undefer call at the beginning
+	of the declarations, rather than in the HSS. Use First
+	(Statements(...)) instead of First_Real_Statement(...). Copy the
+	At_End_Proc.
+	* inline.adb
+	(Has_Initialized_Type): Return False if the declaration does not
+	come from source.
+	* libgnarl/s-tpoben.ads
+	(Lock_Entries, Lock_Entries_With_Status): Document when these
+	things raise Program_Error. It's not clear that
+	Lock_Entries_With_Status ought to be raising exceptions, but at
+	least it's documented now.
+	* sem.ads: Minor comment fixes.
+	* sem_ch6.adb
+	(Analyze_Subprogram_Body_Helper): Use First (Statements(...))
+	instead of First_Real_Statement(...).
+	(Analyze_Null_Procedure): Minor comment fix.
+	* sem_util.adb
+	(Might_Raise): Return True for N_Raise_Expression. Adjust the part
+	about exceptions generated by the back end to match the reality of
+	what the back end generates.
+	(Update_First_Real_Statement): Remove.
+	* sem_util.ads: Remove First_Real_Statement from comment.
+	* sinfo-utils.ads
+	(First_Real_Statement): New function that always returns Empty.
+	This should be removed once gnat-llvm and codepeer have been
+	updated to not refer to First_Real_Statement.
+	* sprint.adb
+	(Sprint_At_End_Proc): Deal with printing At_End_Proc.
+	* sem_prag.adb: Minor comment fixes.
+	* gcc-interface/trans.cc (At_End_Proc_to_gnu): New function.
+	(Subprogram_Body_to_gnu): Call it to handle an At_End_Proc.
+	(Handled_Sequence_Of_Statements_to_gnu): Likewise. Remove the
+	support for First_Real_Statement and clean up the rest.
+	(Exception_Handler_to_gnu): Do not push binding levels.
+	(Compilation_Unit_to_gnu): Adjust call to process_decls.
+	(gnat_to_gnu) <N_Package_Specification>: Likewise. <N_Entry_Body>:
+	Likewise. <N_Freeze_Entity>: Likewise. <N_Block_Statement>:
+	Likewise and call At_End_Proc_to_gnu to handle an At_End_Proc.
+	<N_Package_Body>: Likewise.
+	(process_decls): Remove GNAT_END_LIST parameter and adjust
+	recursive calls.
+
+2022-09-06  Steve Baird  <baird@adacore.com>
+
+	* doc/gnat_rm/implementation_defined_pragmas.rst: Document new
+	temporary rule that a "when others =>" case choice must be given
+	when casing on a composite selector.
+	* gnat_rm.texi: Regenerate.
+
+2022-09-06  Steve Baird  <baird@adacore.com>
+
+	* sem_case.adb: Define a new Boolean constant,
+	Simplified_Composite_Coverage_Rules, initialized to True. Setting
+	this constant to True has two effects: 1- Representative value
+	sets are not fully initialized - this is done to avoid capacity
+	problems, as well as for performance. 2- In
+	Check_Case_Pattern_Choices, the only legality check performed is a
+	check that a "when others =>" choice is present.
+
+2022-09-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_ch13.adb (Analyze_Aspect_Relaxed_Initialization): Fix error
+	template.
+
+2022-09-06  Steve Baird  <baird@adacore.com>
+
+	* exp_attr.adb
+	(Make_Range_Test): In determining which subtype's First and Last
+	attributes are to be queried as part of a range test, call
+	Validated_View in order to get a scalar (as opposed to private)
+	subtype.
+	(Attribute_Valid): In determining whether to perform a signed or
+	unsigned comparison for a range test, call Validated_View in order
+	to get a scalar (as opposed to private) type. Also correct a typo
+	which, by itself, is the source of the problem reported for this
+	ticket.
+
+2022-09-06  Steve Baird  <baird@adacore.com>
+
+	* sem_ch4.adb
+	(Analyze_Selected_Component): Define new Boolean-valued function,
+	Constraint_Has_Unprefixed_Discriminant_Reference, which takes a
+	subtype that is subject to a discriminant-dependent constraint and
+	returns True if any of the constraint values are unprefixed
+	discriminant names. Usually, the Etype of a selected component
+	node is set to Etype of the component. However, in the case of an
+	access-to-array component for which this predicate returns True,
+	we instead use the base type of the Etype of the component.
+	Normally such problematic discriminant references are addressed by
+	calling Build_Actual_Subtype_Of_Component, but that doesn't work
+	if Full_Analyze is False.
+
+2022-09-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* Makefile.rtl (GNATRTL_NONTASKING_OBJS): Include
+	System.Value_U_Spec and System.Value_I_Spec units.
+
+2022-09-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* libgnat/s-powflt.ads (Powfive): New constant array.
+	* libgnat/s-powlfl.ads (Powfive): Likewise.
+	(Powfive_100): New constant.
+	(Powfive_200): Likewise.
+	(Powfive_300): Likewise.
+	* libgnat/s-powllf.ads (Powfive): New constant array.
+	(Powfive_100): New constant.
+	(Powfive_200): Likewise.
+	(Powfive_300): Likewise.
+	* libgnat/s-valflt.ads (Impl): Replace Powten with Powfive and pass
+	Null_Address for the address of large constants.
+	* libgnat/s-vallfl.ads (Impl): Replace Powten with Powfive and pass
+	the address of large constants.
+	* libgnat/s-valllf.ads (Impl): Likewise.
+	* libgnat/s-valrea.ads (System.Val_Real): Replace Powten_Address
+	with Powfive_Address and add Powfive_{1,2,3}00_Address parameters.
+	* libgnat/s-valrea.adb (Is_Large_Type): New boolean constant.
+	(Is_Very_Large_Type): Likewise.
+	(Maxexp32): Change value of 10 to that of 5.
+	(Maxexp64): Likewise.
+	(Maxexp80): Likewise.
+	(Integer_to_Real): Use a combination of tables of powers of 5 and
+	scaling if the base is 10.
+	(Large_Powten): Rename into...
+	(Large_Powfive): ...this.  Add support for large constants.
+	(Large_Powfive): New overloaded function for very large exponents.
+
+2022-09-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* doc/gnat_rm/implementation_defined_aspects.rst
+	(Aspect Iterable): Include Last and Previous primitives in
+	syntactic and semantic description.
+	* exp_attr.adb
+	(Expand_N_Attribute_Reference): Don't expect attributes like
+	Iterable that can only appear in attribute definition clauses.
+	* sem_ch13.adb
+	(Analyze_Attribute_Definition_Clause): Prevent crash on
+	non-aggregate Iterable attribute; improve basic diagnosis of
+	attribute values.
+	(Resolve_Iterable_Operation): Improve checks for illegal
+	primitives in aspect Iterable, e.g. with wrong number of formal
+	parameters.
+	(Validate_Iterable_Aspect): Prevent crashes on syntactically
+	illegal aspect expression.
+	* sem_util.adb
+	(Get_Cursor_Type): Fix style.
+	* gnat_ugn.texi, gnat_rm.texi: Regenerate.
+
+2022-09-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* libgnat/s-valuer.ads (System.Value_R): Add Parts formal parameter
+	as well as Data_Index, Scale_Array and Value_Array types.
+	(Scan_Raw_Real): Change type of Scale and return type.
+	(Value_Raw_Real): Likewise.
+	* libgnat/s-valuer.adb (Round_Extra): Reorder parameters and adjust
+	recursive call.
+	(Scan_Decimal_Digits): Reorder parameters, add N parameter and deal
+	with multi-part scale and value.
+	(Scan_Integral_Digits): Likewise.
+	(Scan_Raw_Real): Change type of Scale and return type and deal with
+	multi-part scale and value.
+	(Value_Raw_Real): Change type of Scale and return type and tidy up.
+	* libgnat/s-valued.adb (Impl): Pass 1 as Parts actual parameter.
+	(Scan_Decimal): Adjust to type changes.
+	(Value_Decimal): Likewise.
+	* libgnat/s-valuef.adb (Impl): Pass 1 as Parts actual parameter.
+	(Scan_Fixed): Adjust to type changes.
+	(Value_Fixed): Likewise.
+	* libgnat/s-valrea.adb (Need_Extra): Delete.
+	(Precision_Limit): Always use the precision of the mantissa.
+	(Impl): Pass 2 as Parts actual parameter.
+	(Exact_Log2): New expression function.
+	(Integer_to_Real): Change type of Scale and Val and deal with a
+	2-part integer mantissa.
+	(Scan_Real): Adjust to type changes.
+	(Value_Real): Likewise.
+
 2022-09-05  Martin Liska  <mliska@suse.cz>
 
 	* sigtramp-vxworks-target.h: Rename DBX_REGISTER_NUMBER to
diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index 3fcf73ba2c4..9233213d2f2 100644
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,8 @@
+2022-09-06  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c/106836
+	* c-omp.cc (c_omp_split_clauses): Handle OMP_CLAUSE_DOACROSS.
+
 2022-09-03  Jakub Jelinek  <jakub@redhat.com>
 
 	* c-pragma.h (enum pragma_omp_clause): Add PRAGMA_OMP_CLAUSE_DOACROSS.
diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog
index a97faa68a77..f0c49710d22 100644
--- a/gcc/c/ChangeLog
+++ b/gcc/c/ChangeLog
@@ -1,3 +1,8 @@
+2022-09-06  Jakub Jelinek  <jakub@redhat.com>
+
+	* c-parser.cc (c_parser_omp_clause_doacross_sink): Don't verify val
+	in omp_cur_iteration - 1 has integer_type_node type.
+
 2022-09-03  Jakub Jelinek  <jakub@redhat.com>
 
 	* c-parser.cc (c_parser_omp_clause_name): Handle doacross.
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index a11675ee50f..d068bf1cbfd 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,17 @@
+2022-09-06  Jason Merrill  <jason@redhat.com>
+
+	* decl.cc (grok_op_properties): Return sooner for C++23 op[].
+
+2022-09-06  Jakub Jelinek  <jakub@redhat.com>
+
+	* parser.cc (cp_parser_omp_clause_doacross_sink): Don't verify val
+	in omp_cur_iteration - 1 has integer_type_node type.
+
+2022-09-06  Jakub Jelinek  <jakub@redhat.com>
+
+	* pt.cc (tsubst_expr) <case OMP_ORDERED>: If OMP_BODY was NULL, keep
+	it NULL after instantiation too.
+
 2022-09-03  Jakub Jelinek  <jakub@redhat.com>
 
 	* parser.cc (cp_parser_omp_clause_name): Handle doacross.
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index e20d5691b6d..ebd29cd4148 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,8 @@
+2022-09-06  Tobias Burnus  <tobias@codesourcery.com>
+
+	* openmp.cc (resolve_omp_clauses): Remove ordered/linear
+	check as it is handled now in the middle end.
+
 2022-09-05  Tobias Burnus  <tobias@codesourcery.com>
 
 	* dump-parse-tree.cc (show_omp_namelist, show_omp_clauses): Handle
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index e5f2849ed03..0cf2d2e2dc4 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,47 @@
+2022-09-06  Jason Merrill  <jason@redhat.com>
+
+	* g++.dg/cpp23/subscript8.C: New test.
+
+2022-09-06  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/106754
+	* gcc.dg/uninit-pred-12.c: New testcase.
+	* gcc.dg/uninit-pr106155-1.c: Likewise.
+
+2022-09-06  Aldy Hernandez  <aldyh@redhat.com>
+
+	* gcc.dg/tree-ssa/vrp-float-inf-1.c: New test.
+
+2022-09-06  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/106844
+	* gcc.dg/pr106844.c: New testcase.
+
+2022-09-06  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/106841
+	* g++.dg/vect/pr106841.cc: New testcase.
+
+2022-09-06  Jakub Jelinek  <jakub@redhat.com>
+
+	* c-c++-common/gomp/doacross-6.c (corge): Don't expect an error here.
+	Add a few further tests.
+
+2022-09-06  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c/106836
+	* c-c++-common/gomp/pr106836.c: New test.
+
+2022-09-06  Jakub Jelinek  <jakub@redhat.com>
+
+	* c-c++-common/gomp/sink-3.c: Don't expect a superfluous error during
+	error recovery.
+	* c-c++-common/gomp/doacross-6.c (foo): Add further tests.
+
+2022-09-06  liuhongt  <hongtao.liu@intel.com>
+
+	* gcc.target/i386/avx512f-vcvtps2ph-sae.c: New test.
+
 2022-09-05  Joseph Myers  <joseph@codesourcery.com>
 
 	* gcc.dg/cpp/c11-trigraphs-1.c, gcc.dg/cpp/c2x-trigraphs-1.c,
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index c9a7f3585a5..78913d83b9b 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,9 @@
+2022-09-06  Philipp Fent  <fent@in.tum.de>
+
+	* testsuite/libstdc++-prettyprinters/48362.cc: Fix expected
+	tuple indices.
+	* testsuite/libstdc++-prettyprinters/cxx11.cc: Likewise.
+
 2022-09-05  Jonathan Wakely  <jwakely@redhat.com>
 
 	* include/std/type_traits (__success_type, __failure_type): Move