Daily bump.

5 files changed, 559 insertions, 1 deletions

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 3aa0ff0..022465a 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,88 @@
+2024-05-14  Dimitar Dimitrov  <dimitar@dinux.eu>
+
+	PR rtl-optimization/115013
+	* config/pru/pru.cc (pru_class_likely_spilled_p): Implement
+	to mark classes containing one SImode register as likely
+	spilled.
+	(TARGET_CLASS_LIKELY_SPILLED_P): Define.
+
+2024-05-14  Vineet Gupta  <vineetg@rivosinc.com>
+
+	* config/riscv/riscv.h: New macros to check for sum of two S12
+	range.
+	* config/riscv/constraints.md: New constraint.
+	* config/riscv/predicates.md: New Predicate.
+	* config/riscv/riscv.md: New splitter.
+	* config/riscv/riscv.cc (riscv_reg_frame_related): New helper.
+	* config/riscv/riscv-protos.h: New helper prototype.
+
+2024-05-14  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/99954
+	* tree-data-ref.cc (dr_may_alias_p): For bases that are
+	not completely analyzed fall back to TBAA and points-to.
+	* tree-loop-distribution.cc
+	(loop_distribution::classify_builtin_ldst): When there
+	is no dependence again classify as memcpy.
+	* tree-ssa-alias.cc (ptr_deref_may_alias_decl_p): Verify
+	the pointer is an SSA name.
+
+2024-05-14  Christoph Müllner  <christoph.muellner@vrull.eu>
+
+	* config/riscv/riscv-protos.h (riscv_expand_block_clear): New prototype.
+	* config/riscv/riscv-string.cc (riscv_expand_block_clear_zicboz_zic64b):
+	New function to expand a block-clear with cbo.zero.
+	(riscv_expand_block_clear): New RISC-V block-clear expansion function.
+	* config/riscv/riscv.md (setmem<mode>): New setmem expansion.
+
+2024-05-14  Christoph Müllner  <christoph.muellner@vrull.eu>
+
+	* expr.cc (clear_by_pieces): Remove static from clear_by_pieces.
+	* expr.h (clear_by_pieces): Add prototype for clear_by_pieces.
+
+2024-05-14  Tom de Vries  <tdevries@suse.de>
+
+	PR debug/115066
+	* dwarf2out.cc (output_macinfo_op): Fix DW_MACRO_define_strx/strp
+	choice for v4 .debug_macro.dwo.  Add asserts to check that choice.
+
+2024-05-14  Jan Hubicka  <jh@suse.cz>
+
+	PR ipa/113291
+	* ipa-inline.cc (enum can_inline_edge_by_limits_flags): New enum.
+	(can_inline_edge_by_limits_p): Take flags instead of multiple bools; add flag
+	for forcing inlinie limits.
+	(can_early_inline_edge_p): Update.
+	(want_inline_self_recursive_call_p): Update; use FORCE_LIMITS mode.
+	(check_callers): Update.
+	(update_caller_keys): Update.
+	(update_callee_keys): Update.
+	(recursive_inlining): Update.
+	(add_new_edges_to_heap): Update.
+	(speculation_useful_p): Update.
+	(inline_small_functions): Clear DECL_DISREGARD_INLINE_LIMITS on self recursion.
+	(flatten_function): Update.
+	(inline_to_all_callers_1): Update.
+
+2024-05-14  Haochen Gui  <guihaoc@gcc.gnu.org>
+
+	* config/rs6000/rs6000.cc (TARGET_OVERLAP_OP_BY_PIECES_P): Define.
+
+2024-05-14  Jeff Law  <jlaw@ventanamicro.com>
+
+	Revert:
+	2024-05-13  Sergei Lewis  <slewis@rivosinc.com>
+
+	* config/riscv/riscv.md (movmem<mode>): Use riscv_vector::expand_block_move,
+	if and only if we know the entire operation can be performed using one vector
+	load followed by one vector store
+
+2024-05-14  Pan Li  <pan2.li@intel.com>
+
+	* config/riscv/riscv-vector-builtins.cc
+	(validate_instance_type_required_extensions): Remove the
+	operator from the trailing and put it to new line.
+
 2024-05-13  Jeff Law  <jlaw@ventanamicro.com>
 
 	* config/riscv/bitmanip.md: Add new splitter for AND with
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 9c258c5..f67275a 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20240514
+20240515
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index da19ddd..2095166 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,407 @@
+2024-05-14  Piotr Trojanek  <trojanek@adacore.com>
+
+	* aspects.ads (Aspect_Id, Boolean_Aspect): Change categorization
+	of Boolean-valued SPARK aspects.
+	* sem_ch13.adb (Analyze_Aspect_Specification): Adapt CASE
+	statements to new classification of Boolean-valued SPARK
+	aspects.
+
+2024-05-14  Ronan Desplanques  <desplanques@adacore.com>
+
+	* sem_ch13.adb (Validate_Unchecked_Conversions): Add node
+	parameters to Error_Msg calls.
+
+2024-05-14  Marc Poulhiès  <poulhies@adacore.com>
+
+	* sem_util.adb: Typo fix in comment.
+	* exp_aggr.adb: Likewise.
+
+2024-05-14  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch7.adb (Finalization Management): Add a short description of
+	the implementation of finalization chains.
+
+2024-05-14  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch4.adb (Expand_Allocator_Expression): Move the first call to
+	Build_Allocate_Deallocate_Proc up to before the accessibility check.
+
+2024-05-14  Ronan Desplanques  <desplanques@adacore.com>
+
+	* errout.adb (Validate_Specific_Warnings): Adapt to record
+	definition change.
+	* erroutc.adb (Set_Specific_Warning_On, Set_Specific_Warning_Off,
+	Warning_Specifically_Suppressed): Likewise.
+	* erroutc.ads: Change record definition.
+
+2024-05-14  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch3.adb (Build_Default_Initialization): Do not generate the
+	protection for finalization collections.
+	(Build_Heap_Or_Pool_Allocator): Set the No_Initialization flag on
+	the declaration of the temporary.
+	* exp_ch4.adb (Build_Aggregate_In_Place): Do not build an allocation
+	procedure here.
+	(Expand_Allocator_Expression): Build an allocation procedure, if it
+	is required, only just before rewriting the allocator.
+	(Expand_N_Allocator): Do not build an allocation procedure if the
+	No_Initialization flag is set on the allocator, except for those
+	generated for special return objects.  In other cases, build an
+	allocation procedure, if it is required, only before rewriting
+	the allocator.
+	* exp_ch7.ads (Make_Address_For_Finalize): New function declaration.
+	* exp_ch7.adb (Finalization Management): Update description for
+	dynamically allocated objects.
+	(Make_Address_For_Finalize): Remove declaration.
+	(Find_Last_Init): Change to function and move to...
+	(Process_Object_Declaration): Adjust to above change.
+	* exp_util.ads (Build_Allocate_Deallocate_Proc): Add Mark parameter
+	with Empty default and document it.
+	(Find_Last_Init): New function declaration.
+	* exp_util.adb (Build_Allocate_Deallocate_Proc): Add Mark parameter
+	with Empty default and pass it in recursive call.  Deal with type
+	conversions created for interface types.  Adjust call sequence to
+	Allocate_Any_Controlled by changing Collection to In/Out parameter
+	and removing Finalize_Address parameter.  For a controlled object,
+	generate a conditional call to Attach_Object_To_Collection for an
+	allocation and to Detach_Object_From_Collection for a deallocation.
+	(Find_Last_Init): ...here.  Compute the initialization type for an
+	allocator whose designating type is class wide specifically and also
+	handle concurrent types.
+	* rtsfind.ads (RE_Id): Add RE_Attach_Object_To_Collection and
+	RE_Detach_Object_From_Collection.
+	(RE_Unit_Table): Add entries for RE_Attach_Object_To_Collection and
+	RE_Detach_Object_From_Collection.
+	* libgnat/s-finpri.ads (Finalization_Started): Delete.
+	(Attach_Node_To_Collection): Likewise.
+	(Detach_Node_From_Collection): Move to...
+	(Attach_Object_To_Collection): New procedure declaration.
+	(Detach_Object_From_Collection): Likewise.
+	(Finalization_Collection): Remove Atomic for Finalization_Started.
+	Add pragma Inline for Initialize.
+	* libgnat/s-finpri.adb: Add clause for Ada.Unchecked_Conversion.
+	(To_Collection_Node_Ptr): New instance of Ada.Unchecked_Conversion.
+	(Detach_Node_From_Collection): ...here.
+	(Attach_Object_To_Collection): New procedure.
+	(Detach_Object_From_Collection): Likewise.
+	(Finalization_Started): Delete.
+	(Finalize): Replace allocation with attachment in comments.
+	* libgnat/s-stposu.ads (Allocate_Any_Controlled): Rename parameter
+	Context_Subpool into Named_Subpool, parameter Context_Collection
+	into Collection and change it to In/Out, and remove Fin_Address.
+	* libgnat/s-stposu.adb: Remove clause for Ada.Unchecked_Conversion
+	and Finalization_Primitives.
+	(To_Collection_Node_Ptr): Delete.
+	(Allocate_Any_Controlled): Rename parameter Context_Subpool into
+	Named_Subpool, parameter Context_Collection into Collection and
+	change it to In/Out, and remove Fin_Address.  Do not lock/unlock
+	and do not attach the object, instead only displace its address.
+	(Deallocate_Any_Controlled): Do not lock/unlock and do not detach
+	the object.
+	(Header_Size_With_Padding): Use qualified name for Header_Size.
+
+2024-05-14  Steve Baird  <baird@adacore.com>
+
+	* exp_attr.adb (Build_And_Insert_Type_Attr_Subp): If a subprogram
+	associated with a (library-level) type declared in another unit is
+	to be inserted somewhere in a list, then insert it at the head of
+	the list.
+	* sem_ch5.adb (Analyze_Assignment): Normally a limited-type
+	assignment is illegal. Relax this rule if Comes_From_Source is
+	False and the type is not immutably limited.
+
+2024-05-14  Ronan Desplanques  <desplanques@adacore.com>
+
+	* errout.ads (Error_Msg): Add node parameter.
+	* errout.adb (Error_Msg): Add parameter and pass it to
+	the underlying call.
+	* sem_prag.adb (Validate_Compile_Time_Warning_Or_Error): Pass
+	pragma node when emitting errors.
+
+2024-05-14  Ronan Desplanques  <desplanques@adacore.com>
+
+	* styleg.ads (Check_Xtra_Parens_Precedence): Moved ...
+	* style.ads (Check_Xtra_Parens_Precedence): ... here. Also
+	replace corresponding renaming.
+	* styleg.adb (Check_Xtra_Parens_Precedence): Moved ...
+	* style.adb (Check_Xtra_Parens_Precedence): here. Also use
+	Errout.Error_Msg and pass it a node parameter.
+
+2024-05-14  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_aggr.ads (Convert_Aggr_In_Allocator): Rename Alloc into N,
+	replace Decl with Temp and adjust description.
+	(Convert_Aggr_In_Object_Decl): Alphabetize.
+	(Is_Delayed_Aggregate): Likewise.
+	* exp_aggr.adb (Convert_Aggr_In_Allocator): Rename Alloc into N
+	and replace Decl with Temp.  Allocate a list only when neeeded.
+	(Convert_Array_Aggr_In_Allocator): Replace N with Decl and insert
+	new code before it.
+	* exp_ch4.adb (Build_Aggregate_In_Place): New procedure nested in
+	Expand_Allocator_Expression.
+	(Expand_Allocator_Expression): Call it to build aggregates in place.
+	Remove second parameter in calls to Build_Allocate_Deallocate_Proc.
+	(Expand_N_Allocator): Likewise.
+	* exp_ch13.adb (Expand_N_Free_Statement): Likewise.
+	* exp_util.ads (Build_Allocate_Deallocate_Proc): Remove Is_Allocate
+	parameter.
+	* exp_util.adb (Build_Allocate_Deallocate_Proc): Remove Is_Allocate
+	parameter and replace it with local variable of same name.  Delete
+	useless pattern matching.
+
+2024-05-14  Ronan Desplanques  <desplanques@adacore.com>
+
+	* usage.adb (Usage): Fix enabled-by-default indicators.
+
+2024-05-14  Philippe Gil  <gil@adacore.com>
+
+	* libgnat/s-win32.ads (LocalFileTimeToFileTime): Swap parameters.
+
+2024-05-14  Ronan Desplanques  <desplanques@adacore.com>
+
+	* restrict.adb (Violation_Of_No_Dependence): Tweak error
+	reporting calls.
+
+2024-05-14  Ronan Desplanques  <desplanques@adacore.com>
+
+	* sem_prag.adb (Analyze_Pragma): Adapt call to new signature.
+	* erroutc.ads (Set_Specific_Warning_Off): change signature
+	and update documentation.
+	(Validate_Specific_Warnings): Move ...
+	* errout.adb: ... here and change signature. Also move body
+	of Validate_Specific_Warnings from erroutc.adb.
+	(Finalize): Adapt call.
+	* errout.ads (Set_Specific_Warning_Off): Adapt signature of
+	renaming.
+	* erroutc.adb (Set_Specific_Warning_Off): Adapt signature and
+	body.
+	(Validate_Specific_Warnings): Move to the body of Errout.
+	(Warning_Specifically_Suppressed): Adapt body.
+
+2024-05-14  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_aggr.adb (Build_Array_Aggr_Code): Pass N in the call to
+	Build_Initialization_Call.
+	(Build_Record_Aggr_Code): Likewise.
+	(Convert_Aggr_In_Object_Decl): Likewise.
+	(Initialize_Discriminants): Likewise.
+	* exp_ch3.ads (Build_Initialization_Call): Replace Loc witn N.
+	* exp_ch3.adb (Build_Array_Init_Proc): Pass N in the call to
+	Build_Initialization_Call.
+	(Build_Default_Initialization): Likewise.
+	(Expand_N_Object_Declaration): Likewise.
+	(Build_Initialization_Call): Replace Loc witn N parameter and add
+	Loc local variable.  Build a default subtype for an allocator of
+	a discriminated type with defaulted discriminants.
+	(Build_Record_Init_Proc): Pass the declaration of components in the
+	call to Build_Initialization_Call.
+	* exp_ch6.adb (Make_CPP_Constructor_Call_In_Allocator): Pass the
+	allocator in the call to Build_Initialization_Call.
+
+2024-05-14  Ronan Desplanques  <desplanques@adacore.com>
+
+	* sem_warn.adb (Warn_On_Overlapping_Actuals): Fix typo.
+
+2024-05-14  Gary Dismukes  <dismukes@adacore.com>
+
+	* exp_util.adb (Find_Hook_Context): Exclude N_*Aggregate Nkinds
+	of Parent (Par) from the early return in the second loop of the
+	In_Cond_Expr case, to prevent returning an aggregate from this
+	function rather than the enclosing declaration or statement.
+
+2024-05-14  Steve Baird  <baird@adacore.com>
+
+	* exp_attr.adb: Replace 6 "not Present" tests with equivalent calls to "No".
+
+2024-05-14  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch3.adb (Expand_N_Object_Declaration): Examine the Expression
+	field after the call to Default_Initialize_Object in order to set
+	Is_Known_Null, as well as Is_Known_Non_Null, on an access object.
+
+2024-05-14  Steve Baird  <baird@adacore.com>
+
+	* exp_attr.adb: Change name of package Cached_Streaming_Ops to
+	reflect the fact that it is now also used for Put_Image
+	procedures. Similarly change other "Streaming_Op" names therein.
+	Add Validate_Cached_Candidate procedure to detect case where a
+	subprogram found in the cache cannot be reused. Add new generic
+	procedure Build_And_Insert_Type_Attr_Subp; the "Build" part is
+	handled by just calling a formal procedure; the bulk of this
+	(generic) procedure's code has to with deciding where in the tree
+	to insert the newly-constructed subprogram. Replace each later
+	"Build" call (and the following Insert_Action or
+	Compile_Stream_Body_In_Scope call) with a declare block that
+	instantiates and then calls this generic procedure. Delete the
+	now-unused procedure Compile_Stream_Body_In_Scope. A constructed
+	subprogram is entered in the appropriate cache if the
+	corresponding type is untagged; this replaces more complex tests.
+	A new function Interunit_Ref_OK is added to determine whether an
+	attribute reference occuring in one unit can safely refer to a
+	cached subprogram declared in another unit.
+	* exp_ch3.adb (Build_Predefined_Primitive_Bodies): A formal
+	parameter was deleted, so delete the corresponding actual in a
+	call.
+	* exp_put_image.adb (Build_Array_Put_Image_Procedure): Because the
+	procedure being built may be referenced more than once, the
+	generated procedure takes its source position info from the type
+	declaration instead of the (first) attribute reference.
+	(Build_Record_Put_Image_Procedure): Likewise.
+	* exp_put_image.ads (Build_Array_Put_Image_Procedure): Eliminate
+	now-unused Nod parameter.
+	(Build_Record_Put_Image_Procedure): Eliminate now-unused Loc parameter.
+	* sem_ch3.adb (Constrain_Discriminated_Type): For declaring a
+	subtype with a discriminant constraint, ignore privacy if
+	Comes_From_Source is false (as is already done if Is_Instance is
+	true).
+	* sem_res.adb (Resolve): When passed two type entities that have
+	the same underlying base type, Sem_Type.Covers may return False in
+	some cases because of privacy. [This can happen even if
+	Is_Private_Type returns False both for Etype (N) and for Typ;
+	Covers calls Base_Type, which can take a non-private argument and
+	yield a private result.] If Comes_From_Source (N) is False
+	(e.g., for a compiler-generated Put_Image or streaming subprogram), then
+	avoid that scenario by not calling Covers. Covers already has tests for
+	doing this sort of thing (see the calls therein to Full_View_Covers),
+	but the Comes_From_Source test is too coarse to apply there. So instead
+	we handle the problem here at the call site.
+	(Original_Implementation_Base_Type): A new function. Same as
+	Implementation_Base_Type except if the Original_Node attribute of
+	a non-derived type declaration indicates that it once was a derived
+	type declaration. Needed for looking through privacy.
+	(Valid Conversion): Ignore privacy when converting between different views
+	of the same type if Comes_From_Source is False for the conversion.
+	(Valid_Tagged_Conversion): An ancestor-to-descendant conversion is not an
+	illegal downward conversion if there is no type extension involved
+	(because the derivation was from an untagged view of the parent type).
+
+2024-05-14  Steve Baird  <baird@adacore.com>
+
+	* sem_ch5.adb (Analyze_Case_Statement): Emit a message and return
+	early in the case where general case statements are allowed but
+	the selector expression is of a private type. This is done to
+	avoid a bugbox.
+
+2024-05-14  Justin Squirek  <squirek@adacore.com>
+
+	* sem_util.adb (Set_Referenced_Modified): Use Original_Node to
+	avoid recursive calls on expanded / internal objects such that
+	source nodes get appropriately marked as referenced.
+
+2024-05-14  Ronan Desplanques  <desplanques@adacore.com>
+
+	* sem_warn.adb (Warn_On_Overlapping_Actuals): Stop ignoring
+	warning suppression settings.
+
+2024-05-14  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_util.adb (Build_Allocate_Deallocate_Proc): Pass the alignment
+	parameter in the inner call for a secondary stack allocation too.
+
+2024-05-14  Javier Miranda  <miranda@adacore.com>
+
+	* sem_ch10.adb (Install_Inherited_Policy_Pragmas): New subprogram.
+	(Remove_Inherited_Policy_Pragmas): New subprogram.
+	(Analyze_Compilation_Unit): Call the new subprograms to
+	install and remove inherited assertion policy pragmas.
+
+2024-05-14  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch4.adb (Expand_N_If_Expression): Set No_Initialization on the
+	declaration of the temporary in the by-reference case.
+	* exp_util.adb (Initialized_By_Access): Delete.
+	(Is_Allocated): Likewise.
+	(Initialized_By_Reference): New predicate.
+	(Is_Finalizable_Transient): If the transient object is of an access
+	type, do not return true unless it is initialized by a reference.
+
+2024-05-14  Steve Baird  <baird@adacore.com>
+
+	* exp_attr.adb:	Move computation of Accum_Typ entirely into the
+	function Build_Stat.
+
+2024-05-14  Steve Baird  <baird@adacore.com>
+
+	* sem_ch12.ads: Declare new Instance_Context package, which
+	declares a private type Context with operations Save_And_Reset and
+	Restore.
+	* sem_ch12.adb: Provide body for new Instance_Context package.
+	* rtsfind.adb (Load_RTU): Wrap an Instance_Context Save/Restore
+	call pair around the call to Semantics.
+	* table.ads: Add initial value for Last_Val (because
+	Save_And_Reset expects Last_Val to be initialized).
+
+2024-05-14  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_aggr.adb (Build_Record_Aggr_Code): Replace reference to
+	Build_Task_Allocate_Block_With_Init_Stmts in comment with reference
+	to Build_Task_Allocate_Block.
+	(Convert_Aggr_In_Allocator): Likewise for the call in the code.
+	* exp_ch6.adb (Make_Build_In_Place_Call_In_Allocator): Likewise.
+	* exp_ch3.ads: Alphabetize clauses.
+	(Build_Default_Initialization): New function declaration.
+	(Build_Default_Simple_Initialization): Likewise.
+	(Build_Initialization_Call): Add Target_Ref parameter with default.
+	* exp_ch3.adb (Build_Default_Initialization): New function extracted
+	from...
+	(Build_Default_Simple_Initialization): Likewise.
+	(Build_Initialization_Call): Add Target_Ref parameter with default.
+	(Expand_N_Object_Declaration): ...here.
+	(Default_Initialize_Object): Call Build_Default_Initialization and
+	Build_Default_Simple_Initialization.
+	* exp_ch4.adb (Expand_Allocator_Expression): Minor comment tweaks.
+	(Expand_N_Allocator): Call Build_Default_Initialization and
+	Build_Default_Simple_Initialization to implement the default
+	initialization of the allocated object.
+	* exp_ch9.ads (Build_Task_Allocate_Block): Delete.
+	(Build_Task_Allocate_Block_With_Init_Stmts): Rename into...
+	(Build_Task_Allocate_Block): ...this.
+	* exp_ch9.adb: Remove clauses for Exp_Tss.
+	(Build_Task_Allocate_Block): Delete.
+	(Build_Task_Allocate_Block_With_Init_Stmts): Rename into...
+	(Build_Task_Allocate_Block): ...this.
+	* exp_util.adb (Build_Allocate_Deallocate_Proc): Remove unnecessary
+	initialization expression, adjust commentary and replace early exit
+	with assertion.
+	* sem_ch4.adb (Analyze_Allocator): In the null-exclusion case, call
+	Apply_Compile_Time_Constraint_Error to insert the raise.
+
+2024-05-14  Ronan Desplanques  <desplanques@adacore.com>
+
+	* styleg.ads (Check_Boolean_Operator): Moved ...
+	* style.ads (Check_Boolean_Operator): ... here.
+	* styleg.adb (Check_Boolean_Operator): Moved ...
+	* style.adb (Check_Boolean_Operator): ... here. Also add node
+	parameter to call to Errout.Error_Msg.
+
+2024-05-14  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sprint.adb (Sprint_Node_Actual) <N_Raise_Statement>: Be prepared
+	for an empty Name.
+	<N_Raise_When_Statement>: Likewise.
+
+2024-05-14  Yannick Moy  <moy@adacore.com>
+
+	* contracts.adb: Fix references to SPARK RM rules.
+	* freeze.adb: Same.
+	* ghost.adb: Fix references to SPARK RM rules.
+	(Check_Ghost_Context): Update checking of references to
+	ghost entities in assertion expressions.
+	* sem_ch6.adb: Fix references to SPARK RM rules.
+	* sem_prag.adb: Same.
+
+2024-05-14  Yannick Moy  <moy@adacore.com>
+
+	* ghost.adb (Mark_And_Set_Ghost_Instantiation): Fix the current
+	Ghost policy for the instantiation.
+
+2024-05-14  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch3.adb (Default_Initialize_Object): Return immediately when
+	either Has_Init_Expression or No_Initialization is set on the node.
+	Tidy up the rest of the code accordingly.
+	(Simple_Initialization_OK): Do not test Has_Init_Expression here.
+
 2024-05-13  Eric Botcazou  <ebotcazou@adacore.com>
 
 	* accessibility.adb: Remove clauses for Exp_Ch3.
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index ae7b60c..620cca4 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,14 @@
+2024-05-14  Simon Martin  <simon-l.martin@laposte.net>
+
+	PR c++/105760
+	* pt.cc (build_deduction_guide): Check for error_mark_node
+	result from tsubst_arg_types.
+
+2024-05-14  Jason Merrill  <jason@redhat.com>
+
+	* decl.cc (wrap_cleanups_r): Clarify comment.
+	* init.cc (build_vec_init): Update comment.
+
 2024-05-13  Patrick Palka  <ppalka@redhat.com>
 
 	* constraint.cc (norm_info::norm_info): Take a bool instead of
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index b1a2b72..0a35342 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,61 @@
+2024-05-14  Simon Martin  <simon-l.martin@laposte.net>
+
+	PR c++/105760
+	* g++.dg/parse/error66.C: New test.
+
+2024-05-14  Vineet Gupta  <vineetg@rivosinc.com>
+
+	* gcc.target/riscv/sum-of-two-s12-const-1.c: New test: checks
+	for new patterns output.
+	* gcc.target/riscv/sum-of-two-s12-const-2.c: Ditto.
+	* gcc.target/riscv/sum-of-two-s12-const-3.c: New test: should not
+	ICE.
+
+2024-05-14  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/99954
+	* gcc.dg/tree-ssa/ldist-40.c: New testcase.
+
+2024-05-14  Christoph Müllner  <christoph.muellner@vrull.eu>
+
+	* gcc.target/riscv/cmo-zicboz-zic64-1.c: New file.
+
+2024-05-14  Christoph Müllner  <christoph.muellner@vrull.eu>
+
+	* gcc.target/riscv/cmo-zicbom-1.c: Add \t to test pattern.
+	* gcc.target/riscv/cmo-zicbom-2.c: Likewise.
+	* gcc.target/riscv/cmo-zicbop-1.c: Likewise.
+	* gcc.target/riscv/cmo-zicbop-2.c: Likewise.
+	* gcc.target/riscv/cmo-zicboz-1.c: Likewise.
+	* gcc.target/riscv/cmo-zicboz-2.c: Likewise.
+
+2024-05-14  Tom de Vries  <tdevries@suse.de>
+
+	* gcc.dg/pr115066.c: Don't match comment marker.
+
+2024-05-14  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
+
+	PR analyzer/107750
+	* gcc.dg/analyzer/fd-glibc-byte-stream-connection-server.c:
+	Include <string.h>.
+
+2024-05-14  Tom de Vries  <tdevries@suse.de>
+
+	PR debug/115066
+	* gcc.dg/pr115066.c: New test.
+
+2024-05-14  Haochen Gui  <guihaoc@gcc.gnu.org>
+
+	* gcc.target/powerpc/block-cmp-9.c: New.
+
+2024-05-14  Jeff Law  <jlaw@ventanamicro.com>
+
+	Revert:
+	2024-05-14  Sergei Lewis  <slewis@rivosinc.com>
+
+	PR target/112109
+	* gcc.target/riscv/rvv/base/movmem-1.c: New test
+
 2024-05-13  Jeff Law  <jlaw@ventanamicro.com>
 
 	* gcc.target/riscv/zba_zbs_and-1.c: New test.