Daily bump.

6 files changed, 433 insertions, 1 deletions

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 0664962..4575b7f 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,87 @@
+2024-05-06  Xiao Zeng  <zengxiao@eswincomputing.com>
+
+	* common/config/riscv/riscv-common.cc (riscv_implied_info): zfbfmin
+	implies zfhmin.
+	(riscv_ext_version_table, riscv_ext_flag_table): Add zfbfmin.
+	* config/riscv/riscv.opt (ZFBFMIN): Add optoion.
+
+2024-05-06  Xiao Zeng  <zengxiao@eswincomputing.com>
+	    Jin Ma  <jinma@linux.alibaba.com>
+
+	* config/riscv/iterators.md: New mode iterator HFBF.
+	* config/riscv/riscv-builtins.cc (riscv_init_builtin_types):
+	Initialize data type _Bfloat16.
+	* config/riscv/riscv-modes.def (FLOAT_MODE): New.
+	(ADJUST_FLOAT_FORMAT): New.
+	* config/riscv/riscv.cc (riscv_mangle_type): Support for BFmode.
+	(riscv_scalar_mode_supported_p): Ditto.
+	(riscv_libgcc_floating_mode_supported_p): Ditto.
+	(riscv_init_libfuncs): Set the conversion method for BFmode and
+	HFmode.
+	(riscv_block_arith_comp_libfuncs_for_mode): Set the arithmetic
+	and comparison libfuncs for the mode.
+	* config/riscv/riscv.md (mode" ): Add BF.
+	(movhf): Support for BFmode.
+	(mov<mode>): Ditto.
+	(*movhf_softfloat): Ditto.
+	(*mov<mode>_softfloat): Ditto.
+
+2024-05-06  Palmer Dabbelt  <palmer@rivosinc.com>
+
+	* doc/invoke.texi (RISC-V): Add -mcmodel=large.
+
+2024-05-06  Jeff Law  <jlaw@ventanamicro.com>
+
+	* config/riscv/riscv.cc (riscv_integer_op): Add field tracking if we
+	want to use a "uw" instruction variant.
+	(riscv_build_integer_1): Initialize the new field in various places.
+	Use lui+slli.uw for some constants.
+	(riscv_move_integer): Handle slli.uw.
+
+2024-05-06  Qing Zhao  <qing.zhao@oracle.com>
+
+	PR c/53548
+	* stor-layout.cc (place_union_field): Use zero sizes for flexible array
+	member fields.
+
+2024-05-06  Qing Zhao  <qing.zhao@oracle.com>
+
+	PR c/53548
+	* doc/extend.texi: Add documentation for Flexible Array Members in
+	Unions and Flexible Array Members alone in Structures.
+
+2024-05-06  Georg-Johann Lay  <avr@gjlay.de>
+
+	PR ipa/92606
+	* config/avr/avr.cc (avr_option_override): Set
+	flag_ipa_icf_variables = 0.
+
+2024-05-06  Sandra Loosemore  <sloosemore@baylibre.com>
+
+	* tree-nested.cc (convert_tramp_reference_stmt): Use the correct
+	accessor for GIMPLE_OMP_TARGET clauses.
+
+2024-05-06  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/100923
+	* tree-ssa-sccvn.cc (ao_ref_init_from_vn_reference): Valueize
+	base SSA_NAME.
+	(vn_reference_lookup_3): Adjust vn_context_bb around calls
+	to ao_ref_init_from_vn_reference.
+	(vn_reference_lookup_pieces): Revert original PR100923 fix.
+	(vn_reference_lookup): Likewise.
+
+2024-05-06  Richard Biener  <rguenther@suse.de>
+
+	* tree-ssa-sccvn.cc (ao_ref_init_from_vn_reference): Add
+	TARGET_MEM_REF support.  Handle more bases.
+
+2024-05-06  YunQiang Su  <syq@gcc.gnu.org>
+
+	PR target/113179
+	* expmed.cc(store_bit_field_using_insv): TRUNCATE value1 if
+	needed.
+
 2024-05-05  Andrew Pinski  <quic_apinski@quicinc.com>
 
 	* gimple-loop-versioning.cc (loop_versioning): Remove m_nloops field.
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 4f6ab4e..3745142 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20240506
+20240507
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index edbc70e..3c3459c 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,255 @@
+2024-05-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_prag.adb (Collect_Global_Item): Handle functions with
+	side-effects.
+
+2024-05-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_prag.adb (Collect_Global_Item): Move code.
+
+2024-05-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_prag.adb (Find_Role): Handle functions with side-effects
+	like procedures.
+
+2024-05-06  Gary Dismukes  <dismukes@adacore.com>
+
+	* exp_ch6.adb
+	(Make_Build_In_Place_Iface_Call_In_Object_Declaration): Set the
+	Is_Return_Object flag on the entity of the temp object created to
+	hold the BIP call result, from the flag on the passed-in object
+	declaration's entity. Update copyright notice to 2024.
+
+2024-05-06  Bob Duff  <duff@adacore.com>
+
+	* sem_ch10.adb (Expand_With_Clause): Misc cleanup.
+	(Install_Private_With_Clauses): Avoid installing a private
+	with_clause that comes from an instantiated generic
+	(it is marked as Implicit_With, but doesn't come from a parent
+	with). Fix typo in comment, and other minor cleanups.
+
+2024-05-06  Ronan Desplanques  <desplanques@adacore.com>
+
+	* sem_util.adb (Build_Default_Subtype): Tweak source location
+	information.
+
+2024-05-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch7.adb (Build_Finalizer.Process_Declarations): Do not call
+	Processing_Actions for simple protected objects if the profile is
+	restricted.
+	* exp_util.adb (Requires_Cleanup_Actions): Do not return True for
+	simple protected objects if the profile is restricted.
+
+2024-05-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* fe.h: Remove unused declarations and add 'extern' to others.
+	no-issue-check
+
+2024-05-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* einfo-utils.adb (Is_Relaxed_Initialization_State): Remove.
+	* einfo-utils.ads (Is_Relaxed_Initialization_State): Remove.
+	* einfo.ads: Remove description of removed aspect.
+	* fe.h (Is_Relaxed_Initialization_State): Remove.
+	* sem_prag.adb (Analyze_Abstract_State): Remove support for
+	Relaxed_Initialization.
+	* sem_util.adb (Has_Relaxed_Initialization): Likewise.
+	* sem_util.ads (Has_Relaxed_Initialization): Likewise.
+
+2024-05-06  Justin Squirek  <squirek@adacore.com>
+
+	* sem_warn.adb (Within_Postcondition): Add coverage for
+	Preconditions
+
+2024-05-06  Justin Squirek  <squirek@adacore.com>
+
+	* sem_warn.adb (Within_Postcondition): Add/modify comments to
+	document various cases.
+
+2024-05-06  Justin Squirek  <squirek@adacore.com>
+
+	* sem_warn.adb (Within_Postcondition): Renamed to
+	Within_Contract_Or_Predicate.
+
+2024-05-06  Justin Squirek  <squirek@adacore.com>
+
+	* sem_warn.adb (Within_Postcondition): Add case to ignore
+	references within generated predicate function calls.
+
+2024-05-06  Ronan Desplanques  <desplanques@adacore.com>
+
+	* hostparm.ads: Fix reference to RM clause.
+
+2024-05-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* libgnat/s-finpri.ads (Finalize_Master): Remove obsolete reference
+	in the description.
+	(Finalize_Object): Document the effects of repeated calls.
+
+2024-05-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* einfo.ads (Finalization_Master_Node_Or_Object): Rename into...
+	(Finalization_Master_Node): ...this and adjust description.
+	* exp_ch4.adb (Process_Transient_In_Expression): Attach the object
+	to its master node here.
+	* exp_ch7.ads (Attach_Object_To_Master_Node): New declaration.
+	* exp_ch7.adb (Attach_Object_To_Master_Node): New procedure.
+	(Build_Finalizer.Process_Declarations): Examine the type of a
+	variable to spot master nodes.
+	(Build_Finalizer.Process_Object_Declaration): Look only at the
+	object and deal specifically with the case of a master node.
+	(Build_Finalizer.Build_BIP_Cleanup_Stmts): Move to child function
+	of Attach_Object_To_Master_Node.
+	(Build_Finalizer.Make_Address_For_Finalize): Move to...
+	(Insert_Actions_In_Scope_Around.Process_Transient_In_Scope): Attach
+	the object to its master node here.
+	(Make_Address_For_Finalize): ...here.
+	(Make_Master_Node_Declaration): Adjust to above renaming and set
+	Finalization_Master_Node only on the object.
+	(Make_Suppress_Object_Finalize_Call): Adjust to above renaming and
+	attach the object to its master node here.
+	* exp_util.adb (Requires_Cleanup_Actions): Examine the type of a
+	variable to spot master nodes.
+	* gen_il-fields.ads (Opt_Field_Enum): Adjust to above renaming.
+	* gen_il-gen-gen_entities.adb (Allocatable_Kind): Likewise.
+	* rtsfind.ads (RE_Id): Add RE_Chain_Node_To_Master.
+	(RE_Unit_Table): Add entry for  RE_Chain_Node_To_Master.
+	* libgnat/s-finpri.ads (Chain_Node_To_Master): New declaration.
+	* libgnat/s-finpri.adb (Chain_Node_To_Master): New procedure.
+	(Attach_Object_To_Master): Call it.
+	(Finalize_Master): Do not raise Program_Error on null addresses.
+	(Finalize_Object): Add assertion that the address is not null.
+
+2024-05-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* libgnarl/s-taprob.ads (Protection): Add cross-reference to the
+	counterpart in System.Tasking.Protected_Objects.Entries.
+	* libgnarl/s-taskin.ads (Locking Rules): Replace PO_Simple by
+	Protected_Objects.
+	* libgnarl/s-tpoben.ads (Protection_Entries): Likewise.
+
+2024-05-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_attr.adb (Expand_N_Attribute_Reference) <Finalization_Size>:
+	Return 0 if the prefix is a dereference of an access value subject
+	to the No_Heap_Finalization pragma.
+
+2024-05-06  Ronan Desplanques  <desplanques@adacore.com>
+
+	* exp_imgv.adb (Append_Table_To): Remove reference to removed
+	field.
+	* gen_il-fields.ads: Remove Is_Enum_Array_Aggregate field.
+	* gen_il-gen-gen_nodes.adb: Likewise.
+	* sem_aggr.adb: Tweak warning emission condition.
+	* sinfo.ads: Remove documentation for Is_Enum_Array_Aggregate.
+
+2024-05-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* make.adb (Scan_Make_Arg): Remove redundant condition.
+	* switch-b.adb (Scan_Debug_Switches): Likewise.
+	* switch-c.adb (Scan_Front_End_Switches): Likewise.
+
+2024-05-06  Yannick Moy  <moy@adacore.com>
+
+	* inline.adb (Can_Be_Inlined_In_GNATprove_Mode): Add guard.
+
+2024-05-06  Piotr Trojanek  <trojanek@adacore.com>
+
+	* exp_pakd.adb (Create_Packed_Array_Impl_Type): Set associated
+	node for the packed array itype.
+	* exp_util.adb (Possible_Side_Effect_In_SPARK): Remove
+	workaround for a missing associated node.
+
+2024-05-06  Richard Kenner  <kenner@adacore.com>
+
+	* freeze.adb (Freeze_Entity): When changing the convention of
+	primitive to match that of the type, only do this for user-specified
+	primitives.
+
+2024-05-06  Bob Duff  <duff@adacore.com>
+
+	* exp_put_image.adb (Build_Image_Call): Call Set_Uses_Sec_Stack on
+	the current scope. We don't do this at all call sites, because
+	there are three; better to do it here.
+
+2024-05-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_attr.adb (Analyze_Attribute) <Attribute_Round>: Also accept it
+	for ordinary fixed point types.
+	* doc/gnat_rm/implementation_defined_attributes.rst (Round): New.
+	* gnat_rm.texi: Regenerate.
+
+2024-05-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch3.adb (Expand_Freeze_Class_Wide_Type): Use No instead of
+	not Present.
+
+2024-05-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch7.adb (Build_Finalizer.Process_Object_Declaration): Adjust
+	the Sloc of the master node declaration in the degenerate case.
+
+2024-05-06  Yannick Moy  <moy@adacore.com>
+
+	* inline.adb (Call_Can_Be_Inlined_In_GNATprove_Mode):
+	Add case to prevent inlining of call.
+	* inline.ads: Likewise.
+	* sem_res.adb (Resolve_Call): Update comment and message.
+
+2024-05-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* Makefile.rtl (GNATRTL_NONTASKING_OBJS): Add s-finpri$(objext).
+	* contracts.adb (Add_Call_Helper): Append freeze actions to the
+	class-wide type rather than the specific tagged type.
+	* einfo.ads (Finalization_Master_Node_Or_Node): Document.
+	(Status_Flag_Or_Transient_Decl): Remove.
+	* exp_attr.adb (Expand_N_Attribute_Reference) <Address>: Do not
+	adjust a return object of a class-wide interface type.
+	* exp_ch3.adb  (Expand_Freeze_Class_Wide_Type): Add test that
+	Finalize_Address is not already present as a condition for calling
+	Make_Finalize_Address_Body.
+	(Expand_Freeze_Record_Type): Call Make_Finalize_Address_Body for
+	class-wide types of both regular tagged types and interface types.
+	* exp_ch4.adb (Process_Transients_In_Expression): Replace the use
+	of hooks with the use of master nodes.
+	* exp_ch6.adb (Build_Flag_For_Function): Delete.
+	(Expand_N_Extended_Return_Statement): Create a master node for the
+	return object if it does not exist.  At the end of the statement,
+	generate a call to Suppress_Object_Finalize.
+	(Expand_Non_Function_Return): Likewise just before the return.
+	* exp_ch7.ads (Make_Master_Node_Declaration): Declare.
+	(Make_Suppress_Object_Finalize_Call): Likewise.
+	* exp_ch7.adb (Build_Finalization_Master): Defer generating the
+	call to Set_Finalize_Address until freezing if the Finalize_Address
+	procedure has not been analyzed yet.
+	(Build_Finalizer): Reimplement the expansion using a finalization
+	scope master per finalizer.
+	(Insert_Actions_In_Scope_Around): Replace finalization hooks by
+	master nodes and calls to the Finalize_Object.
+	(Make_Master_Node_Declaration): New procedure.
+	(Make_Suppress_Object_Finalize_Call): Likewise.
+	* exp_util.ads (Build_Transient_Object_Statements): Delete.
+	* exp_util.adb (Build_Transient_Object_Statements): Likewise.
+	(Requires_Cleanup_Actions): Remove obsolete code and return true
+	for master nodes.
+	* gen_il-fields.ads (Opt_Field_Enum): Add
+	Finalization_Master_Node_Or_Object and
+	remove Status_Flag_Or_Transient_Decl.
+	* gen_il-gen-gen_entities.adb (Allocatable_Kind): Likewise.
+	* rtsfind.ads (RTU_Id): Add System_Finalization_Primitives.
+	(RE_Id): Add entities of System_Finalization_Primitives.
+	(RE_Unit_Table): Add entries for them.
+	* sem_ch3.adb (Analyze_Object_Declaration): For an array whose type
+	has an unconstrained first subtype and a controlled component, set
+	the Is_Constr_Array_Subt_With_Bounds flag.
+	* libgnat/s-finpri.ads: New file.
+	* libgnat/s-finpri.adb: Likewise.
+
+2024-05-06  Yannick Moy  <moy@adacore.com>
+
+	* inline.adb (Can_Be_Inlined_In_GNATprove_Mode): Adapt checking.
+
 2024-04-26  Jakub Jelinek  <jakub@redhat.com>
 
 	* gnatvsn.ads: Bump Library_Version to 15.
diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog
index 4601d5f..60665fd 100644
--- a/gcc/c/ChangeLog
+++ b/gcc/c/ChangeLog
@@ -1,3 +1,15 @@
+2024-05-06  Qing Zhao  <qing.zhao@oracle.com>
+
+	PR c/53548
+	* c-decl.cc (add_flexible_array_elts_to_size): Handle the cases
+	when the DECL is union.
+
+2024-05-06  Qing Zhao  <qing.zhao@oracle.com>
+
+	PR c/53548
+	* c-decl.cc (finish_struct): Change errors to pedwarns for the cases
+	flexible array members in union or alone in structures.
+
 2024-04-30  Richard Biener  <rguenther@suse.de>
 
 	* gimple-parser.cc (c_parser_gimple_binary_expression):
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index a78d9d5..398504f 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,17 @@
+2024-05-06  Qing Zhao  <qing.zhao@oracle.com>
+
+	PR c/53548
+	* decl.cc (layout_var_decl): Handle the cases when the DECL is
+	union with a flexible array member initializer.
+
+2024-05-06  Qing Zhao  <qing.zhao@oracle.com>
+
+	PR c/53548
+	* class.cc (diagnose_flexarrays): Change error to pdewarn for the case
+	flexible array members alone in structures.
+	* decl.cc (grokdeclarator): Change error to pdewarn for the case
+	flexible array members in unions.
+
 2024-05-03  Jason Merrill  <jason@redhat.com>
 
 	PR c++/114935
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 03c88bb..850d16b 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,73 @@
+2024-05-06  Xiao Zeng  <zengxiao@eswincomputing.com>
+
+	* gcc.target/riscv/arch-35.c: New test.
+	* gcc.target/riscv/arch-36.c: New test.
+	* gcc.target/riscv/predef-34.c: New test.
+	* gcc.target/riscv/predef-35.c: New test.
+
+2024-05-06  Robin Dapp  <rdapp@ventanamicro.com>
+
+	PR tree-optimization/114749
+	* gcc.target/riscv/rvv/autovec/pr114749.c: New test.
+
+2024-05-06  Xiao Zeng  <zengxiao@eswincomputing.com>
+	    Jin Ma  <jinma@linux.alibaba.com>
+
+	* gcc.target/riscv/bf16_arithmetic.c: New test.
+	* gcc.target/riscv/bf16_call.c: New test.
+	* gcc.target/riscv/bf16_comparison.c: New test.
+	* gcc.target/riscv/bf16_float_libcall_convert.c: New test.
+	* gcc.target/riscv/bf16_integer_libcall_convert.c: New test.
+
+2024-05-06  Jeff Law  <jlaw@ventanamicro.com>
+
+	* gcc.target/riscv/synthesis-2.c: New test.
+
+2024-05-06  Andrew Pinski  <quic_apinski@quicinc.com>
+
+	PR testsuite/114177
+	* gcc.target/aarch64/sve/loop_add_6.c: Use __SIZETYPE__ instead
+	of `unsigned long` for index and offset variables.
+
+2024-05-06  Qing Zhao  <qing.zhao@oracle.com>
+
+	PR c/53548
+	* c-c++-common/fam-in-union-alone-in-struct-bos-1.c: New test.
+	* c-c++-common/fam-in-union-alone-in-struct-bos.c: New test.
+
+2024-05-06  Qing Zhao  <qing.zhao@oracle.com>
+
+	PR c/53548
+	* c-c++-common/fam-in-union-alone-in-struct-1.c: New testcase.
+	* c-c++-common/fam-in-union-alone-in-struct-2.c: New testcase.
+	* c-c++-common/fam-in-union-alone-in-struct-3.c: New testcase.
+
+2024-05-06  Qing Zhao  <qing.zhao@oracle.com>
+
+	PR c/53548
+	* c-c++-common/builtin-clear-padding-3.c: Adjust testcase.
+	* g++.dg/ext/flexary12.C: Likewise.
+	* g++.dg/ext/flexary19.C: Likewise.
+	* g++.dg/ext/flexary2.C: Likewise.
+	* g++.dg/ext/flexary3.C: Likewise.
+	* g++.dg/ext/flexary36.C: Likewise.
+	* g++.dg/ext/flexary4.C: Likewise.
+	* g++.dg/ext/flexary5.C: Likewise.
+	* g++.dg/ext/flexary8.C: Likewise.
+	* g++.dg/torture/pr64280.C: Likewise.
+	* gcc.dg/20050620-1.c: Likewise.
+	* gcc.dg/940510-1.c: Likewise.
+
+2024-05-06  Georg-Johann Lay  <avr@gjlay.de>
+
+	PR ipa/92606
+	* gcc.target/avr/torture/pr92606.c: New test.
+
+2024-05-06  YunQiang Su  <syq@gcc.gnu.org>
+
+	PR target/113179
+	* gcc.target/mips/pr113179.c: New tests.
+
 2024-05-05  Harald Anlauf  <anlauf@gmx.de>
 
 	PR fortran/114827