Daily bump.

8 files changed, 638 insertions, 1 deletions

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d318c0e..0933612 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,125 @@
+2023-06-13  Jeff Law  <jlaw@ventanamicro.com>
+
+	* gcc.cc (LINK_COMMAND_SPEC): Remove mudflap spec handling.
+
+2023-06-13  Jeff Law  <jlaw@ventanamicro.com>
+
+	* config/sh/divtab.cc: Remove.
+
+2023-06-13  Jakub Jelinek  <jakub@redhat.com>
+
+	* config/i386/i386.cc (standard_sse_constant_opcode): Remove
+	superfluous spaces around \t for vpcmpeqd.
+
+2023-06-13  Roger Sayle  <roger@nextmovesoftware.com>
+
+	* expr.cc (store_constructor) <case VECTOR_TYPE>: Don't bother
+	clearing vectors with only a single element.  Set CLEARED if the
+	vector was initialized to zero.
+
+2023-06-13  Lehua Ding  <lehua.ding@rivai.ai>
+
+	* config/riscv/riscv-v.cc (struct mode_vtype_group): Remove duplicate
+	#include.
+	(ENTRY): Undef.
+	(TUPLE_ENTRY): Undef.
+
+2023-06-13  Juzhe-Zhong  <juzhe.zhong@rivai.ai>
+
+	* config/riscv/riscv-v.cc (rvv_builder::single_step_npatterns_p): Add comment.
+	(shuffle_generic_patterns): Ditto.
+	(expand_vec_perm_const_1): Ditto.
+
+2023-06-13  Juzhe-Zhong  <juzhe.zhong@rivai.ai>
+
+	* config/riscv/riscv-v.cc (emit_vlmax_decompress_insn): Fix bug.
+	(shuffle_decompress_patterns): Ditto.
+
+2023-06-13  Richard Biener  <rguenther@suse.de>
+
+	* tree-ssa-loop-ch.cc (ch_base::copy_headers): Free loop BBs.
+
+2023-06-13  Yanzhang Wang  <yanzhang.wang@intel.com>
+	    Kito Cheng  <kito.cheng@sifive.com>
+
+	* config/riscv/riscv-protos.h (riscv_init_cumulative_args): Set
+	warning flag if func is not builtin
+	* config/riscv/riscv.cc
+	(riscv_scalable_vector_type_p): Determine whether the type is scalable vector.
+	(riscv_arg_has_vector): Determine whether the arg is vector type.
+	(riscv_pass_in_vector_p): Check the vector type param is passed by value.
+	(riscv_init_cumulative_args): The same as header.
+	(riscv_get_arg_info): Add the checking.
+	(riscv_function_value): Check the func return and set warning flag
+	* config/riscv/riscv.h (INIT_CUMULATIVE_ARGS): Add a flag to
+	determine whether warning psabi or not.
+
+2023-06-13  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>
+
+	* config/arm/arm-opts.h (enum arm_tp_type): Remove TP_CP15.
+	Add TP_TPIDRURW, TP_TPIDRURO, TP_TPIDRPRW values.
+	* config/arm/arm-protos.h (arm_output_load_tpidr): Declare prototype.
+	* config/arm/arm.cc (arm_option_reconfigure_globals): Replace TP_CP15
+	with TP_TPIDRURO.
+	(arm_output_load_tpidr): Define.
+	* config/arm/arm.h (TARGET_HARD_TP): Define in terms of TARGET_SOFT_TP.
+	* config/arm/arm.md (load_tp_hard): Call arm_output_load_tpidr to output
+	assembly.
+	(reload_tp_hard): Likewise.
+	* config/arm/arm.opt (tpidrurw, tpidruro, tpidrprw): New values for
+	arm_tp_type.
+	* doc/invoke.texi (Arm Options, mtp): Document new values.
+
+2023-06-13  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>
+
+	PR target/108779
+	* config/aarch64/aarch64-opts.h (enum aarch64_tp_reg): Add
+	AARCH64_TPIDRRO_EL0 value.
+	* config/aarch64/aarch64.cc (aarch64_output_load_tp): Define.
+	* config/aarch64/aarch64.opt (tpidr_el0, tpidr_el1, tpidr_el2,
+	tpidr_el3, tpidrro_el3): New accepted values to -mtp=.
+	* doc/invoke.texi (AArch64 Options): Document new -mtp= options.
+
+2023-06-13  Alexandre Oliva  <oliva@adacore.com>
+
+	* range-op-float.cc (frange_nextafter): Drop inline.
+	(frelop_early_resolve): Add static.
+	(frange_float): Likewise.
+
+2023-06-13  Richard Biener  <rguenther@suse.de>
+
+	PR middle-end/110232
+	* fold-const.cc (native_interpret_vector): Use TYPE_SIZE_UNIT
+	to check whether the buffer covers the whole vector.
+
+2023-06-13  Richard Biener  <rguenther@suse.de>
+
+	* tree-ssa-alias.cc (ref_maybe_used_by_call_p_1): For
+	.MASK_LOAD and friends set the size of the access to unknown.
+
+2023-06-13  Tejas Belagod  <tbelagod@arm.com>
+
+	PR target/96339
+	* config/aarch64/aarch64-sve-builtins-base.cc (svlast_impl::fold): Fold sve
+	calls that have a constant input predicate vector.
+	(svlast_impl::is_lasta): Query to check if intrinsic is svlasta.
+	(svlast_impl::is_lastb): Query to check if intrinsic is svlastb.
+	(svlast_impl::vect_all_same): Check if all vector elements are equal.
+
+2023-06-13  Andi Kleen  <ak@linux.intel.com>
+
+	* config/i386/gcc-auto-profile: Regenerate.
+
+2023-06-13  Juzhe-Zhong  <juzhe.zhong@rivai.ai>
+
+	* config/riscv/vector-iterators.md: Fix requirement.
+
+2023-06-13  Juzhe-Zhong  <juzhe.zhong@rivai.ai>
+
+	* config/riscv/riscv-v.cc (emit_vlmax_decompress_insn): New function.
+	(shuffle_decompress_patterns): New function.
+	(expand_vec_perm_const_1): Add decompress optimization.
+
 2023-06-12  Jeff Law  <jlaw@ventanamicro.com>
 
 	PR rtl-optimization/101188
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 5180e2e..60b8c2b 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20230613
+20230614
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index fe1d77d..1870250 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,329 @@
+2023-06-13  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_aggr.adb (Resolve_Iterated_Component_Association): Simply resolve
+	the expression.
+
+2023-06-13  Bob Duff  <duff@adacore.com>
+
+	* exp_ch4.adb
+	(Expand_N_Quantified_Expression): Detect the secondary-stack
+	case, and find the innermost scope where we should mark/release,
+	and Set_Uses_Sec_Stack on that. Skip intermediate blocks and loops
+	that are part of expansion.
+
+2023-06-13  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_util.adb (Is_Repeatedly_Evaluated): Recognize iterated component
+	association as repeatedly evaluated.
+
+2023-06-13  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_util.adb (Is_Potentially_Unevaluated): Recognize iterated
+	component association as potentially unevaluated.
+
+2023-06-13  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_res.adb (Resolve_Call): Replace early call to
+	In_Quantified_Expression with a call to Is_Potentially_Unevaluated that
+	was only done when Full_Analysis is true.
+
+2023-06-13  Piotr Trojanek  <trojanek@adacore.com>
+
+	* aspects.ads (Aspect_Id): Add new aspect.
+	(Implementation_Defined_Aspect): New aspect is
+	implementation-defined.
+	(Aspect_Argument): New aspect has an expression argument.
+	(Is_Representation_Aspect): New aspect is not a representation
+	aspect.
+	(Aspect_Names): Link new aspect identifier with a name.
+	(Aspect_Delay): New aspect is never delayed.
+	* contracts.adb (Expand_Subprogram_Contract): Mention new aspect
+	in comment.
+	(Add_Contract_Item): Attach pragma corresponding to the new aspect
+	to contract items.
+	(Analyze_Entry_Or_Subprogram_Contract): Analyze pragma
+	corresponding to the new aspect that appears with subprogram spec.
+	(Analyze_Subprogram_Body_Stub_Contract): Expand pragma
+	corresponding to the new aspect.
+	* contracts.ads
+	(Add_Contract_Item, Analyze_Entry_Or_Subprogram_Contract)
+	(Analyze_Entry_Or_Subprogram_Body_Contract)
+	(Analyze_Subprogram_Body_Stub_Contract): Mention new aspect in
+	comment.
+	* einfo-utils.adb (Get_Pragma): Return pragma attached to
+	contract.
+	* einfo-utils.ads (Get_Pragma): Mention new contract in comment.
+	* exp_prag.adb (Expand_Pragma_Always_Terminates): Placeholder for
+	possibly expanding new aspect.
+	* exp_prag.ads (Expand_Pragma_Always_Terminates): Dedicated
+	routine for expansion of the new aspect.
+	* inline.adb (Remove_Aspects_And_Pragmas): Remove aspect from
+	inlined bodies.
+	* par-prag.adb (Prag): Postpone checking of the pragma until
+	analysis.
+	* sem_ch12.adb: Mention new aspect in explanation of handling
+	contracts on generic units.
+	* sem_ch13.adb (Analyze_Aspect_Specifications): Convert new aspect
+	into a corresponding pragma.
+	(Check_Aspect_At_Freeze_Point): Don't expect new aspect.
+	* sem_prag.adb (Analyze_Always_Terminates_In_Decl_Part): Analyze
+	pragma corresponding to the new aspect.
+	(Analyze_Pragma): Handle pragma corresponding to the new aspect.
+	(Is_Non_Significant_Pragma_Reference): Handle references appearing
+	within new aspect.
+	* sem_prag.ads (Aspect_Specifying_Pragma): New aspect can be
+	emulated with a pragma.
+	(Assertion_Expression_Pragma): New aspect has an assertion
+	expression.
+	(Pragma_Significant_To_Subprograms): New aspect is significant to
+	subprograms.
+	(Analyze_Always_Terminates_In_Decl_Part): Add spec for routine
+	that analyses new aspect.
+	(Find_Related_Declaration_Or_Body): Mention new aspect in comment.
+	* sem_util.adb (Is_Subprogram_Contract_Annotation): New aspect is
+	a subprogram contract annotation.
+	* sem_util.ads (Is_Subprogram_Contract_Annotation): Mention new
+	aspect in comment.
+	* sinfo.ads (Is_Generic_Contract_Pragma): New pragma is a generic
+	contract.
+	(Contract): Explain attaching new pragma to subprogram contract.
+	* snames.ads-tmpl (Name_Always_Terminates): New name for the new
+	contract.
+	(Pragma_Always_Terminates): New pragma identifier.
+
+2023-06-13  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_elab.adb (Check_Overriding_Primitive): Prevent Corresponding_Body
+	to be called with entity of an abstract subprogram.
+
+2023-06-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_ch12.adb (Save_References_In_Identifier): In the case where
+	the identifier has been turned into a function call by analysis,
+	call Set_Global_Type on the entity if it is global.
+
+2023-06-13  Marc Poulhiès  <poulhies@adacore.com>
+
+	* sem_aggr.adb (Resolve_Iterated_Component_Association): Call
+	Preanalyze_And_Resolve instead of Resolve_Aggr_Expr except for
+	aggregate.
+	Co-authored-by: Ed Schonberg <schonberg@adacore.com>
+
+2023-06-13  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-06-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_attr.adb (Eval_Attribute): Add more exceptions to the early
+	return for a prefix which is a nonfrozen generic actual type.
+	* sem_ch12.adb (Copy_Generic_Node): Also check private views in the
+	case of an entity name or operator analyzed as a function call.
+	(Set_Global_Type): Make it a child of Save_Global_References.
+	(Save_References_In_Operator): In the case where the operator has
+	been turned into a function call, call Set_Global_Type on the entity
+	if it is global.
+
+2023-06-13  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-06-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gen_il-fields.ads (Opt_Field_Enum): Add No_Finalize_Actions and
+	remove No_Side_Effect_Removal.
+	* gen_il-gen-gen_nodes.adb (N_Function_Call): Remove semantic flag
+	No_Side_Effect_Removal
+	(N_Assignment_Statement): Add semantic flag No_Finalize_Actions.
+	* sinfo.ads (No_Ctrl_Actions): Adjust comment.
+	(No_Finalize_Actions): New flag on assignment statements.
+	(No_Side_Effect_Removal): Delete.
+	* exp_aggr.adb (Build_Record_Aggr_Code): Remove obsolete comment and
+	Ancestor_Is_Expression variable.  In the case of an extension, do
+	not generate a call to Adjust manually, call Set_No_Finalize_Actions
+	instead.  Do not set the tags, replace call to Make_Unsuppress_Block
+	by Make_Suppress_Block and remove useless assertions.
+	In the general case, call Initialize_Component.
+	(Initialize_Controlled_Component): Delete.
+	(Initialize_Simple_Component): Delete.
+	(Initialize_Component): Do the low-level processing, but do not
+	generate a call to Adjust manually, call Set_No_Finalize_Actions.
+	(Process_Transient_Component): Delete.
+	(Process_Transient_Component_Completion): Likewise.
+	* exp_ch5.adb (Expand_Assign_Array): Deal with No_Finalize_Actions.
+	(Expand_Assign_Array_Loop): Likewise.
+	(Expand_N_Assignment_Statement): Likewise.
+	(Make_Tag_Ctrl_Assignment): Likewise.
+	* exp_util.adb (Remove_Side_Effects): Do not test the
+	No_Side_Effect_Removal flag.
+	* sem_prag.adb (Process_Suppress_Unsuppress): Give the warning in
+	SPARK mode only for pragma Suppress.
+	* tbuild.ads (Make_Suppress_Block): New declaration.
+	(Make_Unsuppress_Block): Adjust comment.
+	* tbuild.adb (Make_Suppress_Block): New procedure.
+	(Make_Unsuppress_Block): Unsuppress instead of suppressing.
+
+2023-06-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_ch5.adb (Analyze_Assignment): Turn Rhs into a constant and
+	remove calls to the following subprograms.
+	(Transform_BIP_Assignment): Delete.
+	(Should_Transform_BIP_Assignment): Likewise.
+
+2023-06-13  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_util.ads (Is_Inherited_Operation_For_Type): Remove spec.
+	* sem_util.adb (Is_Inherited_Operation_For_Type): Remove body.
+
+2023-06-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_aggr.adb (Build_Record_Aggr_Code): Add new variable Ancestor_Q
+	to store the result of Unqualify on Ancestor.  Remove the dead call
+	to Generate_Finalization_Actions in the case of another aggregate as
+	ancestor part.  Remove the redundant setting of Assignment_OK.  Use
+	Init_Typ in lieu of Etype (Ancestor) more consistently.
+
+2023-06-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_aggr.adb (Build_Record_Aggr_Code): In the case of an extension
+	aggregate of a limited type whose ancestor part is an aggregate, do
+	not skip the final code assigning the tag of the extension.
+
+2023-06-13  Yannick Moy  <moy@adacore.com>
+
+	* ghost.adb (Check_Ghost_Context): Allow absence of Ghost_Id
+	for attribute. Update error message to mention Ghost_Predicate.
+	(Is_Ghost_Attribute_Reference): New query.
+	* ghost.ads (Is_Ghost_Attribute_Reference): New query.
+	* sem_attr.adb (Resolve_Attribute): Check ghost context for ghost
+	attributes.
+
+2023-06-13  Daniel King  <dmking@adacore.com>
+
+	* libgnat/s-stoele.ads: Add No_Elaboration_Code_All pragma.
+
+2023-06-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_util.ads (Make_Tag_Assignment_From_Type): Declare.
+	* exp_util.adb (Make_Tag_Assignment_From_Type): New function.
+	* exp_aggr.adb (Build_Record_Aggr_Code): Call the above function.
+	(Initialize_Simple_Component): Likewise.
+	* exp_ch3.adb (Build_Record_Init_Proc.Build_Assignment): Likewise.
+	(Build_Record_Init_Proc.Build_Init_Procedure ): Likewise.
+	(Make_Tag_Assignment): Likewise.  Rename local variable and call
+	Unqualify to go through qualified expressions.
+	* exp_ch4.adb (Expand_Allocator_Expression): Likewise.
+
+2023-06-13  Yannick Moy  <moy@adacore.com>
+
+	* libgnat/a-strsup.ads: Change predicate aspect.
+	* sem_ch13.adb (Add_Predicate): Fix for first predicate.
+
+2023-06-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_aggr.adb (Initialize_Component): Perform immediate expansion
+	of the initialization expression if it is a conditional expression
+	and the component type is controlled.
+
+2023-06-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_aggr.adb (Initialize_Component): New procedure factored out
+	from the processing of array and record aggregates.
+	(Initialize_Controlled_Component): Likewise.
+	(Initialize_Simple_Component): Likewise.
+	(Build_Array_Aggr_Code.Gen_Assign): Remove In_Loop parameter.
+	Call Initialize_Component to initialize the component.
+	(Initialize_Array_Component): Delete.
+	(Initialize_Ctrl_Array_Component): Likewise.
+	(Build_Array_Aggr_Code): Adjust calls to Gen_Assign.
+	(Build_Record_Aggr_Code): Call Initialize_Simple_Component or
+	Initialize_Component to initialize the component.
+	(Initialize_Ctrl_Record_Component): Delete.
+	(Initialize_Record_Component): Likewise.
+
+2023-06-13  Piotr Trojanek  <trojanek@adacore.com>
+
+	* exp_ch11.adb (Expand_N_Raise_Statement): Expansion of raise statements
+	never happens in GNATprove mode.
+
+2023-06-13  Piotr Trojanek  <trojanek@adacore.com>
+
+	* exp_ch11.adb (Find_Local_Handler): Replace guard against other
+	constructs appearing in the list of exception handlers with iteration
+	using First_Non_Pragma/Next_Non_Pragma.
+
+2023-06-13  Piotr Trojanek  <trojanek@adacore.com>
+
+	* exp_ch11.ads (Find_Local_Handler): Fix typo in comment.
+	* exp_ch11.adb (Find_Local_Handler): Remove redundant check for the
+	Exception_Handler list being present; use membership test to eliminate
+	local object LCN; fold nested IF statements. Remove useless ELSIF
+	condition.
+
+2023-06-13  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_util.adb (Check_Function_Writable_Actuals): Tune style; use
+	subtype name to detect membership test nodes.
+
+2023-06-13  Piotr Trojanek  <trojanek@adacore.com>
+
+	* exp_disp.adb (Make_Disp_Asynchronous_Select_Spec): Use a single call
+	to New_List.
+
+2023-06-13  Yannick Moy  <moy@adacore.com>
+
+	* doc/gnat_rm/implementation_defined_aspects.rst: Document new
+	aspect.
+	* doc/gnat_rm/implementation_defined_pragmas.rst: Whitespace.
+	* aspects.adb (Init_Canonical_Aspect): Set it to Predicate.
+	* aspects.ads: Set global constants for new aspect.
+	* einfo.ads: Describe new flag related to new aspect.
+	* exp_ch6.adb (Can_Fold_Predicate_Call): Do not fold new aspect.
+	* exp_util.adb (Make_Predicate_Check): Add comment.
+	* gen_il-fields.ads: Add new flag.
+	* gen_il-gen-gen_entities.adb: Add new flag.
+	* ghost.adb (Is_OK_Ghost_Context): Ghost predicate is an OK
+	ghost context.
+	(Mark_Ghost_Pragma): Add overloading with ghost mode parameter.
+	* ghost.ads (Mark_Ghost_Pragma): Add overloading with ghpst mode
+	parameter.
+	(Name_To_Ghost_Mode): Make function public.
+	* sem_aggr.adb: Issue error for violation of valid use.
+	* sem_case.adb: Issue error for violation of valid use.
+	* sem_ch13.adb: Adapt for new aspect.
+	* sem_ch3.adb (Analyze_Full_Type_Declaration): Remove dead code
+	which was trying to propagate Has_Predicates flag in the wrong
+	direction (from derived to parent type).
+	(Analyze_Number_Declaration): Issue error for violation of valid
+	use.
+	(Build_Derived_Type): Cleanup inheritance of predicate flags from
+	parent to derived type.
+	(Build_Predicate_Function): Only add a predicate check when it
+	is not ignored as Ghost code.
+	* sem_ch4.adb (Analyze_Membership_Op): Issue an error for use of
+	a subtype with a ghost predicate as name in a membership test.
+	* sem_ch5.adb (Check_Predicate_Use): Issue error for violation of
+	valid use.
+	* sem_eval.adb: Adapt code for Dynamic_Predicate to account for
+	Ghost_Predicate too.
+	* sem_prag.adb (Analyze_Pragma): Make pragma ghost or not.
+	* sem_util.adb (Bad_Predicated_Subtype_Use): Adapt to new aspect.
+	(Inherit_Predicate_Flags): Add inheritance of flag. Add parameter
+	to apply to derived types.
+	* sem_util.ads (Inherit_Predicate_Flags): Change signature.
+	* snames.ads-tmpl: Add new aspect name.
+	* gnat_rm.texi: Regenerate.
+
+2023-06-13  Piotr Trojanek  <trojanek@adacore.com>
+
+	* exp_ch3.adb (Make_Controlling_Function_Wrappers): Remove early
+	decoration.
+
 2023-05-30  Eric Botcazou  <ebotcazou@adacore.com>
 
 	* gcc-interface/trans.cc (get_storage_model_access): Also strip any
diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index 6ba50eb..10c4a59 100644
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,10 @@
+2023-06-13  David Malcolm  <dmalcolm@redhat.com>
+
+	PR c/84890
+	* known-headers.cc
+	(suggest_missing_header::~suggest_missing_header): Reword note to
+	avoid negative tone of "forgetting".
+
 2023-06-07  Jason Merrill  <jason@redhat.com>
 
 	PR c++/58487
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 8027cfa..863e31d 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,13 @@
+2023-06-13  David Malcolm  <dmalcolm@redhat.com>
+
+	PR c/84890
+	* name-lookup.cc (missing_std_header::~missing_std_header): Reword
+	note to avoid negative tone of "forgetting".
+
+2023-06-13  Jason Merrill  <jason@redhat.com>
+
+	* tree.cc (build_target_expr): Check TYPE_HAS_MUTABLE_P.
+
 2023-06-12  Tobias Burnus  <tobias@codesourcery.com>
 
 	* parser.cc (cp_parser_omp_clause_map): Reword error message for
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 859bd72..7c6474e 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,11 @@
+2023-06-13  Harald Anlauf  <anlauf@gmx.de>
+	    Mikael Morin  <mikael@gcc.gnu.org>
+
+	PR fortran/86277
+	* trans-array.cc (gfc_trans_allocate_array_storage): When passing a
+	zero-sized array with fixed (= non-dynamic) size, allocate temporary
+	by the caller, not by the callee.
+
 2023-06-10  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
 
 	* f95-lang.cc (gfc_init_builtin_functions): Add fmax() and
