Daily bump.

12 files changed, 874 insertions, 1 deletions

diff --git a/ChangeLog b/ChangeLog
index 67bb786..8c42a7c 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2022-05-13  Surya Kumari Jangala  <jskumari@linux.ibm.com>
+
+	* MAINTAINERS: Add myself to write after approval.
+
 2022-05-11  Kewen Lin  <linkw@linux.ibm.com>
 
 	* MAINTAINERS: Remove myself from DCO section.
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index eecedab..31c63f6 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,260 @@
+2022-05-13  Roger Sayle  <roger@nextmovesoftware.com>
+	    Uroš Bizjak  <ubizjak@gmail.com>
+
+	* config/i386/sse.md (vec_cmpeqv2div2di): Enable for TARGET_SSE2.
+	For !TARGET_SSE4_1, expand as a V4SI vector comparison, followed
+	by a pshufd and pand.
+	(vec_cmpeqv1tiv1ti): New define_expand implementing V1TImode
+	vector equality as a V2DImode vector comparison (see above),
+	followed by a pshufd and pand.
+
+2022-05-13  Roger Sayle  <roger@nextmovesoftware.com>
+
+	PR tree-optimization/83907
+	* tree-ssa-strlen.cc (handle_builtin_memset): Record a strinfo
+	for memset with an constant char value.
+	(handle_store): Improved handling of stores with a first byte
+	of zero, but not storing_all_zeros_p.
+
+2022-05-13  Philipp Tomsich  <philipp.tomsich@vrull.eu>
+	    Manolis Tsamis  <manolis.tsamis@vrull.eu>
+
+	* config/riscv/riscv.h (CLZ_DEFINED_VALUE_AT_ZERO): Implement.
+	(CTZ_DEFINED_VALUE_AT_ZERO): Same.
+	* doc/sourcebuild.texi: add documentation for RISC-V specific
+	test target keywords
+
+2022-05-13  Andrew MacLeod  <amacleod@redhat.com>
+
+	PR tree-optimization/105597
+	* range-op.cc (operator_minus::lhs_op1_relation): Use op1 instead
+	of the lhs and make sure it is not undefined.
+
+2022-05-13  Sebastian Pop  <spop@amazon.com>
+
+	PR target/105162
+	* config/aarch64/aarch64-protos.h (atomic_ool_names): Increase dimension
+	of str array.
+	* config/aarch64/aarch64.cc (aarch64_atomic_ool_func): Call
+	memmodel_from_int and handle MEMMODEL_SYNC_*.
+	(DEF0): Add __aarch64_*_sync functions.
+
+2022-05-13  Andrew MacLeod  <amacleod@redhat.com>
+
+	* gimple-range-fold.cc (fold_using_range::range_of_phi): Use new VREL_*
+	enumerated values.
+	* gimple-range-path.cc (maybe_register_phi_relation): Ditto.
+	* range-op.cc (*::lhs_op1_relation): Return relation_kind, and use
+	new VREL enumerated values.
+	(*::lhs_op2_relation): Ditto.
+	(*::op1_op2_relation): Ditto.
+	(*::fold_range): Use new VREL enumerated values.
+	(minus_op1_op2_relation_effect): Ditto.
+	(range_relational_tests): Ditto.
+	* range-op.h (fold_range, op1_range, op2_range): Use VREL_VARYING.
+	(lhs_op1_relation, lhs_op2_relation, op1_op2_relation): Return
+	relation_kind.
+	(*_op1_op2_relation): Return relation_kind.
+	(relop_early_resolve): Use VREL_UNDEFINED.
+	* value-query.cc (range_query::query_relation): Use VREL_VARYING.
+	* value-relation.cc (VREL_LAST): Change enumerated value.
+	(vrel_range_assert): Delete.
+	(print_relation): Remove range assert.
+	(rr_negate_table): Adjust table to use new enumerated values..
+	(relation_negate): Remove range assert.
+	(rr_swap_table): Adjust.
+	(relation_swap): Remove range assert.
+	(rr_intersect_table): Adjust.
+	(relation_intersect): Remove range assert.
+	(rr_union_table): Adjust.
+	(relation_union): Remove range assert.
+	(rr_transitive_table): Adjust.
+	(relation_transitive): Remove range assert.
+	(equiv_oracle::query_relation): Use new VREL enumerated values.
+	(equiv_oracle::register_relation): Ditto.
+	(relation_oracle::register_stmt): Ditto.
+	(dom_oracle::set_one_relation): Ditto.
+	(dom_oracle::register_transitives): Ditto.
+	(dom_oracle::query_relation): Ditto.
+	(path_oracle::register_relation): Ditto.
+	(path_oracle::query_relation): Ditto.
+	* value-relation.h (enum relation_kind_t): New relation_kind.
+	(*_op1_op2_relation): Adjust prototypes.
+
+2022-05-13  Andrew MacLeod  <amacleod@redhat.com>
+
+	* gimple-range-edge.cc (calc_switch_ranges): Check union return value.
+	* value-range.cc (irange::legacy_verbose_union_): Add return value.
+	(irange::irange_single_pair_union): New.
+	(irange::irange_union): Add return value.
+	* value-range.h (class irange): Adjust prototypes.
+
+2022-05-13  Andrew MacLeod  <amacleod@redhat.com>
+
+	* value-range.cc (irange::legacy_verbose_intersect): Add return value.
+	(irange::irange_contains_p): New.
+	(irange::irange_intersect): Add return value.
+	* value-range.h (class irange): Adjust prototypes.
+
+2022-05-13  Andrew MacLeod  <amacleod@redhat.com>
+
+	* gimple-range-cache.cc (ranger_cache::get_global_range): Return the
+	had_global value instead.
+
+2022-05-13  Andrew MacLeod  <amacleod@redhat.com>
+
+	PR tree-optimization/104547
+	* gimple-range-fold.cc (fold_using_range::range_of_range_op): Add
+	the op1/op2 relation to the relation call.
+	* range-op.cc (*::lhs_op1_relation): Add param.
+	(*::lhs_op2_relation): Ditto.
+	(operator_minus::lhs_op1_relation): New.
+	(range_relational_tests): Add relation param.
+	* range-op.h (lhs_op1_relation, lhs_op2_relation): Adjust prototype.
+
+2022-05-13  Andrew MacLeod  <amacleod@redhat.com>
+
+	* gimple-range.cc (gimple_ranger::register_side_effects): First check
+	if the DEF should be exported as a global.
+	* tree-vrp.cc (rvrp_folder::pre_fold_bb): Process PHI side effects,
+	which will export globals.
+	(execute_ranger_vrp): Remove call to export_global_ranges.
+
+2022-05-13  Andrew MacLeod  <amacleod@redhat.com>
+
+	* value-relation.cc (path_oracle::reset_path): Clear killing_defs.
+
+2022-05-13  Andrew MacLeod  <amacleod@redhat.com>
+
+	* gimple-range-cache.cc (ranger_cache::ranger_cache): Start with
+	worlist truncated.
+	(ranger_cache::entry_range): Add rfd_mode parameter.
+	(ranger_cache::exit_range): Ditto.
+	(ranger_cache::edge_range): New.  Incorporate from range_on_edge.
+	(ranger_cache::range_of_expr): Adjust call to entry_range.
+	(ranger_cache::range_on_edge): Split to edge_range and call.
+	(ranger_cache::fill_block_cache): Always invoke range_from_dom.
+	(ranger_cache::range_from_dom): Make reentrant, add search mode, handle
+	mutiple predecessors.
+	(ranger_cache::update_to_nonnull): Adjust call to exit_range.
+	* gimple-range-cache.h (ranger_cache): Add enum rfd_mode.  Adjust
+	prototypes.
+
+2022-05-13  Alexandre Oliva  <oliva@adacore.com>
+
+	* gimple-harden-conditionals.cc: Include sbitmap.h.
+	(pass_harden_conditional_branches::execute): Skip new blocks.
+	(pass_harden_compares::execute): Likewise.
+
+2022-05-13  Richard Earnshaw  <rearnsha@arm.com>
+
+	PR target/105463
+	* config/arm/mve.md (*movmisalign<mode>_mve_store): Use
+	mve_memory_operand.
+	(*movmisalign<mode>_mve_load): Likewise.
+	* config/arm/vec-common.md (movmisalign<mode>): Convert to generator
+	form...
+	(@movmisalign<mode>): ... thus.  Use generic predicates and then
+	rework operands if they are not valid.  For MVE rework to a
+	narrower element size if the alignment is not high enough.
+
+2022-05-13  Richard Earnshaw  <rearnsha@arm.com>
+
+	* config/arm/arm.cc (mve_vector_mem_operand): Allow SP_REGNUM
+	when there is no write-back.  Fix use when strict is true.
+
+2022-05-13  Takayuki 'January June' Suwa  <jjsuwa_sys3175@yahoo.co.jp>
+
+	* config/xtensa/xtensa.h (TARGET_HAS_NO_HW_DIVIDE): New macro
+	definition.
+
+2022-05-13  Takayuki 'January June' Suwa  <jjsuwa_sys3175@yahoo.co.jp>
+
+	* config/xtensa/xtensa.md (extvsi, extvsi_internal, extzvsi,
+	extzvsi_internal): Rename from extv, extv_internal, extzv and
+	extzv_internal, respectively.
+
+2022-05-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* tree-sra.cc (sra_modify_assign): Check that scalar storage order
+	is the same on the LHS and RHS before rewriting one with the model
+	of the other.
+
+2022-05-13  Richard Biener  <rguenther@suse.de>
+
+	* gimple-fold.cc (gimple_build): Adjust for new
+	main API.
+	* gimple-fold.h (gimple_build): New main APIs with
+	iterator, insert direction and iterator update.
+	(gimple_build): New forwarder template.
+	(clear_padding_type_may_have_padding_p): Remove.
+	(clear_type_padding_in_mask): Likewise.
+	(arith_overflowed_p): Likewise.
+	* fold-const.h (clear_padding_type_may_have_padding_p): Declare.
+	(clear_type_padding_in_mask): Likewise.
+	(arith_overflowed_p): Likewise.
+	* tree-vect-generic.cc (gimplify_build3): Use main gimple_build API.
+	(gimplify_build2): Likewise.
+	(gimplify_build1): Likewise.
+	* ubsan.cc (ubsan_expand_ptr_ifn): Likewise, avoid extra
+	compare stmt.
+	* gengtype.cc (open_base_files): Re-order includes.
+	* builtins.cc: Re-order gimple-fold.h include.
+	* calls.cc: Likewise.
+	* cgraphbuild.cc: Likewise.
+	* cgraphunit.cc: Likewise.
+	* config/rs6000/rs6000-builtin.cc: Likewise.
+	* config/rs6000/rs6000-call.cc: Likewise.
+	* config/rs6000/rs6000.cc: Likewise.
+	* config/s390/s390.cc: Likewise.
+	* expr.cc: Likewise.
+	* fold-const.cc: Likewise.
+	* function-tests.cc: Likewise.
+	* gimple-match-head.cc: Likewise.
+	* gimple-range-fold.cc: Likewise.
+	* gimple-ssa-evrp-analyze.cc: Likewise.
+	* gimple-ssa-evrp.cc: Likewise.
+	* gimple-ssa-sprintf.cc: Likewise.
+	* gimple-ssa-warn-access.cc: Likewise.
+	* gimplify.cc: Likewise.
+	* graphite-isl-ast-to-gimple.cc: Likewise.
+	* ipa-cp.cc: Likewise.
+	* ipa-devirt.cc: Likewise.
+	* ipa-prop.cc: Likewise.
+	* omp-low.cc: Likewise.
+	* pointer-query.cc: Likewise.
+	* range-op.cc: Likewise.
+	* tree-cfg.cc: Likewise.
+	* tree-if-conv.cc: Likewise.
+	* tree-inline.cc: Likewise.
+	* tree-object-size.cc: Likewise.
+	* tree-ssa-ccp.cc: Likewise.
+	* tree-ssa-dom.cc: Likewise.
+	* tree-ssa-forwprop.cc: Likewise.
+	* tree-ssa-ifcombine.cc: Likewise.
+	* tree-ssa-loop-ivcanon.cc: Likewise.
+	* tree-ssa-math-opts.cc: Likewise.
+	* tree-ssa-pre.cc: Likewise.
+	* tree-ssa-propagate.cc: Likewise.
+	* tree-ssa-reassoc.cc: Likewise.
+	* tree-ssa-sccvn.cc: Likewise.
+	* tree-ssa-strlen.cc: Likewise.
+	* tree-ssa.cc: Likewise.
+	* value-pointer-equiv.cc: Likewise.
+	* vr-values.cc: Likewise.
+
+2022-05-13  Alexandre Oliva  <oliva@adacore.com>
+
+	PR rtl-optimization/105455
+	* gimple-harden-conditionals.cc (insert_check_and_trap): Set
+	probabilities for newly-conditional edges.
+
+2022-05-13  liuhongt  <hongtao.liu@intel.com>
+
+	PR tree-optimization/102583
+	* tree-ssa-forwprop.cc (simplify_bitfield_ref): Extended to a
+	contiguous stride in the VEC_PERM_EXPR.
+
 2022-05-12  Richard Biener  <rguenther@suse.de>
 
 	PR rtl-optimization/105577
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 7d15185..8ab2db9 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20220513
+20220514
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 01ecdb8..d09eeb9 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,303 @@
+2022-05-13  Alexandre Oliva  <oliva@adacore.com>
+
+	* gcc-interface/decl.cc (is_cplusplus_method): Build proper
+	String for Get_External_Name.
+
+2022-05-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_ch3.adb (Derive_Subprogram): For a function, also copy the
+	Returns_By_Ref flag from the parent.
+
+2022-05-13  Gary Dismukes  <dismukes@adacore.com>
+
+	* sem_ch13.adb (Check_Aspect_At_Freeze_Point): Analyze the
+	expression of the aspect at this point, like other aspects that
+	denote simple entities. Ensures that function
+	Storage_Model_Object will have an entity to retrieve from the
+	aspect expression. Also, move comment about aspects that don't
+	require delay analysis in front of last alternative of the case
+	statement, where it's supposed to be.
+
+2022-05-13  Javier Miranda  <miranda@adacore.com>
+
+	* contracts.adb (Build_Unique_Name): New subprogram.
+	(Make_Class_Precondition_Subps): Use Build_Unique_Name to
+	generate the names of the call helpers and the name of indirect
+	call wrappers.
+	* freeze.adb (Needs_Wrapper): Remove dead code.
+	(Check_Inherited_Conditions): Defer building helpers and ICW
+	until all the dispatch table wrappers have been built and
+	analyzed. Required to ensure uniqueness in their names because
+	when building these wrappers for overlapped subprograms their
+	homonym number is not definite until they have been analyzed.
+
+2022-05-13  Arnaud Charlet  <charlet@adacore.com>
+
+	* libgnarl/s-taprop__linux.adb (Initialize): Do not use an
+	alternate stack if no handler for SEGV is installed.
+
+2022-05-13  Alexandre Oliva  <oliva@adacore.com>
+
+	* doc/gnat_rm/security_hardening_features.rst (Control Flow
+	Redundancy): Drop mentions of noreturn and tail calls.
+	* gnat_rm.texi: Regenerate.
+
+2022-05-13  Ghjuvan Lacambre  <lacambre@adacore.com>
+
+	* ali.adb: Introduce new 'K' line in ALI files, used to
+	represent CUDA kernel entries.
+	* ali.ads: Create new CUDA_Kernels table, which contains entries
+	of type CUDA_Kernel_Record. Each CUDA_Kernel_Record corresponds
+	to a K line in an ali file.
+	* bindgen.adb: Introduce new Gen_CUDA_Init procedure in the
+	binder, which generates CUDA kernel registration code.
+	* gnat_cuda.adb: Move Get_CUDA_Kernels spec to package spec to
+	make it available to bindgen.adb.
+	* gnat_cuda.ads: Likewise.
+	* lib-writ.adb: Introduce new Output_CUDA_Symbols procedure,
+	which generates one 'K' line in the ALI file per visible CUDA
+	kernel.
+	* opt.ads: Introduce Enable_CUDA_Expansion option, triggered by
+	using the -gnatd_c flag.
+	* switch-b.adb: Likewise.
+	* switch-c.adb: Likewise.
+
+2022-05-13  Marc Poulhiès  <poulhies@adacore.com>
+
+	* exp_aggr.adb (Gen_Loop): Create scope for loop variable of
+	iterated components.
+
+2022-05-13  Yannick Moy  <moy@adacore.com>
+
+	* libgnat/a-chtgfk.adb (Checked_Equivalent_Keys, Checked_Index):
+	Remove useless functions.
+	(Delete_Key_Sans_Free, Find, Generic_Conditional_Insert): Adapt
+	to removal of wrapper functions.
+	* libgnat/a-chtgfk.ads (Checked_Equivalent_Keys, Checked_Index):
+	Remove useless functions.
+	* libgnat/a-chtgfo.adb (Checked_Index): Remove useless function.
+	(Clear): Delete code commented out regarding Busy and Lock
+	management.
+	(Delete_Node_At_Index): Delete unused procedure.
+	(Delete_Node_Sans_Free, Free, Generic_Read, Next): Adapt to
+	removal of wrapper functions.
+	* libgnat/a-chtgfo.ads (Checked_Index): Remove useless function.
+	(Delete_Node_At_Index): Delete unused procedure.
+
+2022-05-13  Yannick Moy  <moy@adacore.com>
+
+	* libgnat/a-cfhama.adb (Generic_Allocate): Retype to avoid
+	aliasing.
+	(Assign, Move): Remove address comparison.
+	(Include): Insert constants for subtype constraints.
+	(Insert): Rewrite to avoid aliasing and function with side-effects.
+	* libgnat/a-cfhase.adb (Generic_Allocate): Retype to avoid
+	aliasing.
+	(Assign, Move): Remove address comparison.
+	(Difference, Intersection, Is_Subset, Overlap,
+	Symmetric_Difference, Union): Remove address comparison.  Insert
+	constants for subtype constraints.
+	(Insert): Rewrite to avoid aliasing and function with
+	side-effects.
+	* libgnat/a-chtgfk.adb (Checked_Equivalent_Keys, Checked_Index,
+	Delete_Key_Sans_Free, Find, Generic_Replace_Element, Index):
+	Type for hash tables not tagged anymore.
+	(Generic_Conditional_Insert): New_Node generic formal is a
+	procedure taking the hash table as first parameter now, to avoid
+	aliasing in the caller.
+	* libgnat/a-chtgfk.ads: Same.
+	* libgnat/a-chtgfo.adb (Checked_Index, Clear,
+	Delete_Node_At_Index, Delete_Node_Sans_Free, First, Free,
+	Generic_Allocate, Generic_Iteration, Generic_Read,
+	Generic_Write, Index, Next): Type for hash tables not tagged
+	anymore.
+	(Generic_Equal): Removed tagged. Remove address comparison.
+	* libgnat/a-chtgfo.ads: Same.
+	* libgnat/a-cohata.ads (Hash_Table_Type): Remove tagged.
+
+2022-05-13  Yannick Moy  <moy@adacore.com>
+
+	* Makefile.rtl: Add new files.
+	* libgnat/a-cfhama.adb: Use formal version of hash tables.
+	* libgnat/a-cfhama.ads: Same.
+	* libgnat/a-cfhase.adb: Same.
+	* libgnat/a-cfhase.ads: Same.
+	* libgnat/a-chtgfk.adb: New unit for formal containers, modified
+	version of Generic_Bounded_Keys.
+	* libgnat/a-chtgfk.ads: Same.
+	* libgnat/a-chtgfo.adb: New unit for formal containers, modified
+	version of Generic_Bounded_Operations.
+	* libgnat/a-chtgfo.ads: Same.
+	* libgnat/a-cohata.ads (Generic_Formal_Hash_Table_Types): Third
+	version of the type for hash tables, equivalent to the bounded
+	version without tampering checks.
+
+2022-05-13  Javier Miranda  <miranda@adacore.com>
+
+	* freeze.adb (Check_Inherited_Conditions): Dispatch table
+	wrappers must be placed in the list of entities of their scope
+	at the same place of their wrapped primitive. This is required
+	for private types since these wrappers are built when their full
+	tagged type declaration is frozen but they may override a
+	primitive defined in the public part of the package (and it is
+	important to maintain the wrapper in the list of public entities
+	of the package to ensure their correct visibility).
+
+2022-05-13  Johannes Kanig  <kanig@adacore.com>
+
+	* osint.ads, osint.adb (Relocate_Path): If the GNSA_ROOT
+	environment variable is set, we use that as the prefix, instead
+	of computing the prefix from the executable location.
+
+2022-05-13  Steve Baird  <baird@adacore.com>
+
+	* exp_ch3.ads (Build_Intialization_Call): Add new formal
+	parameter, Init_Control_Actual, with default value. Clients
+	outside of package Exp_Ch3 are unaffected.
+	* exp_ch3.adb (Initialization_Control): new package; support for
+	this 4-valued parameter.  The existing Requires_Late_Init
+	function is moved into this new package.
+	(Build_Initialization_Call): Add new formal parameter for
+	subprogram body, use this new formal parameter in generating an
+	init proc call.
+	(Build_Record_Init_Proc): Replace Set_Tag Boolean formal
+	parameter with 4-valued Init_Control_Formal. Wrap if-statements
+	with appropriate conditions around tag initialization, early
+	initialization, and late initialization statements.
+	* exp_util.adb (Build_Task_Image_Decl): Avoid problem with
+	duplicate declarations when an init proc for a type extension
+	calls the parent type's init proc twice.
+
+2022-05-13  Ed Schonberg  <schonberg@adacore.com>
+
+	* sem_ch5.adb (Analyze_Iterator_Specification): Fix Typ in the
+	case of a class-wide derived iterator.
+
+2022-05-13  Yannick Moy  <moy@adacore.com>
+
+	* libgnat/a-strbou.ads (Overwrite): Switch to >= operator in
+	contracts.
+	* libgnat/a-strsup.adb (Super_Overwrite): Switch to >= operator
+	in code of procedure (function already uses it).
+	* libgnat/a-strsup.ads (Super_Overwrite): Switch to >= operator
+	in contracts.
+
+2022-05-13  Etienne Servais  <servais@adacore.com>
+
+	* doc/gnat_rm/representation_clauses_and_pragmas.rst: Fix code
+	snippet.
+	* gnat_rm.texi: Regenerate.
+
+2022-05-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* aspects.adb (Find_Value_Of_Aspect): Add guard.
+	* sem_ch4.adb (Complete_Object_Operation): Remove obsolete code.
+	* sem_ch5.adb (Has_Sec_Stack_Default_Iterator): Add guard.
+
+2022-05-13  Javier Miranda  <miranda@adacore.com>
+
+	* exp_attr.adb (Expand_N_Attribute_Reference): The expansion of
+	'Address in a call to an instantiation of the implicit
+	subprogram To_Pointer with a class-wide interface type target
+	requires adding an implicit type conversion to force
+	displacement of the "this" pointer.
+
+2022-05-13  Javier Miranda  <miranda@adacore.com>
+
+	* sem_attr.adb (Resolve_Attribute): Ensure that attribute
+	expressions are resolved at this stage; required for preanalyzed
+	references to discriminants since their resolution (and
+	expansion) will take care of updating their Entity attribute to
+	reference their discriminal.
+
+2022-05-13  Justin Squirek  <squirek@adacore.com>
+
+	* sem_util.adb (Wrong_Type): Avoid using the first subtype of
+	the expected type in error messages when the expected type is
+	not internally generated.
+
+2022-05-13  Alexandre Oliva  <oliva@adacore.com>
+
+	* doc/gnat_rm/security_hardening_features.rst: Add subsection on
+	Control Flow Redundancy.
+	* gnat_rm.texi: Regenerate.
+
+2022-05-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_util.adb (Insert_Actions) <N_Iteration_Scheme>: Check that
+	it is a WHILE iteration scheme before using Condition_Actions.
+
+2022-05-13  Piotr Trojanek  <trojanek@adacore.com>
+
+	* atree.adb, gen_il-gen.adb, osint.adb, set_targ.adb,
+	sinput.adb, table.adb, treepr.adb, types.ads: Replace uses of
+	Unchecked_Conversion in the compiler itself.
+	* libgnarl/a-reatim.adb, libgnarl/s-osinte__gnu.ads,
+	libgnarl/s-osinte__kfreebsd-gnu.ads, libgnat/a-coboho.adb,
+	libgnat/a-stuten.ads, libgnat/s-putima.adb: Likewise in the
+	runtime.
+	* doc/gnat_ugn/gnat_and_program_execution.rst: Likewise in
+	documentation.
+	* gnat_ugn.texi: Regenerate.
+
+2022-05-13  Piotr Trojanek  <trojanek@adacore.com>
+
+	* butil.adb, sem.adb, sinput.adb, types.ads, xref_lib.adb:
+	Replace uses of Unchecked_Deallocation with
+	Ada.Unchecked_Deallocation.
+	* doc/gnat_ugn/gnat_and_program_execution.rst: Likewise for the
+	documentation; fix casing of GNAT.IO.
+	* gnat_ugn.texi: Regenerate.
+
+2022-05-13  Marc Poulhiès  <poulhies@adacore.com>
+
+	* sem_aggr.adb (Resolve_Array_Aggregate): Fix ARM reference.
+	Remove useless loop.
+
+2022-05-13  Etienne Servais  <servais@adacore.com>
+
+	* sem_ch3.adb (Analyze_Subtype_Declaration): Fix typo in
+	comment.
+
+2022-05-13  Justin Squirek  <squirek@adacore.com>
+
+	* sem_ch6.adb (Check_Return_Construct_Accessibility): Modify
+	generation of run-time accessibility checks to account for cases
+	where Extra_Accessibility_Of_Result should be used versus the
+	level of the enclosing subprogram. Use original node to avoid
+	checking against expanded code. Disable check generation for
+	tagged type case.
+	(Is_Formal_Of_Current_Function): Added to encompass a predicate
+	used within Check_Return_Construct_Accessibility to test if an
+	associated expression is related to a relevant formal.
+	* sem_util.adb, sem_util.ads (Enclosing_Subprogram): Modified to
+	accept Node_Or_Entity_Id.
+	(Innermost_Master_Scope_Depth): Calculate level based on the
+	subprogram of a return statement instead of the one returned by
+	Current_Subprogram.
+	(Needs_Result_Accessibility_Level): Remove
+	Disable_Coextension_Cases constant, and disable the tagged type
+	case for performance reasons.
+
+2022-05-13  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_res.adb (Flag_Effectively_Volatile_Objects): Ignore
+	component and discriminant identifiers.
+
+2022-05-13  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_res.adb (Flag_Effectively_Volatile_Objects): Remove
+	redundant guard.
+
+2022-05-13  Justin Squirek  <squirek@adacore.com>
+
+	* sem_ch8.adb (Determine_Package_Scope): Created to centralize
+	the calculation of which package a given use clause belongs to.
+	(Most_Descendant_Use_Clause): Modified to call
+	Determine_Package_Scope.
+	* sem_util.adb, sem_util.ads (Enclosing_Package): Modified to
+	handle both entity and node ids.
+
 2022-05-12  Piotr Trojanek  <trojanek@adacore.com>
 
 	* gnat1drv.adb (Gnat1drv): Skip postponed checks when there are
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 9f8c381..5a9551b 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,7 @@
+2022-05-13  Richard Biener  <rguenther@suse.de>
+
+	* supergraph.cc: Re-order gimple-fold.h include.
+
 2022-05-11  David Malcolm  <dmalcolm@redhat.com>
 
 	* checker-path.cc (state_change_event::get_desc): Call maybe_free
diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index 31c817a..0d2b277 100644
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,7 @@
+2022-05-13  Richard Biener  <rguenther@suse.de>
+
+	* c-omp.cc: Remove gimple-fold.h include.
+
 2022-05-12  Jakub Jelinek  <jakub@redhat.com>
 
 	* c-common.h (enum rid): Add RID_OMP_ALL_MEMORY.
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 3402904..090124f 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,11 @@
+2022-05-13  Nathan Sidwell  <nathan@acm.org>
+
+	* mangle.cc (maybe_write_module): Check external linkage.
+
+2022-05-13  Richard Biener  <rguenther@suse.de>
+
+	* constexpr.cc: Remove gimple-fold.h include.
+
 2022-05-12  Patrick Palka  <ppalka@redhat.com>
 
 	* cp-tree.h (TMPL_ARGS_LEVEL): Assert LEVEL is 1 when
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 395fad9..b4f2ff8 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,9 @@
+2022-05-13  Tobias Burnus  <tobias@codesourcery.com>
+
+	* trans-openmp.cc (gfc_trans_omp_clauses): When mapping nondescriptor
+	array sections, use GOMP_MAP_FIRSTPRIVATE_POINTER instead of
+	GOMP_MAP_POINTER for the pointer attachment.
+
 2022-05-11  Harald Anlauf  <anlauf@gmx.de>
 	    Steven G. Kargl  <kargl@gcc.gnu.org>
 
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 262f3fc..3109d8e 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,150 @@
+2022-05-13  Marek Polacek  <polacek@redhat.com>
+
+	PR c++/81952
+	* g++.dg/overload/conv-op4.C: New test.
+
+2022-05-13  Roger Sayle  <roger@nextmovesoftware.com>
+	    Uroš Bizjak  <ubizjak@gmail.com>
+
+	* gcc.target/i386/sse2-v1ti-veq.c: New test case.
+	* gcc.target/i386/sse2-v1ti-vne.c: New test case.
+
+2022-05-13  Paul A. Clarke  <pc@us.ibm.com>
+
+	* g++.target/powerpc/pr65240-1.C: Adjust DejaGnu directives.
+	* g++.target/powerpc/pr65240-2.C: Likewise.
+	* g++.target/powerpc/pr65240-3.C: Likewise.
+	* g++.target/powerpc/pr65240-4.C: Likewise.
+	* g++.target/powerpc/pr65242.C: Likewise.
+	* g++.target/powerpc/pr67211.C: Likewise.
+	* g++.target/powerpc/pr69667.C: Likewise.
+	* g++.target/powerpc/pr71294.C: Likewise.
+
+2022-05-13  Paul A. Clarke  <pc@us.ibm.com>
+
+	* g++.dg/pr65240.h: Move to g++.target/powerpc.
+	* g++.dg/pr93974.C: Likewise.
+	* g++.dg/pr65240-1.C: Move to g++.target/powerpc, adjust dg directives.
+	* g++.dg/pr65240-2.C: Likewise.
+	* g++.dg/pr65240-3.C: Likewise.
+	* g++.dg/pr65240-4.C: Likewise.
+	* g++.dg/pr65242.C: Likewise.
+	* g++.dg/pr67211.C: Likewise.
+	* g++.dg/pr69667.C: Likewise.
+	* g++.dg/pr71294.C: Likewise.
+	* g++.dg/pr84264.C: Likewise.
+	* g++.dg/pr84279.C: Likewise.
+	* g++.dg/pr85657.C: Likewise.
+	* g++.target/powerpc/pr65240-1.C: New file.
+	* g++.target/powerpc/pr65240-2.C: New file.
+	* g++.target/powerpc/pr65240-3.C: New file.
+	* g++.target/powerpc/pr65240-4.C: New file.
+	* g++.target/powerpc/pr65240.h: New file.
+	* g++.target/powerpc/pr65242.C: New file.
+	* g++.target/powerpc/pr67211.C: New file.
+	* g++.target/powerpc/pr69667.C: New file.
+	* g++.target/powerpc/pr71294.C: New file.
+	* g++.target/powerpc/pr84264.C: New file.
+	* g++.target/powerpc/pr84279.C: New file.
+	* g++.target/powerpc/pr85657.C: New file.
+	* g++.target/powerpc/pr93974.C: New file.
+
+2022-05-13  Roger Sayle  <roger@nextmovesoftware.com>
+
+	PR tree-optimization/83907
+	* gcc.dg/tree-ssa/pr83907-1.c: New test case.
+	* gcc.dg/tree-ssa/pr83907-2.c: New test case.
+
+2022-05-13  Philipp Tomsich  <philipp.tomsich@vrull.eu>
+	    Manolis Tsamis  <manolis.tsamis@vrull.eu>
+
+	* gcc.dg/pr90838.c: Add additional flags (dg-additional-options)
+	  when compiling for riscv64 and subsume gcc.target/aarch64/pr90838.c
+	  and gcc.target/i386/pr95863-2.c.
+	* gcc.target/aarch64/pr90838.c: Removed.
+	* gcc.target/i386/pr95863-2.c: Removed.
+	* lib/target-supports.exp: Recognize RV32 or RV64 via XLEN
+
+2022-05-13  Andrew MacLeod  <amacleod@redhat.com>
+
+	PR tree-optimization/105597
+	* gcc.dg/pr105597.c: New.
+
+2022-05-13  Sebastian Pop  <spop@amazon.com>
+
+	PR target/105162
+	* gcc.target/aarch64/sync-comp-swap-ool.c: New.
+	* gcc.target/aarch64/sync-op-acquire-ool.c: New.
+	* gcc.target/aarch64/sync-op-full-ool.c: New.
+	* gcc.target/aarch64/target_attr_20.c: Update check.
+	* gcc.target/aarch64/target_attr_21.c: Same.
+
+2022-05-13  Palmer Dabbelt  <palmer@rivosinc.com>
+
+	* gcc.dg/debug/btf/btf-datasec-1.c: Don't use small data on RISC-V.
+
+2022-05-13  Jia-Wei Chen  <jiawei@iscas.ac.cn>
+
+	* g++.dg/opt/const7.C: Don't use small data on RISC-V.
+
+2022-05-13  Andrew MacLeod  <amacleod@redhat.com>
+
+	* g++.dg/pr104547.C: New.
+
+2022-05-13  Nathan Sidwell  <nathan@acm.org>
+
+	* g++.dg/modules/mod-sym-4.C: New.
+
+2022-05-13  Alexandre Oliva  <oliva@adacore.com>
+
+	* gnat.dg/hardbool.ads: New.
+	* gnat.dg/hardbool.adb: New.
+
+2022-05-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gnat.dg/sso17.adb: New test.
+
+2022-05-13  Christophe Lyon  <christophe.lyon@arm.com>
+
+	* gcc.target/aarch64/sve/acle/general/attributes_7.c: Make
+	diagnostic unique.
+
+2022-05-13  Richard Biener  <rguenther@suse.de>
+
+	* gcc.dg/plugin/diagnostic_group_plugin.c: Reorder or remove
+	gimple-fold.h include.
+	* gcc.dg/plugin/diagnostic_plugin_show_trees.c:
+	Likewise.
+	* gcc.dg/plugin/diagnostic_plugin_test_inlining.c:
+	Likewise.
+	* gcc.dg/plugin/diagnostic_plugin_test_metadata.c:
+	Likewise.
+	* gcc.dg/plugin/diagnostic_plugin_test_paths.c:
+	Likewise.
+	* gcc.dg/plugin/diagnostic_plugin_test_show_locus.c:
+	Likewise.
+	* gcc.dg/plugin/diagnostic_plugin_test_string_literals.c: Likewise.
+	* gcc.dg/plugin/diagnostic_plugin_test_tree_expression_range.c:
+	Likewise.
+	* gcc.dg/plugin/finish_unit_plugin.c: Likewise.
+	* gcc.dg/plugin/ggcplug.c: Likewise.
+	* gcc.dg/plugin/must_tail_call_plugin.c: Likewise.
+	* gcc.dg/plugin/one_time_plugin.c: Likewise.
+	* gcc.dg/plugin/selfassign.c: Likewise.
+	* gcc.dg/plugin/start_unit_plugin.c: Likewise.
+	* g++.dg/plugin/selfassign.c: Likewise.
+
+2022-05-13  Alexandre Oliva  <oliva@adacore.com>
+
+	PR rtl-optimization/105455
+	* gcc.dg/pr105455.c: New.
+
+2022-05-13  liuhongt  <hongtao.liu@intel.com>
+
+	* gcc.target/i386/pr102583.c: New test.
+	* gcc.target/i386/pr92645-2.c: Adjust testcase.
+	* gcc.target/i386/pr92645-3.c: Ditto.
+
 2022-05-12  David Edelsohn  <dje.gcc@gmail.com>
 
 	* g++.target/powerpc/pr101168.C: Require VSX.
