From: GCC Administrator Date: Sat, 7 Jun 2025 00:19:12 +0000 (+0000) Subject: Daily bump. X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=e1719c3c20bee7caac0f6cc1a6e2deda9820e030;p=thirdparty%2Fgcc.git Daily bump. --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 79416167355..3a4a3f5172a 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,153 @@ +2025-06-06 David Malcolm + + * diagnostic-format-html.cc (struct html_doctypedecl): New. + (html_builder::html_builder): Use it to populate the document's + m_doctypedecl. + * xml.cc (xml::document::write_as_xml): Replace hardcoded HTML DTD + with use of m_doctypedecl field. + (selftest::test_no_dtd): New. + (selftest::xml_cc_tests): New. + * xml.h (struct doctypedecl): New decl. + +2025-06-06 David Malcolm + + * Makefile.in (OBJS-libcommon): Add xml.o. + * diagnostic-format-html.cc (namespace xml): Move implementation + to xml.cc + (selftest::test_printer): Likewise. + (selftest::test_attribute_ordering): Likewise. + (selftest::diagnostic_format_html_cc_tests): Don't call the moved + tests here; they will be called from xml_cc_tests in xml.cc. + * selftest-run-tests.cc (selftest::run_tests): Call xml_cc_tests. + * selftest.h (selftest::xml_cc_tests): New decl. + * xml.cc: New file, based on material from + diagnostic-format-html.cc. + +2025-06-06 David Malcolm + + * selftest.h: Fix the sorting of the various *_cc_tests decls. + +2025-06-06 David Malcolm + + * text-art/widget.cc (selftest::test_empty_wrapper_widget): New. + (selftest::text_art_widget_cc_tests): Call it. + * text-art/widget.h (text_art::wrapper_widget::calc_req_size): + Gracefully handle m_child being null. + (text_art::wrapper_widget::update_child_alloc_rects): Likewise. + (text_art::wrapper_widget::paint_to_canvas): Likewise. + +2025-06-06 Andrew Pinski + + * tree-ssa-phiopt.cc (cond_if_else_store_replacement_1): Add vphi argument. + Manually update the vphi and new_stmt vdef/lhs. + (cond_if_else_store_replacement): Update call to cond_if_else_store_replacement_1. + +2025-06-06 Tobias Burnus + Sandra Loosemore + + * gimple-fold.cc (gimple_fold_builtin_omp_get_initial_device, + gimple_fold_builtin_omp_get_num_devices): New. + (gimple_fold_builtin): Call them. + * omp-builtins.def (BUILT_IN_OMP_GET_INITIAL_DEVICE): Add + (BUILT_IN_OMP_GET_NUM_DEVICES): Make uservisible + pure. + +2025-06-06 Tobias Burnus + + * builtins.def (DEF_GOACC_BUILTIN_COMPILER, DEF_GOMP_BUILTIN_COMPILER): + Set NONANSI_P = false to enable those also with -fno-nonansi-builtins. + +2025-06-06 Richard Biener + + * tree-vect-stmts.cc (get_group_load_store_type): Remove + non-SLP path. + (get_load_store_type): Likewise. + +2025-06-06 Pan Li + + * config/riscv/riscv-v.cc (expand_vx_binary_vec_vec_dup): Add new + case UDIV. + * config/riscv/riscv.cc (riscv_rtx_costs): Ditto. + * config/riscv/vector-iterators.md: Add new op divu. + +2025-06-06 Richard Biener + + * tree-vect-stmts.cc (vectorizable_store): Remove non-SLP + paths. + +2025-06-06 Richard Biener + + * gimple-fold.h (create_tmp_reg_or_ssa_name): Remove. + * gimple-fold.cc (create_tmp_reg_or_ssa_name): Likewise. + (gimple_fold_builtin_memory_op): Use make_ssa_name. + (gimple_fold_builtin_strchr): Likewise. + (gimple_fold_builtin_strcat): Likewise. + (gimple_load_first_char): Likewise. + (gimple_fold_builtin_string_compare): Likewise. + (gimple_build): Likewise. + * tree-inline.cc (copy_bb): Likewise. + * config/rs6000/rs6000-builtin.cc (fold_build_vec_cmp): Likewise. + (rs6000_gimple_fold_mma_builtin): Likewise. + (rs6000_gimple_fold_builtin): Likewise. + +2025-06-06 Eric Botcazou + + * expr.cc (store_constructor) : Perform the arithmetics + on offsets in (unsigned) sizetype. + +2025-06-06 Jan Hubicka + + * coverage.cc (coverage_init): Return early when in LTO + +2025-06-06 Jan Hubicka + + * profile-count.cc (profile_count::to_sreal_scale): Special case 0 of autofdo. + (profile_count::combine_with_ipa_count): If outer function has GLOBAL0 profile + but innter counter has non-zero profile, force it to be 0. + +2025-06-06 Jiawei + Jiawei Chen + Yangyu Chen + Tang Haojin + + * config/riscv/riscv-cores.def (RISCV_TUNE): New cpu tune. + (RISCV_CORE): New cpu. + * doc/invoke.texi: Ditto. + +2025-06-06 Richard Biener + + PR tree-optimization/120032 + * tree-ssa-forwprop.cc (simplify_count_zeroes): When we cannot use + the IFN to determine the result at zero use a conditional move + to reproduce the correct result from the table-based + algorithm. + +2025-06-06 Richard Biener + + PR tree-optimization/120032 + * match.pd (clz_table_index): New match. + * tree-ssa-forwprop.cc (check_table_array): Rename from + check_ctz_array. Split out actual verification to a functor. + (check_table_string): Rename from check_ctz_string and likewise. + (check_table): Rename from check_ctz_table and adjust. + (gimple_clz_table_index): Declare. + (simplify_count_zeroes): Rename from simplify_count_trailing_zeroes. + Extend to cover CLZ. + (pass_forwprop::execute): Adjust. + +2025-06-06 Richard Biener + + * tree-ssa-forwprop.cc (simplify_count_trailing_zeroes): + Use ranger instead of tree_expr_nonzero_p. + +2025-06-06 Richard Biener + + * tree-ssa-forwprop.cc (optimize_count_trailing_zeroes): + Inline into ... + (simplify_count_trailing_zeroes): ... this function. + Split out ... + (check_ctz_table): ... a wrapper for CONSTRUCTOR vs. STRING_CST + handling. + 2025-06-05 Jeff Law * config/riscv/riscv.cc (riscv_expand_conditional_move): Avoid diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index c6de4e34998..a3a91b55b0f 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20250606 +20250607 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 7ef50eac608..f45c81ae579 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,479 @@ +2025-06-06 Piotr Trojanek + + * urealp.adb (UR_Negate): Capture array element in a local constant. + +2025-06-06 Piotr Trojanek + + * urealp.adb (UR_Exponentiate): Use local variable. + +2025-06-06 Piotr Trojanek + + * sem_ch13.adb (Analyze_Attribute_Definition_Clause): Tune code for + attribute Small. + * sem_prag.adb (Analyze_Attribute): Tune code for pragma Time_Slice. + +2025-06-06 Piotr Trojanek + + * ada_get_targ.adb, cstand.ads, cstand.adb, sem_eval.adb, sem_eval.ads, + urealp.adb, urealp.ads: Tune style. + +2025-06-06 Piotr Trojanek + + * get_targ.ads (Register_Proc_Type): Add null exclusion. + +2025-06-06 Piotr Trojanek + + * cstand.adb (Build_Float_Type, Register_Float_Type): Refine + parameter subtypes. + * set_targ.ads (FPT_Mode_Entry): Refine component subtype. + +2025-06-06 Piotr Trojanek + + * sem_prag.adb (Analyze_Pragma): Add dependency of Program_Exit on + Global and Depends contracts. + (Analyze_Program_Exit_In_Decl_Part): Check references to subprogram + outputs. + +2025-06-06 Claire Dross + + * doc/gnat_rm/implementation_defined_pragmas.rst + (Pragma Exit_Cases): Update the documentation for Exit_Cases. + * sem_prag.adb + (Anlayze_Pragma): Accept Program_Exit as an exit kind. + * gnat_rm.texi: Regenerate. + * gnat_ugn.texi: Regenerate. + +2025-06-06 Piotr Trojanek + + * aspects.ads (Aspect_Argument): Argument for Program_Exit is now + optional. + * doc/gnat_rm/implementation_defined_pragmas.rst + (Pragma Program_Exit): Change documentation for pragma syntax. + * sem_prag.adb (Analyze_Pragma): Argument for Program_Exit is now + optional. + (Analyze_Program_Exit_In_Decl_Part): Likewise. + * gnat_rm.texi: Regenerate. + * gnat_ugn.texi: Regenerate. + +2025-06-06 Piotr Trojanek + + * aspects.ads (Aspect_Id): Add new aspect identifier. + (Aspect_Argument): Specify argument for the new aspect. + (Is_Representation_Aspect): New aspect is not a representation aspect. + (Aspect_Names): Map new aspect to name. + (Aspect_Delay): New aspect is always delayed. + * contracts.adb (Expand_Subprogram_Contract) + (Add_Pre_Post_Condition, Add_Contract_Item) + (Analyze_Entry_Or_Subprogram_Contract) + (Analyze_Entry_Or_Subprogram_Body_Contract) + (Analyze_Subprogram_Body_Stub_Contract): Support new aspect. + * contracts.ads (Add_Contract_Item, + Analyze_Entry_Or_Subprogram_Contract, + Analyze_Entry_Or_Subprogram_Body_Contract, + Analyze_Subprogram_Body_Stub_Contract): Mention new contract in + comment. + * doc/gnat_rm/implementation_defined_aspects.rst + (Aspect Program_Exit): Document new aspect. + * doc/gnat_rm/implementation_defined_pragmas.rst + (Pragma Program_Exit): Document new pragma. + * einfo-utils.adb (Get_Pragma): Support new pragma. + * einfo-utils.ads (Get_Pragma): Mention new pragma in comment. + * exp_prag.adb (Expand_Pragma_Program_Exit): Expand new pragma; + body. + * exp_prag.ads (Expand_Pragma_Program_Exit): Expand new pragma; + spec. + * inline.adb (Remove_Aspects_And_Pragmas): Support new pragma. + * par-prag.adb (Prag): Support new pragma. + * sem_attr.adb (Analyze_Attribute_Old_Result): Accept attribute + Old in new pragma. + * sem_ch12.adb (Implementation of Generic Contracts): Mention new + aspect in comment. + * sem_ch13.adb (Insert_Pragma, Analyze_Aspect_Specifications): + Convert new new aspect to pragma. + * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Renumber + subsequent rule in comment. + * sem_prag.adb (Check_Postcondition_Use_In_Inlined_Subprogram) + (Contract_Freeze_Error): Mention new pragma in comment. + (Analyze_Pragma): Support new pragma; renumber subsequent rule in + comment. + (Analyze_Program_Exit_In_Decl_Part): Analyze new pragma; body. + (Sig_Flags): References in new pragma are significant when + detecting unreferenced objects. + * sem_prag.ads (Aspect_Specifying_Pragma) + (Assertion_Expression_Pragma, Pragma_Significant_To_Subprograms): + Support new aspect and pragma. + (Analyze_Program_Exit_In_Decl_Part): Analyze new pragma; spec. + (Find_Related_Package_Or_Body): Mention new pragma in comment. + * sem_util.adb (Is_Subprogram_Contract_Annotation): Support new + pragma. + * sem_util.ads (Is_Subprogram_Contract_Annotation): Mention new + pragma in comment. + * sinfo.ads (Is_Generic_Contract_Pragma): Mention new pragma in + comment. + * snames.ads-tmpl (Preset Names, Pragma_Id): Add name and pragma + identifiers. + * gnat_rm.texi: Regenerate. + +2025-06-06 Piotr Trojanek + + * libgnat/g-dyntab.ads (Instance): Update and extend comment. + * scos.ads: Remove comment about the corresponding C header. + * scos.h: Remove. + +2025-06-06 Steve Baird + + * sem_util.adb (Collect_Primitive_Operations): When collecting + primitive operations, do not include child unit subprograms. + +2025-06-06 Javier Miranda + + * sem_ch4.adb (Constant_Indexing_OK): Add missing support for + RM 4.1.6(13/3), and improve performance to avoid climbing more + than needed. Add documentation. + (Try_Indexing_Function): New subprogram. + (Expr_Matches_In_Formal): Added new formals. + (Handle_Selected_Component): New subprogram. + (Has_IN_Mode): New subprogram. + (Try_Container_Indexing): Add documentation, code reorganization + and extend its functionality to improve its support for prefixed + notation calls. + +2025-06-06 Viljar Indus + + * debug.adb: Mark -gnatd_D as unused. + * diagnostics-repository.adb: Move to... + * errid.adb: ...here. + * diagnostics-repository.ads: Move to... + * errid.ads: ...here. + * errout.adb (Error_Msg_Internal): Add new arguments for the new + attributes of Error_Msg_Objects. + (Error_Msg): Likewise. + (Error_Msg_N): Likewise. + (Labeled_Span): New method for creating Labeled_Span-s + (Primary_Label_Span): New method for creating primary Labeled_Spans. + (Secondary_Labeled_Span): New method for creating secondary + Labeled_Spans. + (Edit): New method for creating Edit elements. + (Fix): New method for creating Fix elements. + (Error_Msg_F): Simplify code for evaluating the span. + (Error_Msg_FE): Likewise. + (Error_Msg_NE): Likewise. + (Error_Msg_NEL): Likewise. + (Error_Msg_N_Gigi): New method that is used as a wrapper for the + Error_Msg_xxx methods that have the new arguments. This function + is later mapped to the Error_Msg method used inside gigi. + (Error_Msg_NE_Gigi): Likewise. + (Write_JSON_Span): Ensure that the Style prefix is included that is + removed when parsing the message is reinserted to the JSON report. + (Output_Messages): Use the new Pretty_Printer and Sarif_Printer + packages to print the messages and remove the old implementation + for the pretty printer. + (Set_Msg_Text): Remove message kind insertion characters from the + final message text to avoid some message kinds being duplicated. + (To_Full_Span_First): New method for creating a span for a node. + (To_Full_Span): Likewise. + * errout.ads: Add the specs for all of the newly added functions. + * diagnostics-pretty_emitter.adb: Move to... + * erroutc-pretty_emitter.adb: ...here. + * diagnostics-pretty_emitter.ads: Move to... + * erroutc-pretty_emitter.ads: ...here. + * diagnostics-sarif_emitter.adb: Move to... + * erroutc-sarif_emitter.adb: ...here. + * diagnostics-sarif_emitter.ads: Move to... + * erroutc-sarif_emitter.ads: ...here. + * erroutc.adb (Next_Error_Msg): New method for iterating to the + next error message. + (Next_Continuation_Msg): New method for iterating to the next + continuation message. + (Primary_Location): New method for returning the first primary + location for the error message. + (Get_Human_Id): New method for returning the human readable + name for the switch associated with this error message. + (Get_Doc_Switch): New method for creating the tag for the switch + used in the error message. + (Output_Text_Within): Change the method to operating on Strings + instead of String pointers. + (Output_Msg_Text): Simplify implementation for generating the + error message. + (Prescan_Message): Make the String handling more error proof. + * erroutc.ads (Error_Msg_Object): Add new attributes that were + added to Diagnostic objects to Error_Msg_Objects. + Add new methods for handling the new error objects. + * diagnostics-switch_repository.adb: Move to... + * errsw.adb: ...here. + * errutil.adb (Error_Msg): Initialize all of the new attributes + added to Error_Msg_Object-s. + * fe.h (Error_Msg_N): Update the binding. + (Error_Msg_NE): Update the binding. + For now the error_msg methods in gigi will use the old + simplified interface for those methods. + * diagnostics-json_utils.adb: Move to... + * json_utils.adb: ...here. + * diagnostics-json_utils.ads: Move to... + * json_utils.ads: ...here. + * par-endh.adb: Replace the old error_msg + calls with the updated interface. + * sem_aggr.adb: Likewise. + * sem_ch13.adb: Likewise. + * sem_ch4.adb: Likewise. + * sem_ch9.adb: Likewise. + * diagnostics-brief_emitter.adb: Removed. + * diagnostics-brief_emitter.ads: Removed. + * diagnostics-constructors.adb: Removed. + * diagnostics-constructors.ads: Removed. + * diagnostics-converter.adb: Removed. + * diagnostics-converter.ads: Removed. + * diagnostics-switch_repository.ads: Removed. + * diagnostics-utils.adb: Removed. + * diagnostics-utils.ads: Removed. + * diagnostics.adb: Removed. + * diagnostics.ads: Removed. + * errsw.ads: New file. Based on diagnostics-switch_repository.ads. + It additionally contains all the switch enumerations. + * gcc-interface/Make-lang.in: Update compilation dependencies. + * gcc-interface/Makefile.in: Likewise. + +2025-06-06 Ronan Desplanques + + * contracts.adb (Add_Invariant_And_Predicate_Checks): Assign Ekind. + * inline.adb (Expand_Inlined_Call): Likewise. + * exp_ch9.adb (Build_Simple_Entry_Call): Likewise. + * exp_dist.adb (Append_Array_Traversal): Likewise. + * exp_fixd.adb (Build_Double_Divide_Code, Build_Scaled_Divide_Code): + Likewise. + +2025-06-06 Olivier Hainque + + * libgnarl/s-linux__android-aarch64.ads: Provide an + Android_Sigaction generic package to expose an aarch64 + version of struct_sigation, using a provided sigset_t + for sa_flags. + * libgnarl/s-linux__android-arm.ads: Likewise, for ARM + rather than aarch64. + * libgnarl/s-osinte__android.ads: Move sigset_t definition + to the visible part and use it to instantiate the Android_Sigation + generic provided by System.Linux, which is specialized for ARM vs + aarch64. Define struct_sigaction out of the Android_Sigaction + instance, remove the local representation clauses. + +2025-06-06 Olivier Hainque + + * Makefile.rtl: Rework the Android pairs to match those of a + regular Linux port rather than a generic posix one. + * libgnarl/s-osinte__android.ads: Import pcrtl and add bindings + for the pthread_rwlock entry points, used by the Linux units now + in the libgnat target pairs. + * sysdep.c (__gnat_has_cap_sys_nice): Define for Android, + conservative return 0. + * adaint.c (__gnat_cpu_alloc): Define for Android as for Linux. + +2025-06-06 Piotr Trojanek + + * namet.ads (Name_Entry): Update comments to explain the current needs. + +2025-06-06 Piotr Trojanek + + * lib.ads (Unit_Record): Remove representation clauses and filler + components + * lib-load.adb, lib-writ.adb: Remove initialization of data fillers. + * nlists.adb (Allocate_List_Tables): Remove explicit initialization. + * repinfo.adb (Exp_Node): Remove representation clauses. + * sinput.ads (Source_File_Record): Likewise. + * urealp.adb (Ureal_Entry): Likewise. + +2025-06-06 Piotr Trojanek + + * doc/gnat_rm/representation_clauses_and_pragmas.rst + (Effect of Convention on Representation): Fix number of list items. + * gnat_rm.texi: Regenerate. + * gnat_ugn.texi: Regenerate. + +2025-06-06 Eric Botcazou + + * sem_ch10.adb (Install_Siblings.In_Context): Add missing guard. + +2025-06-06 Ronan Desplanques + + * sem_ch4.adb (Analyze_Selected_Component): Tweak condition. + +2025-06-06 Eric Botcazou + + * exp_ch4.adb (Insert_Conditional_Object_Declaration): Make sure the + object is allocated properly by the code generator at library level. + +2025-06-06 Piotr Trojanek + + * sem_eval.adb (Check_Non_Static_Context): Remove special handling of + floating-point zero. + +2025-06-06 Piotr Trojanek + + * einfo.ads (Incomplete_View): Move from Sinfo; adapt wording. + * exp_ch3.adb (Build_Record_Init_Proc): Adapt retrieval of + Incomplete_View. + * gen_il-fields.ads (Opt_Field_Enum): Move Incomplete_View from node + to entity field. + * gen_il-gen-gen_entities.adb (Gen_Entities): Add field. + * gen_il-gen-gen_nodes.adb (Gen_Nodes): Remove field. + * sem_ch3.adb (Analyze_Full_Type_Declaration, + Check_Anonymous_Access_Component): Adapt setting of Incomplete_View. + * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Adapt retrieval of + Incomplete_View for class-wide types; no longer rely on class-wide + type being attached to non-classwide type declaration. + * sem_util.adb (Collect_Primitive_Operations): Adapt retrieval of + Incomplete_View. + * sinfo.ads (Incomplete_View): Move to Einfo. + +2025-06-06 squirek + + * aspects.ads: Add support for constructors. + * exp_aggr.adb: Likewise. + * exp_attr.adb: Likewise. + * exp_ch3.adb: Likewise. + * exp_ch4.adb: Likewise. + * exp_util.adb: Likewise. + * gen_il-fields.ads: Likewise. + * gen_il-gen-gen_entities.adb: Likewise. + * gen_il-gen-gen_nodes.adb: Likewise. + * par-ch4.adb: Likewise. + * sem_aggr.adb: Likewise. + * sem_attr.adb, sem_attr.ads: Likewise. + * sem_ch13.adb: Likewise. + * sem_ch3.adb: Likewise. + * sem_ch5.adb: Likewise. + * sem_ch6.adb: Likewise. + * sem_res.adb: Likewise. + * sem_util.adb, sem_util.ads: Likewise. + * snames.ads-tmpl: Likewise. + +2025-06-06 squirek + + * doc/gnat_rm/gnat_language_extensions.rst: Add documentation. + * gnat_rm.texi: Regenerate. + +2025-06-06 Eric Botcazou + + * einfo.ads (Modulus): Change to implementation base type only. + * gen_il-gen-gen_entities.adb (Modular_Integer_Kind): Change type + of Modulus field to Impl_Base_Type_Only. + +2025-06-06 Eric Botcazou + + * einfo.ads (Original_Access_Type): Restore. + * gen_il-fields.ads (Opt_Field_Enum): Restore Original_Access_Type. + * gen_il-gen-gen_entities.adb: Adjust accordingly. + * exp_ch9.adb (Expand_Access_Protected_Subprogram_Type): Restore the + call to Set_Original_Access_Type. + +2025-06-06 Eric Botcazou + + * einfo.ads (Default_Expr_Function): Delete. + (Dependent_Instances): Likewise. + (Handler_Records): Likewise. + (Needs_Activation_Record): Likewise. + (Original_Access_Type): Likewise. + (Register_Exception_Call): Likewise. + * sinfo.ads (Accept_Handler_Records): Likewise. + * gen_il-fields.ads (Opt_Field_Enum): Remove Accept_Handler_Records, + Default_Expr_Function, Dependent_Instances, Handler_Records, + Needs_Activation_Record, Original_Access_Type and + Register_Exception_Call. + * gen_il-gen-gen_entities.adb: Adjust accordingly. + * gen_il-gen-gen_nodes.adb: Likewise. + * exp_ch9.adb (Expand_Access_Protected_Subprogram_Type): Remove call + to Set_Original_Access_Type. + (Expand_N_Selective_Accept): Remove call to Set_Handler_Records. + * exp_ch11.adb (Expand_N_Exception_Declaration): Remove call to + Set_Register_Exception_Call. + * sem_ch3.adb (Access_Subprogram_Declaration): Remove call to + Set_Needs_Activation_Record. + * sem_ch12.adb (Instantiate_Package_Body): Remove call to + Set_Handler_Records. + +2025-06-06 Steve Baird + + * sem_ch4.adb + (Find_Unary_Types): Because we reanalyze names in an instance, + we sometimes have to take steps to filter out extraneous name + resolution candidates that happen to be visible at the point of the + instance declaration. Remove some code that appears to have been + written with this in mind. This is done for two reasons. First, the + code sometimes doesn't work (possibly because the In_Instance test + is not specific enough - it probably should be testing to see whether + we are in an instance of the particular generic in which the result + of calling Corresponding_Generic_Type was declared) and causes correct + code to be rejected. Second, the code seems to no longer be necessary + (possibly because of subsequent fixes in this area which are not + specific to unary operators). + +2025-06-06 Ronan Desplanques + + * sem_ch8.adb (Premature_Usage): Remove dead code. + +2025-06-06 Eric Botcazou + + * einfo.ads (Size_Check_Code): Delete. + * gen_il-fields.ads (Opt_Field_Enum): Remove Size_Check_Code. + * gen_il-gen-gen_entities.adb (Constant_Or_Variable_Kind): Likewise. + * sem_ch13.adb (Analyze_Attribute_Definition_Clause): Remove call + to Kill_Size_Check_Code. + * sem_prag.adb (Analyze_Pragma): Likewise. + * sem_util.ads (Kill_Size_Check_Code): Delete. + * sem_util.adb (Kill_Size_Check_Code): Likewise. + +2025-06-06 Claire Dross + + * sem_ch6.adb (Analyze_SPARK_Subprogram_Specification): + Allow the first parameter of functions whose return type is + an anonymous access-to-variable type to have mode IN OUT. + +2025-06-06 Ronan Desplanques + + * gen_il-fields.ads: New field. + * gen_il-gen-gen_entities.adb: New field. + * einfo.ads: Document new field. + * sem_res.adb (Check_Discriminant_Use): Record relevant uses in new + field. Move warning emission to... + * sem_ch3.adb (Analyze_Full_Type_Declaration): ... Here. + +2025-06-06 Steve Baird + + * sem_disp.adb + (Check_Dispatching_Operation): Delete code to generate + "missing overriding indicator" warning. Update comments. + +2025-06-06 Ronan Desplanques + + * cstand.adb (Create_Standard): Delay declaration generation for + Natural and Positive. + +2025-06-06 Ronan Desplanques + + * cstand.adb (Create_Standard): Remove useless calls. + +2025-06-06 Eric Botcazou + + * exp_aggr.adb (Expand_Record_Aggregate): Use the named form for the + second actual parameter in the call to Duplicate_Subexpr. + * exp_attr.adb (Expand_Size_Attribute): Likewise. + * exp_ch5.adb (Expand_Assign_Array): Likewise. + (Expand_Assign_Array_Bitfield): Likewise. + (Expand_Assign_Array_Bitfield_Fast): Likewise. + * exp_util.ads (Duplicate_Subexpr): Add New_Scope formal parameter. + (Duplicate_Subexpr_No_Checks): Likewise. + (Duplicate_Subexpr_Move_Checks): Likewise. + * exp_util.adb (Build_Allocate_Deallocate_Proc): Pass Proc_Id as the + actual for New_Scope in the calls to Duplicate_Subexpr_No_Checks. + (Duplicate_Subexpr): Add New_Scope formal parameter and forward it + in the call to New_Copy_Tree. + (Duplicate_Subexpr_No_Checks): Likewise. + (Duplicate_Subexpr_Move_Checks): Likewise. + +2025-06-06 Piotr Trojanek + + * checks.adb (Insert_Valid_Check): Set flag Assignment_OK in the object + declaration inserted for the validity checks. + 2025-06-05 squirek * sem_warn.adb diff --git a/gcc/cobol/ChangeLog b/gcc/cobol/ChangeLog index e4d7a1eaa56..dff15232f78 100644 --- a/gcc/cobol/ChangeLog +++ b/gcc/cobol/ChangeLog @@ -1,3 +1,68 @@ +2025-06-06 Robert Dubner + James K. Lowden + + PR cobol/120328 + PR cobol/119695 + * Make-lang.in: Success with non-English locale. + * cbldiag.h (cbl_unimplemented_at): Comment: + * cdf-copy.cc (copybook_elem_t::open_file): Indentation. + * cdf.y: YYABORT on certain errors. + * cdfval.h (cdf_value): Const parameter. + * copybook.h (class copybook_elem_t): Initialization. + (class uppername_t): Explicit constructor. + * except.cc (ec_type_descr): Remove %04s. + (cbl_enabled_exceptions_t::dump): Remove %zu. + * exceptg.h (class exception_turn_t): Explicit constructor. + * genapi.cc (parser_perform_conditional): Remove %zu. + (set_exception_environment): Formatting. + (parser_statement_begin): Exception overhead. + (parser_perform_conditional): Formatting: + (parser_perform_conditional_end): Eliminate size_t. + (parser_check_fatal_exception): Exception overhead. + (parser_perform_conditional_end): Remove %zu. + * inspect.h (struct cbx_inspect_match_t): Const reference. + (struct cbx_inspect_t): Const parameter. + * lexio.cc (cdftext::process_file): Remove %zu. + * lexio.h (struct YYLTYPE): Remove unneeded struct. + (YYLTYPE_IS_DECLARED): Likewise. + (YYLTYPE_IS_TRIVIAL): Likewise. + * parse.y: Comment; change DOT. + * scan.l: Scan function names without swallowing whitespace. + * scan_ante.h (scanner_parsing): Remove %zu. + (scanner_parsing_pop): Remove %zu. + (binary_integer_usage): Remove %zu. + * scan_post.h (prelex): Correct post-CDF resumption. + (yylex): Clearer message. + * symbols.cc (symbol_table_extend): Explicit constructor. + (elementize): Const parameter. + (is_variable_length): Correct always-false. + (symbols_update): Remove unnecessary shadow variable. + (struct symbol_elem_t): Const parameter. + (symbol_alphabet_add): Const parameter. + (new_literal_add): Initialization. + * symbols.h (class cbl_domain_elem_t): Correct assignment. + (struct cbl_span_t): Improve constructor. + (struct cbl_refer_t): Initialization. + (struct cbl_alphabet_t): Rename shadow variable. + (struct cbl_file_key_t): Remove unused constructor. + (struct symbol_elem_t): Initialization. + (struct cbl_until_addresses_t): Use unsigned int, for messages. + (struct cbl_prog_hier_t): Initialization. + (struct cbl_perform_tgt_t): Repair constructor. + (struct cbl_label_t): Const parameter. + (symbol_typedef_add): Const parameter. + (symbol_field_add): Explicit constructor. + (symbol_label_add): Explicit constructor. + (symbol_program_add): Remove C-style "struct" use. + (symbol_special_add): Remove C-style "struct" use. + (symbol_alphabet_add): Const parameter. + (symbol_file_add): Remove C-style "struct" use. + (symbol_section_add): Remove C-style "struct" use. + * symfind.cc: Const parameter. + * util.cc (gb4): New function. + * util.h (gb4): New function. + * TODO: New file. + 2025-06-05 Robert Dubner PR cobol/119975 diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 0541c5da165..0078b6c5150 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2025-06-06 Jason Merrill + + PR c++/120555 + * decl2.cc (fn_being_defined, fn_template_being_defined): New. + (mark_used): Check fn_template_being_defined. + 2025-06-05 Patrick Palka PR c++/120224 diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 78f60029c55..857eb720c70 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,13 @@ +2025-06-06 Tobias Burnus + Sandra Loosemore + + * f95-lang.cc (ATTR_PURE_NOTHROW_LIST): Define. + * trans-expr.cc (get_builtin_fn): Handle omp_get_num_devices + and omp_get_intrinsic_device. + * gfortran.h (gfc_option_t): Add disable_omp_... for them. + * options.cc (gfc_handle_option): Handle them with + -fno-builtin-. + 2025-06-04 Andre Vehreschild PR fortran/120483 diff --git a/gcc/m2/ChangeLog b/gcc/m2/ChangeLog index 6b19a4d0b1d..13d3d01bb2e 100644 --- a/gcc/m2/ChangeLog +++ b/gcc/m2/ChangeLog @@ -1,3 +1,12 @@ +2025-06-06 Gaius Mulley + + PR modula2/120542 + * gm2-compiler/M2Quads.mod (BuildReturnLower): New procedure. + (BuildReturn): Allow return without an expression from + module initialization blocks. Generate an error if an + expression is provided. Call BuildReturnLower if no error + was seen. + 2025-06-01 Gaius Mulley PR modula2/120474 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 8f9ad099529..9df90e69dee 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,97 @@ +2025-06-06 Jason Merrill + + PR c++/120555 + * g++.dg/cpp1z/constexpr-if39.C: New test. + +2025-06-06 Jeff Law + + * gcc.target/arc/fma-1.c: Make "a" extern so the optimizers can + see any value and optimize away the key computation. + +2025-06-06 Tobias Burnus + Sandra Loosemore + + * c-c++-common/gomp/omp_get_num_devices_initial_device-2.c: New test. + * c-c++-common/gomp/omp_get_num_devices_initial_device.c: New test. + * gfortran.dg/gomp/omp_get_num_devices_initial_device-2.f90: New test. + * gfortran.dg/gomp/omp_get_num_devices_initial_device.f90: New test. + +2025-06-06 Pan Li + + * gcc.target/riscv/rvv/autovec/binop/vdiv-rv32gcv-nofm.c: Adjust + the asm check for vdivu. + * gcc.target/riscv/rvv/autovec/binop/vdiv-rv32gcv.c: Ditto. + * gcc.target/riscv/rvv/autovec/binop/vdiv-rv64gcv-nofm.c: Ditto. + * gcc.target/riscv/rvv/autovec/binop/vdiv-rv64gcv.c: Ditto. + +2025-06-06 Pan Li + + * gcc.target/riscv/rvv/autovec/vx_vf/vx-4-u16.c: Add asm check + for vdivu.vx combine. + * gcc.target/riscv/rvv/autovec/vx_vf/vx-4-u32.c: Ditto. + * gcc.target/riscv/rvv/autovec/vx_vf/vx-4-u64.c: Ditto. + * gcc.target/riscv/rvv/autovec/vx_vf/vx-4-u8.c: Ditto. + * gcc.target/riscv/rvv/autovec/vx_vf/vx-5-u16.c: Ditto. + * gcc.target/riscv/rvv/autovec/vx_vf/vx-5-u32.c: Ditto. + * gcc.target/riscv/rvv/autovec/vx_vf/vx-5-u64.c: Ditto. + * gcc.target/riscv/rvv/autovec/vx_vf/vx-5-u8.c: Ditto. + * gcc.target/riscv/rvv/autovec/vx_vf/vx-6-u16.c: Ditto. + * gcc.target/riscv/rvv/autovec/vx_vf/vx-6-u32.c: Ditto. + * gcc.target/riscv/rvv/autovec/vx_vf/vx-6-u64.c: Ditto. + * gcc.target/riscv/rvv/autovec/vx_vf/vx-6-u8.c: Ditto. + +2025-06-06 Pan Li + + * gcc.target/riscv/rvv/autovec/vx_vf/vx-1-u16.c: Add asm check + for vdivu.vx combine. + * gcc.target/riscv/rvv/autovec/vx_vf/vx-1-u32.c: Ditto. + * gcc.target/riscv/rvv/autovec/vx_vf/vx-1-u64.c: Ditto. + * gcc.target/riscv/rvv/autovec/vx_vf/vx-1-u8.c: Ditto. + * gcc.target/riscv/rvv/autovec/vx_vf/vx-2-u16.c: Ditto. + * gcc.target/riscv/rvv/autovec/vx_vf/vx-2-u32.c: Ditto. + * gcc.target/riscv/rvv/autovec/vx_vf/vx-2-u64.c: Ditto. + * gcc.target/riscv/rvv/autovec/vx_vf/vx-2-u8.c: Ditto. + * gcc.target/riscv/rvv/autovec/vx_vf/vx-3-u16.c: Ditto. + * gcc.target/riscv/rvv/autovec/vx_vf/vx-3-u32.c: Ditto. + * gcc.target/riscv/rvv/autovec/vx_vf/vx-3-u64.c: Ditto. + * gcc.target/riscv/rvv/autovec/vx_vf/vx-3-u8.c: Ditto. + * gcc.target/riscv/rvv/autovec/vx_vf/vx_binary_data.h: Add test + data for run test. + * gcc.target/riscv/rvv/autovec/vx_vf/vx_vdiv-run-1-u16.c: New test. + * gcc.target/riscv/rvv/autovec/vx_vf/vx_vdiv-run-1-u32.c: New test. + * gcc.target/riscv/rvv/autovec/vx_vf/vx_vdiv-run-1-u64.c: New test. + * gcc.target/riscv/rvv/autovec/vx_vf/vx_vdiv-run-1-u8.c: New test. + +2025-06-06 Gaius Mulley + + PR modula2/120542 + * gm2/iso/fail/badreturn.mod: New test. + * gm2/iso/fail/badreturn2.mod: New test. + * gm2/iso/pass/modulereturn.mod: New test. + * gm2/iso/pass/modulereturn2.mod: New test. + +2025-06-06 Eric Botcazou + + * gnat.dg/specs/aggr7.ads: New test. + +2025-06-06 Jiawei + Jiawei Chen + Yangyu Chen + Tang Haojin + + * gcc.target/riscv/mcpu-xiangshan-kunminghu.c: New test. + +2025-06-06 Richard Biener + + PR tree-optimization/120032 + * gcc.target/i386/pr120032-3.c: New testcase. + +2025-06-06 Richard Biener + + PR tree-optimization/120032 + * gcc.target/i386/pr120032-1.c: New testcase. + * gcc.target/i386/pr120032-2.c: Likewise. + 2025-06-05 Jeff Law * gcc.target/riscv/nozicond-3.c: New test. diff --git a/libgcobol/ChangeLog b/libgcobol/ChangeLog index f853c51d0a4..ceb78dc8403 100644 --- a/libgcobol/ChangeLog +++ b/libgcobol/ChangeLog @@ -1,3 +1,23 @@ +2025-06-06 Robert Dubner + James K. Lowden + + * common-defs.h (enum cbl_file_mode_t): Whitespace. + (enum file_stmt_t): Likewise. + (ec_cmp): Likewise. + (struct cbl_declarative_t): Add "explicit" keyword. + (class cbl_enabled_exceptions_t): Whitespace. + * gfileio.cc: Remove cppcheck comment. + * libgcobol.cc (class ec_status_t): Add "explicit" keyword. + (match_declarative): Remove %zu. + (default_exception_handler): Likwise. + (__gg__check_fatal_exception): Exception overhead. + (__gg__exception_push): Remove %zu. + (__gg__exception_pop): Likewise. + (cbl_enabled_exception_t::dump): Likewise. + (__gg__match_exception): Exception overhead; remove %zu. + (cbl_enabled_exceptions_t::dump): Remove %zu. + (__gg__set_exception_environment): Likewise. + 2025-06-05 Robert Dubner PR cobol/119975 diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog index 3e68ecba90a..b4da5094470 100644 --- a/libgomp/ChangeLog +++ b/libgomp/ChangeLog @@ -1,3 +1,15 @@ +2025-06-06 Tobias Burnus + Sandra Loosemore + + * libgomp.texi (omp_get_num_devices, omp_get_intrinsic_device): + Document builtin handling. + +2025-06-06 Tobias Burnus + + PR target/120530 + * testsuite/libgomp.c/target-map-zero-sized-3.c (main): Add missing + map clause; remove unused variable. + 2025-06-04 Tobias Burnus Sandra Loosemore diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 18d82cb4ecf..473857b42d8 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,74 @@ +2025-06-06 Jonathan Wakely + + * testsuite/30_threads/semaphore/1.cc: Check type properties and + max() values. + * testsuite/30_threads/semaphore/3.cc: New test. + * testsuite/30_threads/semaphore/cons_neg.cc: New test. + +2025-06-06 Jonathan Wakely + + * include/bits/semaphore_base.h (_Select_semaphore_impl): Rename + to _Semaphore_impl and use std::conditional_t instead of an + immediately invoked lambda expression. + * include/std/semaphore (counting_semaphore): Adjust to use new + name. + +2025-06-06 Jonathan Wakely + + * testsuite/30_threads/barrier/1.cc: Require hosted. Only + require gthreads for non-linux targets. + * testsuite/30_threads/barrier/2.cc: Likewise. + * testsuite/30_threads/semaphore/1.cc: Likewise. + * testsuite/30_threads/semaphore/2.cc: Likewise. + * testsuite/30_threads/semaphore/cons.cc: Likewise. + * testsuite/30_threads/semaphore/least_max_value_neg.cc: + Likewise. + * testsuite/30_threads/semaphore/try_acquire.cc: Likewise. + +2025-06-06 Patrick Palka + + PR libstdc++/120432 + * include/std/flat_map (flat_map::operator[]): Make the + non-template overloads call try_emplace directly. Remove + non-standard same_as constraint on the template overload. + * testsuite/23_containers/flat_map/1.cc (test08): New test. + +2025-06-06 Jonathan Wakely + + * include/bits/atomic_timed_wait.h (__atomic_wait_address_until_v): + Add assertion to prevent use with proxy waits. + (__atomic_wait_address_for_v): Likewise. + * include/bits/atomic_wait.h (__atomic_wait_address_v): + Likewise. + +2025-06-06 Jonathan Wakely + + * include/bits/atomic_wait.h (__atomic_wait_address_v): Add bare + wait flag. + * include/bits/semaphore_base.h (__semaphore_base): Rename to + __semaphore_impl. Replace local variable and predicate lambdas + with _Available struct. + (__platform_semaphore_impl): New class template. + (__semaphore_impl): Remove alias template. + (_Select_semaphore_impl): New alias template. + * include/std/semaphore (counting_semaphore): Use + _Select_semaphore_impl. + +2025-06-06 Tomasz Kamiński + + PR libstdc++/120565 + * include/bits/chrono_io.h + (operator<<(basic_ostream<_CharT, _Traits>&, const sys_info&)) + (operator<<(basic_ostream<_CharT, _Traits>&, const local_info&)): + Support wchar_t as _CharT. + * testsuite/std/time/format/empty_spec.cc: Instantiated test_infos for + wchar_t and increase timeout. + +2025-06-06 Tomasz Kamiński + + * testsuite/std/time/format/empty_spec.cc: New tests and increased + timeout. + 2025-06-05 Jonathan Wakely PR libstdc++/120548