[gcc r14-1361] Daily bump.

[gcc r14-1361] Daily bump.

[GCC Administrator]

https://gcc.gnu.org/g:b4c15a140c3d50384a6882675c6c5ca9121d6c3a

commit r14-1361-gb4c15a140c3d50384a6882675c6c5ca9121d6c3a
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Mon May 29 11:15:05 2023 +0000

    Daily bump.

Diff:
---
 ChangeLog               |   4 +
 gcc/ChangeLog           |  74 +++++++++++++
 gcc/DATESTAMP           |   2 +-
 gcc/ada/ChangeLog       | 286 ++++++++++++++++++++++++++++++++++++++++++++++++
 gcc/testsuite/ChangeLog |  43 ++++++++
 5 files changed, 408 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 76461af6e30..19e33ca0f80 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2023-05-29  Martin Jambor  <mjambor@suse.cz>
+
+	* MAINTAINERS: Replace spaces with tabs.
+
 2023-05-27  Benjamin Priour  <vultkayn@gcc.gnu.org>
 
 	* MAINTAINERS: New entry.
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b69a3a7145f..a7ca6d91239 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,77 @@
+2023-05-29  Pan Li  <pan2.li@intel.com>
+
+	* config/riscv/riscv-v.cc (emit_vlmax_insn): Eliminate the
+	magic number.
+	(emit_nonvlmax_insn): Ditto.
+	(emit_vlmax_merge_insn): Ditto.
+	(emit_vlmax_cmp_insn): Ditto.
+	(emit_vlmax_cmp_mu_insn): Ditto.
+	(expand_vec_series): Ditto.
+
+2023-05-29  Pan Li  <pan2.li@intel.com>
+
+	* config/riscv/riscv-protos.h (enum insn_type): New type.
+	* config/riscv/riscv-v.cc (RVV_INSN_OPERANDS_MAX): New macro.
+	(rvv_builder::can_duplicate_repeating_sequence_p): Align the referenced
+	class member.
+	(rvv_builder::get_merged_repeating_sequence): Ditto.
+	(rvv_builder::repeating_sequence_use_merge_profitable_p): New function
+	to evaluate the optimization cost.
+	(rvv_builder::get_merge_scalar_mask): New function to get the merge
+	mask.
+	(emit_scalar_move_insn): New function to emit vmv.s.x.
+	(emit_vlmax_integer_move_insn): New function to emit vlmax vmv.v.x.
+	(emit_nonvlmax_integer_move_insn): New function to emit nonvlmax
+	vmv.v.x.
+	(get_repeating_sequence_dup_machine_mode): New function to get the dup
+	machine mode.
+	(expand_vector_init_merge_repeating_sequence): New function to perform
+	the optimization.
+	(expand_vec_init): Add this vector init optimization.
+	* config/riscv/riscv.h (BITS_PER_WORD): New macro.
+
+2023-05-29  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* tree-ssa-loop-manip.cc (create_iv): Try harder to find a SLOC to
+	put onto the increment when it is inserted after the position.
+
+2023-05-29  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* match.pd ((T)P - (T)(P + A) -> -(T) A): Avoid artificial overflow
+	on constants.
+
+2023-05-29  Juzhe-Zhong  <juzhe.zhong@rivai.ai>
+
+	* config/riscv/riscv-vsetvl.cc (source_equal_p): Fix ICE.
+
+2023-05-29  Juzhe-Zhong  <juzhe.zhong@rivai.ai>
+
+	* config/riscv/autovec.md (fma<mode>4): New pattern.
+	(*fma<mode>): Ditto.
+	* config/riscv/riscv-protos.h (enum insn_type): New enum.
+	(emit_vlmax_ternary_insn): New function.
+	* config/riscv/riscv-v.cc (emit_vlmax_ternary_insn): Ditto.
+
+2023-05-29  Juzhe-Zhong  <juzhe.zhong@rivai.ai>
+
+	* config/riscv/vector.md: Fix vimuladd instruction bug.
+
+2023-05-29  Juzhe-Zhong  <juzhe.zhong@rivai.ai>
+
+	* config/riscv/riscv.cc (global_state_unknown_p): New function.
+	(riscv_mode_after): Fix incorrect VXM.
+
+2023-05-29  Pan Li  <pan2.li@intel.com>
+
+	* common/config/riscv/riscv-common.cc:
+	(riscv_implied_info): Add zvfhmin item.
+	(riscv_ext_version_table): Ditto.
+	(riscv_ext_flag_table): Ditto.
+	* config/riscv/riscv-opts.h (MASK_ZVFHMIN): New macro.
+	(TARGET_ZFHMIN): Align indent.
+	(TARGET_ZFH): Ditto.
+	(TARGET_ZVFHMIN): New macro.
+
 2023-05-27  liuhongt  <hongtao.liu@intel.com>
 
 	PR target/100711
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 4f495f3bb8a..5f5439b6a42 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20230528
+20230529
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 557329ddc4d..eab8f0082e1 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,289 @@
+2023-05-29  Cedric Landet  <landet@adacore.com>
+
+	* s-oscons-tmplt.c: move the definition of sigset out of the
+	HAVE_SOCKETS bloc.
+
+2023-05-29  Cedric Landet  <landet@adacore.com>
+
+	* Makefile.rtl: Move g-spogwa$(objext) from GNATRTL_NONTASKING_OBJS
+	to GNATRTL_SOCKETS_OBJS
+
+2023-05-29  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* freeze.adb (Wrap_Imported_Subprogram): Use Copy_Subprogram_Spec in
+	both cases to copy the spec of the subprogram.
+
+2023-05-29  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch7.adb (Establish_Transient_Scope.Find_Transient_Context):
+	Bail out for a simple return statement only if the transient scope
+	and the function both require secondary stack management, or else
+	if the function is a thunk.
+	* sem_res.adb (Resolve_Call): Do not create a transient scope when
+	the call is the expression of a simple return statement.
+
+2023-05-29  Patrick Bernardi  <bernardi@adacore.com>
+
+	* libgnat/a-excach.adb (Call_Chain): Replace
+	Code_Address_For_AAA/ZZZ functions with AAA/ZZZ'Code_Address.
+	* libgnat/a-except.adb (Code_Address_For_AAA/ZZZ): Delete.
+	(AAA/ZZZ): New null procedures.
+	* libgnat/g-debpoo.adb
+	(Code_Address_For_Allocate_End): Delete.
+	(Code_Address_For_Deallocate_End): Delete.
+	(Code_Address_For_Dereference_End): Delete.
+	(Allocate): Remove label and use Code_Address attribute to
+	determine subprogram addresses.
+	(Dellocate): Likewise.
+	(Dereference): Likewise.
+	(Allocate_End): Convert to null procedure.
+	(Dellocate_End): Likewise.
+	(Dereference_End): Likewise.
+
+2023-05-29  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch6.adb (Expand_Simple_Function_Return): Call Insert_Actions
+	consistently when rewriting the expression.
+
+2023-05-29  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_util.adb (Is_Finalizable_Transient.Is_Indexed_Container):
+	New predicate to detect a temporary created to hold the result of
+	a constant indexing on a container.
+	(Is_Finalizable_Transient.Is_Iterated_Container): Adjust a couple
+	of obsolete comments.
+	(Is_Finalizable_Transient): Return False if Is_Indexed_Container
+	returns True on the object.
+
+2023-05-29  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_res.adb (Has_Applicable_User_Defined_Literal): Make it clear
+	that the predicate also checks the node itself.
+	(Try_User_Defined_Literal): Move current implementation to...
+	Deal only with literals, named numbers and conditional expressions
+	whose dependent expressions are literals or named numbers.
+	(Try_User_Defined_Literal_For_Operator): ...this.  Remove multiple
+	return False statements and put a single one at the end.
+	(Resolve): Call Try_User_Defined_Literal instead of directly
+	Has_Applicable_User_Defined_Literal for all nodes.  Call
+	Try_User_Defined_Literal_For_Operator for operator nodes.
+
+2023-05-29  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_res.adb (Invoked_With_Different_Arguments): Use Get_Called_Entity,
+	which properly deals with calls via an access-to-subprogram; fix
+	inconsistent use of a Call object declared in enclosing subprogram.
+
+2023-05-29  Piotr Trojanek  <trojanek@adacore.com>
+
+	* contracts.adb
+	(Add_Pre_Post_Condition): Attach pre/post aspects to E_Subprogram_Type
+	entity.
+	(Analyze_Entry_Or_Subprogram_Contract): Adapt to use full type
+	declaration for a contract attached to E_Subprogram_Type entity.
+	* sem_prag.adb
+	(Analyze_Pre_Post_Condition): Add pre/post aspects to the designed type.
+
+2023-05-29  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_util.adb (Check_Function_Writable_Actuals): Remove guard against
+	a membership test with no alternatives; simplify with a membership test.
+
+2023-05-29  Piotr Trojanek  <trojanek@adacore.com>
+
+	* doc/gnat_ugn/gnat_and_program_execution.rst
+	(Some Useful Memory Pools): Remove extra whitespace from examples.
+	* sem_aggr.adb (Make_String_Into_Aggregate): Remove extra whitespace.
+	* gnat_ugn.texi: Regenerate.
+
+2023-05-29  Piotr Trojanek  <trojanek@adacore.com>
+
+	* exp_aggr.adb (Convert_Aggr_In_Allocator): Replace Get_TSS_Name
+	with a high-level Is_TSS.
+	* sem_ch6.adb (Check_Conformance): Replace DECLARE block and
+	nested IF with a call to Get_TSS_Name and a membership test.
+	(Has_Reliable_Extra_Formals): Refactor repeated calls to
+	Get_TSS_Name.
+	* sem_disp.adb (Check_Dispatching_Operation): Replace repeated
+	calls to Get_TSS_Name with a membership test.
+
+2023-05-29  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch5.adb (Expand_N_Case_Statement): Do not remove the statement
+	if it is the node to be wrapped by a transient scope.
+
+2023-05-29  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_prag.adb (Process_Compile_Time_Warning_Or_Error): Do not defer
+	anything to the back-end when the main unit is generic.
+
+2023-05-29  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_res.adb (Try_User_Defined_Literal): Restrict previous change
+	to non-leaf nodes.
+
+2023-05-29  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_res.adb (Try_User_Defined_Literal): For arithmetic operators,
+	also accept operands whose type is covered by the resolution type.
+
+2023-05-29  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_aggr.adb (Initialize_Array_Component): Fix condition detecting
+	the nested case that requires an adjustment.
+
+2023-05-29  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch4.adb (Expand_N_In): Deal specifically with a null operand.
+
+2023-05-29  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch6.adb (Expand_Simple_Function_Return): Deal with a rewriting
+	of the simple return during the adjustment of its expression.
+
+2023-05-29  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch4.adb (Expand_N_Case_Expression): Distribute simple return
+	statements enclosing the conditional expression into the dependent
+	expressions in almost all cases.
+	(Expand_N_If_Expression): Likewise.
+	(Process_Transient_In_Expression): Adjust to the above distribution.
+	* exp_ch6.adb (Expand_Ctrl_Function_Call): Deal with calls in the
+	dependent expressions of a conditional expression.
+	* sem_ch6.adb (Analyze_Function_Return): Deal with the rewriting of
+	a simple return statement during the resolution of its expression.
+
+2023-05-29  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_res.adb (Resolve_Entity_Name): Refine rules for Exceptional_Cases.
+
+2023-05-29  Marc Poulhiès  <poulhies@adacore.com>
+
+	* exp_aggr.adb (Convert_To_Assignments): Do not mark node for
+	delayed expansion if parent type has the Aggregate aspect.
+	* sem_util.adb (Is_Container_Aggregate): Move...
+	* sem_util.ads (Is_Container_Aggregate): ... here and make it
+	public.
+
+2023-05-29  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_res.adb (Resolve_Entity_Name): Relax rules for Exceptional_Cases.
+
+2023-05-29  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_ch4.ads (Unresolved_Operator): New procedure.
+	* sem_ch4.adb (Has_Possible_Literal_Aspects): Rename into...
+	(Has_Possible_User_Defined_Literal): ...this.  Tidy up.
+	(Operator_Check): Accept again unresolved operators if they have a
+	possible user-defined literal as operand.  Factor out the handling
+	of the general error message into...
+	(Unresolved_Operator): ...this new procedure.
+	* sem_res.adb (Resolve): Be prepared for unresolved operators on
+	entry in Ada 2022 or later.  If they are still unresolved on exit,
+	call Unresolved_Operator to give the error message.
+	(Try_User_Defined_Literal): Tidy up.
+
+2023-05-29  Steve Baird  <baird@adacore.com>
+
+	* exp_ch3.adb
+	(Expand_N_Object_Declaration.Default_Initialize_Object): Add test for
+	specified Default_Component_Value aspect when deciding whether
+	either Initialize_Scalars or Normalize_Scalars impacts default
+	initialization of an array object.
+
+2023-05-29  Javier Miranda  <miranda@adacore.com>
+
+	* sem_aggr.adb
+	(Resolve_Record_Aggregate): For aggregates of derived tagged
+	record types with discriminants, when collecting components
+	from ancestors, pass to subprogram Gather_Components the
+	parent type. Required to report errors on wrong aggregate
+	components.
+
+2023-05-29  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_util.adb (Check_Result_And_Post_State): Replace low-level
+	navigation with a high-level Unique_Entity.
+
+2023-05-29  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_util.adb (Check_Result_And_Post_State): Properly handle entry
+	bodies.
+
+2023-05-29  Piotr Trojanek  <trojanek@adacore.com>
+
+	* contracts.adb (Fix_Parent): Fir part both for lists and nodes.
+
+2023-05-29  Arnaud Charlet  <charlet@adacore.com>
+
+	* sem_ch7.adb: Refine handling of inlining for CCG
+
+2023-05-29  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_ch12.adb (Copy_Generic_Node): Test the original node kind
+	for the sake of consistency.  For identifiers and other entity
+	names and operators, accept an expanded name as associated node.
+	Replace "or" with "or else" in condtion and fix its formatting.
+
+2023-05-29  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_util.adb (Check_Result_And_Post_State): Tune message.
+
+2023-05-29  Piotr Trojanek  <trojanek@adacore.com>
+
+	* contracts.adb (Remove_Formals): Remove.
+	(Preanalyze_Condition): Replace Pop_Scope with End_Scope.
+	* sem_ch13.adb (Build_Discrete_Static_Predicate): Replace
+	Pop_Scope with End_Scope; enclose Install_Formals within
+	Push_Scope/End_Scope.
+
+2023-05-29  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_prag.adb (Analyze_Pre_Post_Condition): Tune error message.
+
+2023-05-29  Javier Miranda  <miranda@adacore.com>
+
+	* scans.ads (Inside_Interpolated_String_Expression): New variable.
+	* par-ch2.adb (P_Interpolated_String_Literal): Set/clear new
+	variable when parsing interpolated string expressions.
+	* scng.adb (Set_String): Skip processing operator symbols when we
+	arescanning an interpolated string literal.
+
+2023-05-29  Johannes Kliemann  <kliemann@adacore.com>
+
+	* Makefile.rtl (QNX): Use s-parame__qnx.adb for s-parame.adb.
+	* libgnat/s-parame__qnx.adb: Add QNX specific version of
+	System.Parameters.
+
+2023-05-29  Yannick Moy  <moy@adacore.com>
+
+	* libgnat/a-ngelfu.ads: Restore SPARK_Mode from context.
+
+2023-05-29  Marc Poulhiès  <poulhies@adacore.com>
+
+	* contracts.adb (Restore_Original_Selected_Component): Adjust assertion.
+
+2023-05-29  Piotr Trojanek  <trojanek@adacore.com>
+
+	* contracts.adb
+	(Add_Pre_Post_Condition): Adapt to handle pre/post of an
+	access-to-subprogram type.
+	(Analyze_Type_Contract): Analyze pre/post of an
+	access-to-subprogram.
+	* contracts.ads
+	(Analyze_Type_Contract): Adapt comment.
+	* sem_ch3.adb
+	(Build_Access_Subprogram_Wrapper): Copy pre/post aspects to
+	wrapper spec and keep it on the type.
+	* sem_prag.adb
+	(Analyze_Pre_Post_Condition): Expect pre/post aspects on
+	access-to-subprogram and complain if they appear without -gnat2022
+	switch.
+	(Analyze_Pre_Post_Condition_In_Decl_Part): Adapt to handle
+	pre/post on an access-to-subprogram type entity.
+	* sem_attr.adb (Analyze_Attribute_Old_Result): Likewise.
+	(Result): Likewise.
+
 2023-05-26  Bob Duff  <duff@adacore.com>
 
 	* sem_ch3.adb
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 1ca9b00094e..406e6dee0a5 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,46 @@
+2023-05-29  Pan Li  <pan2.li@intel.com>
+
+	* gcc.target/riscv/rvv/autovec/vls-vlmax/init-repeat-sequence-1.c: New test.
+	* gcc.target/riscv/rvv/autovec/vls-vlmax/init-repeat-sequence-2.c: New test.
+	* gcc.target/riscv/rvv/autovec/vls-vlmax/init-repeat-sequence-3.c: New test.
+	* gcc.target/riscv/rvv/autovec/vls-vlmax/init-repeat-sequence-4.c: New test.
+	* gcc.target/riscv/rvv/autovec/vls-vlmax/init-repeat-sequence-5.c: New test.
+	* gcc.target/riscv/rvv/autovec/vls-vlmax/init-repeat-sequence-run-1.c: New test.
+	* gcc.target/riscv/rvv/autovec/vls-vlmax/init-repeat-sequence-run-2.c: New test.
+	* gcc.target/riscv/rvv/autovec/vls-vlmax/init-repeat-sequence-run-3.c: New test.
+
+2023-05-29  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gnat.dg/specs/storage_offset1.ads: New test.
+
+2023-05-29  Juzhe-Zhong  <juzhe.zhong@rivai.ai>
+
+	* gcc.target/riscv/rvv/vsetvl/pr109974.c: New test.
+
+2023-05-29  Juzhe-Zhong  <juzhe.zhong@rivai.ai>
+
+	* gcc.target/riscv/rvv/autovec/unop/abs-run.c: Remove redundant printf.
+
+2023-05-29  Juzhe-Zhong  <juzhe.zhong@rivai.ai>
+
+	* gcc.target/riscv/rvv/rvv.exp: Add ternary tests
+	* gcc.target/riscv/rvv/autovec/ternop/ternop-1.c: New test.
+	* gcc.target/riscv/rvv/autovec/ternop/ternop-2.c: New test.
+	* gcc.target/riscv/rvv/autovec/ternop/ternop-3.c: New test.
+	* gcc.target/riscv/rvv/autovec/ternop/ternop_run-1.c: New test.
+	* gcc.target/riscv/rvv/autovec/ternop/ternop_run-2.c: New test.
+	* gcc.target/riscv/rvv/autovec/ternop/ternop_run-3.c: New test.
+
+2023-05-29  Juzhe-Zhong  <juzhe.zhong@rivai.ai>
+
+	* gcc.target/riscv/rvv/base/vxrm-11.c: New test.
+	* gcc.target/riscv/rvv/base/vxrm-12.c: New test.
+
+2023-05-29  Pan Li  <pan2.li@intel.com>
+
+	* gcc.target/riscv/arch-20.c: New test.
+	* gcc.target/riscv/predef-26.c: New test.
+
 2023-05-27  liuhongt  <hongtao.liu@intel.com>
 
 	* gcc.target/i386/pr100711-2.c: Add v4di/v2di testcases.