diff --git a/gcc/m2/ChangeLog b/gcc/m2/ChangeLog
index 8d16e1e..85ab4e6 100644
--- a/gcc/m2/ChangeLog
+++ b/gcc/m2/ChangeLog
@@ -1,3 +1,21 @@
+2023-06-13  Gaius Mulley  <gaiusmod2@gmail.com>
+
+	* Make-lang.in (check-format-error): New rule.
+	* gm2-compiler/M2MetaError.mod (op): Add calls InternalError if
+	digits are detected.
+	* gm2-compiler/M2Quads.mod (BuildForToByDo): Bugfix to format
+	specifier.
+	(BuildLengthFunction): Bugfix to format	specifiers.
+	(BuildOddFunction): Bugfix to format specifiers.
+	(BuildAbsFunction): Bugfix to format specifiers.
+	(BuildCapFunction): Bugfix to format specifiers.
+	(BuildChrFunction): Bugfix to format specifiers.
+	(BuildOrdFunction): Bugfix to format specifiers.
+	(BuildMakeAdrFunction): Bugfix to format specifiers.
+	(BuildSizeFunction): Bugfix to format specifiers.
+	(BuildBitSizeFunction): Bugfix to format specifiers.
+	* tools-src/checkmeta.py: New file.
+
 2023-06-12  Gaius Mulley  <gaiusmod2@gmail.com>
 
 	PR modula2/110189
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 6a53230..5a7ed4d 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,149 @@
+2023-06-13  David Malcolm  <dmalcolm@redhat.com>
+
+	PR c/84890
+	* g++.dg/cpp2a/srcloc3.C: Update expected message.
+	* g++.dg/lookup/missing-std-include-2.C: Likewise.
+	* g++.dg/lookup/missing-std-include-3.C: Likewise.
+	* g++.dg/lookup/missing-std-include-6.C: Likewise.
+	* g++.dg/lookup/missing-std-include.C: Likewise.
+	* g++.dg/spellcheck-inttypes.C: Likewise.
+	* g++.dg/spellcheck-stdint.C: Likewise.
+	* g++.dg/spellcheck-stdlib.C: Likewise.
+	* gcc.dg/spellcheck-inttypes.c: Likewise.
+	* gcc.dg/spellcheck-stdbool.c: Likewise.
+	* gcc.dg/spellcheck-stdint.c: Likewise.
+	* gcc.dg/spellcheck-stdlib.c: Likewise.
+
+2023-06-13  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
+
+	* gfortran.dg/data_array_7.f90: New test.
+
+2023-06-13  Harald Anlauf  <anlauf@gmx.de>
+	    Mikael Morin  <mikael@gcc.gnu.org>
+
+	PR fortran/86277
+	* gfortran.dg/zero_sized_14.f90: New test.
+	* gfortran.dg/zero_sized_15.f90: New test.
+
+2023-06-13  Juzhe-Zhong  <juzhe.zhong@rivai.ai>
+
+	* gcc.target/riscv/rvv/autovec/partial/slp-10.c: New test.
+	* gcc.target/riscv/rvv/autovec/partial/slp-11.c: New test.
+	* gcc.target/riscv/rvv/autovec/partial/slp-13.c: New test.
+	* gcc.target/riscv/rvv/autovec/partial/slp-14.c: New test.
+	* gcc.target/riscv/rvv/autovec/partial/slp-15.c: New test.
+	* gcc.target/riscv/rvv/autovec/partial/slp_run-10.c: New test.
+	* gcc.target/riscv/rvv/autovec/partial/slp_run-11.c: New test.
+	* gcc.target/riscv/rvv/autovec/partial/slp_run-13.c: New test.
+	* gcc.target/riscv/rvv/autovec/partial/slp_run-14.c: New test.
+	* gcc.target/riscv/rvv/autovec/partial/slp_run-15.c: New test.
+
+2023-06-13  Juzhe-Zhong  <juzhe.zhong@rivai.ai>
+
+	* gcc.target/riscv/rvv/autovec/partial/slp-12.c: New test.
+	* gcc.target/riscv/rvv/autovec/partial/slp_run-12.c: New test.
+
+2023-06-13  Jason Merrill  <jason@redhat.com>
+
+	* g++.dg/tree-ssa/initlist-opt6.C: New test.
+
+2023-06-13  Yanzhang Wang  <yanzhang.wang@intel.com>
+	    Kito Cheng  <kito.cheng@sifive.com>
+
+	* g++.target/riscv/rvv/base/pr109244.C: Add the -Wno-psabi.
+	* g++.target/riscv/rvv/base/pr109535.C: Same
+	* gcc.target/riscv/rvv/base/binop_vx_constraint-120.c: Same
+	* gcc.target/riscv/rvv/base/integer_compare_insn_shortcut.c: Same
+	* gcc.target/riscv/rvv/base/mask_insn_shortcut.c: Same
+	* gcc.target/riscv/rvv/base/misc_vreinterpret_vbool_vint.c: Same
+	* gcc.target/riscv/rvv/base/pr110109-2.c: Same
+	* gcc.target/riscv/rvv/base/scalar_move-9.c: Same
+	* gcc.target/riscv/rvv/base/spill-10.c: Same
+	* gcc.target/riscv/rvv/base/spill-11.c: Same
+	* gcc.target/riscv/rvv/base/spill-9.c: Same
+	* gcc.target/riscv/rvv/base/vlmul_ext-1.c: Same
+	* gcc.target/riscv/rvv/base/zero_base_load_store_optimization.c: Same
+	* gcc.target/riscv/rvv/base/zvfh-intrinsic.c: Same
+	* gcc.target/riscv/rvv/base/zvfh-over-zvfhmin.c: Same
+	* gcc.target/riscv/rvv/base/zvfhmin-intrinsic.c: Same
+	* gcc.target/riscv/rvv/vsetvl/vsetvl-1.c: Same
+	* gcc.target/riscv/vector-abi-1.c: New test.
+	* gcc.target/riscv/vector-abi-2.c: New test.
+	* gcc.target/riscv/vector-abi-3.c: New test.
+	* gcc.target/riscv/vector-abi-4.c: New test.
+	* gcc.target/riscv/vector-abi-5.c: New test.
+	* gcc.target/riscv/vector-abi-6.c: New test.
+
+2023-06-13  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>
+
+	* gcc.target/arm/mtp.c: New test.
+	* gcc.target/arm/mtp_1.c: New test.
+	* gcc.target/arm/mtp_2.c: New test.
+	* gcc.target/arm/mtp_3.c: New test.
+	* gcc.target/arm/mtp_4.c: New test.
+
+2023-06-13  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>
+
+	PR target/108779
+	* gcc.target/aarch64/mtp_5.c: New test.
+	* gcc.target/aarch64/mtp_6.c: New test.
+	* gcc.target/aarch64/mtp_7.c: New test.
+	* gcc.target/aarch64/mtp_8.c: New test.
+	* gcc.target/aarch64/mtp_9.c: New test.
+
+2023-06-13  Richard Biener  <rguenther@suse.de>
+
+	PR middle-end/110232
+	* gcc.target/i386/pr110232.c: New testcase.
+
+2023-06-13  Ajit Kumar Agarwal  <aagarwa1@linux.ibm.com>
+
+	PR testsuite/109880
+	* gcc.target/powerpc/fold-vec-extract-int.p8.c: Update test.
+
+2023-06-13  Kewen Lin  <linkw@linux.ibm.com>
+
+	PR testsuite/110230
+	PR target/109932
+	* gcc.target/powerpc/pr109932-1.c: Adjust with int128 effective target.
+	* gcc.target/powerpc/pr109932-2.c: Ditto.
+
+2023-06-13  Pan Li  <pan2.li@intel.com>
+
+	* gcc.target/riscv/rvv/autovec/vls-vlmax/full-vec-move1.c:
+	Adjust dg-do to comiple for asm checking.
+
+2023-06-13  Tejas Belagod  <tbelagod@arm.com>
+
+	PR target/96339
+	* gcc.target/aarch64/sve/acle/general-c/svlast.c: New.
+	* gcc.target/aarch64/sve/acle/general-c/svlast128_run.c: New.
+	* gcc.target/aarch64/sve/acle/general-c/svlast256_run.c: New.
+	* gcc.target/aarch64/sve/pcs/return_4.c (caller_bf16): Fix asm
+	to expect optimized code for function body.
+	* gcc.target/aarch64/sve/pcs/return_4_128.c (caller_bf16): Likewise.
+	* gcc.target/aarch64/sve/pcs/return_4_256.c (caller_bf16): Likewise.
+	* gcc.target/aarch64/sve/pcs/return_4_512.c (caller_bf16): Likewise.
+	* gcc.target/aarch64/sve/pcs/return_4_1024.c (caller_bf16): Likewise.
+	* gcc.target/aarch64/sve/pcs/return_4_2048.c (caller_bf16): Likewise.
+	* gcc.target/aarch64/sve/pcs/return_5.c (caller_bf16): Likewise.
+	* gcc.target/aarch64/sve/pcs/return_5_128.c (caller_bf16): Likewise.
+	* gcc.target/aarch64/sve/pcs/return_5_256.c (caller_bf16): Likewise.
+	* gcc.target/aarch64/sve/pcs/return_5_512.c (caller_bf16): Likewise.
+	* gcc.target/aarch64/sve/pcs/return_5_1024.c (caller_bf16): Likewise.
+	* gcc.target/aarch64/sve/pcs/return_5_2048.c (caller_bf16): Likewise.
+
+2023-06-13  Juzhe-Zhong  <juzhe.zhong@rivai.ai>
+
+	* gcc.target/riscv/rvv/autovec/vls-vlmax/full-vec-move1.c: New test.
+
+2023-06-13  Juzhe-Zhong  <juzhe.zhong@rivai.ai>
+
+	* gcc.target/riscv/rvv/autovec/partial/slp-8.c: New test.
+	* gcc.target/riscv/rvv/autovec/partial/slp-9.c: New test.
+	* gcc.target/riscv/rvv/autovec/partial/slp_run-8.c: New test.
+	* gcc.target/riscv/rvv/autovec/partial/slp_run-9.c: New test.
+
 2023-06-12  Gaius Mulley  <gaiusmod2@gmail.com>
 
 	PR modula2/110189