diff --git a/libgcc/ChangeLog b/libgcc/ChangeLog
index 25f5c19..5d351a6 100644
--- a/libgcc/ChangeLog
+++ b/libgcc/ChangeLog
@@ -1,3 +1,9 @@
+2022-05-13  Sebastian Pop  <spop@amazon.com>
+
+	PR target/105162
+	* config/aarch64/lse.S: Define BARRIER and handle memory MODEL 5.
+	* config/aarch64/t-lse: Add a 5th memory model for _sync functions.
+
 2022-05-10  Martin Liska  <mliska@suse.cz>
 	    Hans-Peter Helfert  <peter-helfert@t-online.de>
 
diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog
index 6d8baf2..3f21ffb 100644
--- a/libgomp/ChangeLog
+++ b/libgomp/ChangeLog
@@ -1,3 +1,19 @@
+2022-05-13  Tobias Burnus  <tobias@codesourcery.com>
+
+	* testsuite/libgomp.fortran/target-nowait-array-section.f90: New test.
+
+2022-05-13  Tobias Burnus  <tobias@codesourcery.com>
+
+	* testsuite/libgomp.fortran/target-nowait-array-section.f90: New test.
+
+2022-05-13  Thomas Schwinge  <thomas@codesourcery.com>
+
+	* plugin/Makefrag.am (libgomp_plugin_nvptx_la_CPPFLAGS)
+	[PLUGIN_NVPTX_DYNAMIC]: Don't append '$(PLUGIN_NVPTX_CPPFLAGS)'.
+	(libgomp_plugin_nvptx_la_LDFLAGS) [PLUGIN_NVPTX_DYNAMIC]: Don't
+	append '$(PLUGIN_NVPTX_LDFLAGS)'.
+	* Makefile.in: Regenerate.
+
 2022-05-12  Thomas Schwinge  <thomas@codesourcery.com>
 
 	* Makefile.am (libgomp_la_LIBADD): Initialize.
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index b20ba3e..e6c2bb5 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,124 @@
+2022-05-13  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/bits/std_thread.h (thread::_State, thread::_State_ptr):
+	Declare as private unless _GLIBCXX_THREAD_IMPL is defined.
+	* src/c++11/thread.cc (_GLIBCXX_THREAD_IMPL): Define.
+
+2022-05-13  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/std/future (launch): Make operators noexcept.
+
+2022-05-13  Jonathan Wakely  <jwakely@redhat.com>
+
+	* doc/doxygen/user.cfg.in (PREDEFINED): Replace __exception_ptr
+	with "__unspecified__".
+	* libsupc++/exception_ptr.h: Improve doxygen docs.
+	(__exception_ptr::swap): Also declare in namespace std.
+
+2022-05-13  Jonathan Wakely  <jwakely@redhat.com>
+
+	* libsupc++/nested_exception.h (throw_with_nested) [C++17]: Use
+	if-constexpr instead of tag dispatching.
+	(rethrow_if_nested) [C++17]: Likewise.
+	(rethrow_if_nested) [!__cpp_rtti]: Do not use dynamic_cast if it
+	would require RTTI.
+	* testsuite/18_support/nested_exception/rethrow_if_nested-term.cc:
+	New test.
+
+2022-05-13  Jonathan Wakely  <jwakely@redhat.com>
+
+	* doc/doxygen/user.cfg.in (PREDEFINED): Define
+	_GTHREAD_USE_MUTEX_TIMEDLOCK macro.
+	* include/bits/std_mutex.h (mutex, lock_guard): Use @since and
+	@headerfile.
+	* include/bits/unique_lock.h (unique_lock): Likewise.
+	* include/std/mutex (recursive_mutex, timed_mutex)
+	(recursive_timed_mutex, scoped_lock): Likewise.
+
+2022-05-13  Jonathan Wakely  <jwakely@redhat.com>
+
+	* doc/doxygen/user.cfg.in (PREDEFINED): Define
+	_GLIBCXX23_CONSTEXPR macro.
+	* include/backward/auto_ptr.h (auto_ptr): Use @deprecated.
+	* include/bits/unique_ptr.h (default_delete): Use @since and
+	@headerfile.
+	* include/std/scoped_allocator: Remove @ingroup from @file
+	block.
+
+2022-05-13  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/bits/std_thread.h (thread, thread::id): Improve
+	doxygen docs.
+	* include/std/future: Likewise.
+	* include/std/thread (jthread): Likewise.
+
+2022-05-13  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/bits/ostream_insert.h: Mark helper functions as
+	undocumented by Doxygen.
+	* include/bits/stl_algo.h: Use markdown for formatting and mark
+	helper functions as undocumented.
+	* include/bits/stl_numeric.h:  Likewise.
+	* include/bits/stl_pair.h (pair): Add @headerfile.
+
+2022-05-13  Jonathan Wakely  <jwakely@redhat.com>
+
+	* doc/doxygen/user.cfg.in (PREDEFINED): Define __allocator_base
+	so that Doxygen shows the right base-class for std::allocator.
+	* include/bits/alloc_traits.h: Improve doxygen docs.
+	* include/bits/allocator.h: Likewise.
+	* include/bits/new_allocator.h: Likewise.
+	* include/ext/new_allocator.h: Likewise.
+
+2022-05-13  Jonathan Wakely  <jwakely@redhat.com>
+
+	* doc/doxygen/user.cfg.in (PREDEFINED): Define macro
+	_GLIBCXX_DOXYGEN_ONLY to expand its argument.
+	* include/bits/c++config (_GLIBCXX_DOXYGEN_ONLY): Define.
+	* include/bits/regex.h: Improve doxygen docs.
+	* include/bits/regex_constants.h: Likewise.
+	* include/bits/regex_error.h: Likewise.
+
+2022-05-13  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/std/atomic: Suppress doxygen docs for
+	implementation details.
+	* include/bits/atomic_base.h: Likewise.
+	* include/bits/shared_ptr_atomic.h: Use markdown. Fix grouping
+	so that std::atomic is not added to the pointer abstractions
+	group.
+
+2022-05-13  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/std/system_error: Improve doxygen comments.
+
+2022-05-13  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/bits/ptr_traits.h: Add some doxygen comments.
+
+2022-05-13  Jonathan Wakely  <jwakely@redhat.com>
+
+	* doc/doxygen/user.cfg.in (PREDEFINED): Expand new macros to
+	nothing.
+	* include/bits/c++config (_GLIBCXX_BEGIN_INLINE_ABI_NAMESPACE)
+	(_GLIBCXX_END_INLINE_ABI_NAMESPACE): Define new macros.
+	* include/bits/algorithmfwd.h (_V2::__rotate): Use new macros
+	for the namespace.
+	* include/bits/chrono.h (chrono::_V2::system_clock): Likewise.
+	* include/bits/stl_algo.h (_V2::__rotate): Likewise.
+	* include/std/condition_variable (_V2::condition_variable_any):
+	Likewise.
+	* include/std/system_error (_V2::error_category): Likewise.
+
+2022-05-13  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/bits/mofunc_impl.h: Fix doxygen command.
+
+2022-05-13  Jonathan Wakely  <jwakely@redhat.com>
+
+	* doc/doxygen/user.cfg.in (GROUP_NESTED_COMPOUNDS): Set to NO.
+	(CLASS_DIAGRAMS): Remove obsolete option.
+
 2022-05-12  Jonathan Wakely  <jwakely@redhat.com>
 
 	* config/locale/dragonfly/numeric_members.cc: Remove whitespace.