diff options
author | GCC Administrator <gccadmin@gcc.gnu.org> | 2024-05-07 00:18:28 +0000 |
---|---|---|
committer | GCC Administrator <gccadmin@gcc.gnu.org> | 2024-05-07 00:18:28 +0000 |
commit | f56280d57fb6e2bb131f00ef66842f942cd0d01a (patch) | |
tree | e3eea16db2f283e4b272f7de5a94210954877a2d /gcc | |
parent | 35224ead63732a3550ba4b1332c06e9dc7999c31 (diff) | |
download | gcc-f56280d57fb6e2bb131f00ef66842f942cd0d01a.zip gcc-f56280d57fb6e2bb131f00ef66842f942cd0d01a.tar.gz gcc-f56280d57fb6e2bb131f00ef66842f942cd0d01a.tar.bz2 |
Daily bump.
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/ChangeLog | 84 | ||||
-rw-r--r-- | gcc/DATESTAMP | 2 | ||||
-rw-r--r-- | gcc/ada/ChangeLog | 252 | ||||
-rw-r--r-- | gcc/c/ChangeLog | 12 | ||||
-rw-r--r-- | gcc/cp/ChangeLog | 14 | ||||
-rw-r--r-- | gcc/testsuite/ChangeLog | 70 |
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 |