https://gcc.gnu.org/g:f56280d57fb6e2bb131f00ef66842f942cd0d01a
commit r15-219-gf56280d57fb6e2bb131f00ef66842f942cd0d01a Author: GCC Administrator <gccadmin@gcc.gnu.org> Date: Tue May 7 00:18:28 2024 +0000 Daily bump. Diff: --- ChangeLog | 5 + contrib/ChangeLog | 4 + gcc/ChangeLog | 84 ++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 252 ++++++++++++++++++++++++++++++++++++++++++++++++ gcc/c/ChangeLog | 12 +++ gcc/cp/ChangeLog | 14 +++ gcc/testsuite/ChangeLog | 70 ++++++++++++++ libgcc/ChangeLog | 10 ++ libgfortran/ChangeLog | 11 +++ 10 files changed, 463 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 929fecc0cf9..0dde7128be5 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2024-05-06 YunQiang Su <s...@gcc.gnu.org> + + * config-ml.in: Insert an -B option with multi-os-dir into + compiler commands used to build libraries. + 2024-04-16 Thomas Schwinge <tschwi...@baylibre.com> * configure.ac (have_cargo): Force to "no" in Canadian cross diff --git a/contrib/ChangeLog b/contrib/ChangeLog index 62fd844d2da..7463efb9b77 100644 --- a/contrib/ChangeLog +++ b/contrib/ChangeLog @@ -1,3 +1,7 @@ +2024-05-06 Ken Matsui <kmat...@gcc.gnu.org> + + * gcc-changelog/git_check_commit.py: Implement --num-commits. + 2024-04-26 Jakub Jelinek <ja...@redhat.com> * gcc-changelog/git_update_version.py (active_refs): Add diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 06649625892..4575b7f4940 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,87 @@ +2024-05-06 Xiao Zeng <zengx...@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 <zengx...@eswincomputing.com> + Jin Ma <ji...@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 <pal...@rivosinc.com> + + * doc/invoke.texi (RISC-V): Add -mcmodel=large. + +2024-05-06 Jeff Law <j...@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.z...@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.z...@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 <a...@gjlay.de> + + PR ipa/92606 + * config/avr/avr.cc (avr_option_override): Set + flag_ipa_icf_variables = 0. + +2024-05-06 Sandra Loosemore <sloosem...@baylibre.com> + + * tree-nested.cc (convert_tramp_reference_stmt): Use the correct + accessor for GIMPLE_OMP_TARGET clauses. + +2024-05-06 Richard Biener <rguent...@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 <rguent...@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 <s...@gcc.gnu.org> + + PR target/113179 + * expmed.cc(store_bit_field_using_insv): TRUNCATE value1 if + needed. + 2024-05-05 Andrew Pinski <quic_apin...@quicinc.com> * gimple-loop-versioning.cc (loop_versioning): Remove m_nloops field. diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 4f6ab4ebaca..3745142efd0 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20240506 +20240507 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index edbc70e34a1..3c3459c2908 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,255 @@ +2024-05-06 Piotr Trojanek <troja...@adacore.com> + + * sem_prag.adb (Collect_Global_Item): Handle functions with + side-effects. + +2024-05-06 Piotr Trojanek <troja...@adacore.com> + + * sem_prag.adb (Collect_Global_Item): Move code. + +2024-05-06 Piotr Trojanek <troja...@adacore.com> + + * sem_prag.adb (Find_Role): Handle functions with side-effects + like procedures. + +2024-05-06 Gary Dismukes <dismu...@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 <d...@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 <desplanq...@adacore.com> + + * sem_util.adb (Build_Default_Subtype): Tweak source location + information. + +2024-05-06 Eric Botcazou <ebotca...@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 <ebotca...@adacore.com> + + * fe.h: Remove unused declarations and add 'extern' to others. + no-issue-check + +2024-05-06 Piotr Trojanek <troja...@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 <squi...@adacore.com> + + * sem_warn.adb (Within_Postcondition): Add coverage for + Preconditions + +2024-05-06 Justin Squirek <squi...@adacore.com> + + * sem_warn.adb (Within_Postcondition): Add/modify comments to + document various cases. + +2024-05-06 Justin Squirek <squi...@adacore.com> + + * sem_warn.adb (Within_Postcondition): Renamed to + Within_Contract_Or_Predicate. + +2024-05-06 Justin Squirek <squi...@adacore.com> + + * sem_warn.adb (Within_Postcondition): Add case to ignore + references within generated predicate function calls. + +2024-05-06 Ronan Desplanques <desplanq...@adacore.com> + + * hostparm.ads: Fix reference to RM clause. + +2024-05-06 Eric Botcazou <ebotca...@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 <ebotca...@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 <ebotca...@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 <ebotca...@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 <desplanq...@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 <troja...@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 <m...@adacore.com> + + * inline.adb (Can_Be_Inlined_In_GNATprove_Mode): Add guard. + +2024-05-06 Piotr Trojanek <troja...@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 <ken...@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 <d...@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 <ebotca...@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 <ebotca...@adacore.com> + + * exp_ch3.adb (Expand_Freeze_Class_Wide_Type): Use No instead of + not Present. + +2024-05-06 Eric Botcazou <ebotca...@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 <m...@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 <ebotca...@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 <m...@adacore.com> + + * inline.adb (Can_Be_Inlined_In_GNATprove_Mode): Adapt checking. + 2024-04-26 Jakub Jelinek <ja...@redhat.com> * gnatvsn.ads: Bump Library_Version to 15. diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index 4601d5fc499..60665fd9d4a 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,15 @@ +2024-05-06 Qing Zhao <qing.z...@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.z...@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 <rguent...@suse.de> * gimple-parser.cc (c_parser_gimple_binary_expression): diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index a78d9d546d6..398504f23b5 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,17 @@ +2024-05-06 Qing Zhao <qing.z...@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.z...@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 <ja...@redhat.com> PR c++/114935 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 03c88bbed07..850d16ba70e 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,73 @@ +2024-05-06 Xiao Zeng <zengx...@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 <rd...@ventanamicro.com> + + PR tree-optimization/114749 + * gcc.target/riscv/rvv/autovec/pr114749.c: New test. + +2024-05-06 Xiao Zeng <zengx...@eswincomputing.com> + Jin Ma <ji...@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 <j...@ventanamicro.com> + + * gcc.target/riscv/synthesis-2.c: New test. + +2024-05-06 Andrew Pinski <quic_apin...@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.z...@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.z...@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.z...@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 <a...@gjlay.de> + + PR ipa/92606 + * gcc.target/avr/torture/pr92606.c: New test. + +2024-05-06 YunQiang Su <s...@gcc.gnu.org> + + PR target/113179 + * gcc.target/mips/pr113179.c: New tests. + 2024-05-05 Harald Anlauf <anl...@gmx.de> PR fortran/114827 diff --git a/libgcc/ChangeLog b/libgcc/ChangeLog index 99e3180c11f..379f2f515fa 100644 --- a/libgcc/ChangeLog +++ b/libgcc/ChangeLog @@ -1,3 +1,13 @@ +2024-05-06 Xiao Zeng <zengx...@eswincomputing.com> + Jin Ma <ji...@linux.alibaba.com> + + * config/riscv/sfp-machine.h (_FP_NANFRAC_B): New. + (_FP_NANSIGN_B): Ditto. + * config/riscv/t-softfp32: Add support for BF16 libfuncs. + * config/riscv/t-softfp64: Ditto. + * soft-fp/floatsibf.c: For si -> bf16. + * soft-fp/floatunsibf.c: For unsi -> bf16. + 2024-05-03 Peter Damianov <peter0...@disroot.org> * libgcov-util.c (tag_counters): Swap order of arguments to xcalloc. diff --git a/libgfortran/ChangeLog b/libgfortran/ChangeLog index 82c54e68cc9..030bad57700 100644 --- a/libgfortran/ChangeLog +++ b/libgfortran/ChangeLog @@ -1,3 +1,14 @@ +2024-05-06 David Edelsohn <dje....@gmail.com> + + * config/t-aix (all-local, libcaf_single): Explicitly reference + caf/.libs/single.o + +2024-05-06 Rainer Orth <r...@cebitec.uni-bielefeld.de> + + * Makefile.am [LIBGFOR_USE_SYMVER_SUN] (gfortran.ver-sun): Handle + objects in subdirs. + * Makefile.in: Regenerate. + 2024-05-02 Francois-Xavier Coudert <fxcoud...@gcc.gnu.org> * Makefile.am: Use sub-dirs, amend recipies accordingly.