From 69fdcd0c57c761693bd90f61bcd4884951f16365 Mon Sep 17 00:00:00 2001 From: GCC Administrator Date: Sat, 22 Jun 2024 00:18:44 +0000 Subject: Daily bump. --- gcc/ChangeLog | 196 ++++++++++++++++++++++++++++++++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 166 ++++++++++++++++++++++++++++++++++++++++ gcc/testsuite/ChangeLog | 37 +++++++++ 4 files changed, 400 insertions(+), 1 deletion(-) (limited to 'gcc') diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 7693558..f567922 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,199 @@ +2024-06-21 David Malcolm + + * diagnostic-format-json.cc + (json_output_format::on_end_diagnostic): Use + get_diagnostic_kind_text rather than embedding a duplicate copy of + the table. + * diagnostic-format-sarif.cc + (make_rule_id_for_diagnostic_kind): Likewise. + * diagnostic.cc (get_diagnostic_kind_text): New. + * diagnostic.h (get_diagnostic_kind_text): New decl. + +2024-06-21 David Malcolm + + * diagnostic-path.cc (diagnostic_event::meaning::dump_to_pp): Move + here from diagnostic.cc. + (diagnostic_event::meaning::maybe_get_verb_str): Likewise. + (diagnostic_event::meaning::maybe_get_noun_str): Likewise. + (diagnostic_event::meaning::maybe_get_property_str): Likewise. + (diagnostic_path::get_first_event_in_a_function): Likewise. + (diagnostic_path::interprocedural_p): Likewise. + (debug): Likewise for diagnostic_path * overload. + * diagnostic.cc (diagnostic_event::meaning::dump_to_pp): Move from + here to diagnostic-path.cc. + (diagnostic_event::meaning::maybe_get_verb_str): Likewise. + (diagnostic_event::meaning::maybe_get_noun_str): Likewise. + (diagnostic_event::meaning::maybe_get_property_str): Likewise. + (diagnostic_path::get_first_event_in_a_function): Likewise. + (diagnostic_path::interprocedural_p): Likewise. + (debug): Likewise for diagnostic_path * overload. + +2024-06-21 Jeff Law + + * config/stormy16/stormy16.md (swpn_zext): New pattern. + +2024-06-21 Richard Sandiford + + * config/stormy16/predicates.md (xs_hi_nonmemory_operand): Handle + symbol_ref and label_ref. + +2024-06-21 Richard Sandiford + + * config/iq2000/iq2000.cc (iq2000_print_operand): Make %p handle 1<<31. + * config/iq2000/iq2000.md: Remove "I" constraints on + power_of_2_operands. + +2024-06-21 Richard Sandiford + + * rtl-ssa/changes.cc (rtl_ssa::changes_are_worthwhile): Don't + cost no-op moves. + * rtl-ssa/insns.cc (insn_info::calculate_cost): Likewise. + +2024-06-21 Andrew MacLeod + + * gimple-range.cc (gimple_ranger::register_inferred_ranges): Do not + dump global range info after set_range_info. + (gimple_ranger::register_transitive_inferred_ranges): Likewise. + (dom_ranger::range_of_stmt): Likewise. + * tree-ssanames.cc (set_range_info): If global range info + changes, maybe print new range to dump_file. + * tree-vrp.cc (remove_unreachable::handle_early): Do not + dump global range info after set_range_info. + (remove_unreachable::remove): Likewise. + (remove_unreachable::remove_and_update_globals): Likewise. + (pass_assumptions::execute): Likewise. + +2024-06-21 Andrew MacLeod + + * gimple-range.cc (dom_ranger::dom_ranger): Create a block + vector. + (dom_ranger::~dom_ranger): Dispose of the block vector. + (dom_ranger::edge_range): Delete. + (dom_ranger::range_on_edge): Combine range in src BB with any + range gori_nme_on_edge returns. + (dom_ranger::range_in_bb): Combine global range with any active + contextual range for an ssa-name. + (dom_ranger::range_of_stmt): Fix non-ssa LHS case, use + fur_depend for folding so relations can be registered. + (dom_ranger::maybe_push_edge): Delete. + (dom_ranger::pre_bb): Create incoming contextual range vector. + (dom_ranger::post_bb): Free contextual range vector. + * gimple-range.h (dom_ranger::edge_range): Delete. + (dom_ranger::m_e0): Delete. + (dom_ranger::m_e1): Delete. + (dom_ranger::m_bb): New. + (dom_ranger::m_pop_list): Delete. + * tree-vrp.cc (execute_fast_vrp): Enable relation oracle. + +2024-06-21 Andrew MacLeod + + * tree-vrp.cc (remove_unreachable::remove): Export global range + if builtin_unreachable dominates all uses. + (remove_unreachable::remove_and_update_globals): Do not reset SCEV. + (execute_ranger_vrp): Reset SCEV here instead. + (fvrp_folder::fvrp_folder): Take final pass flag + and create a remove_unreachable object when specified. + (fvrp_folder::pre_fold_stmt): Register GIMPLE_CONDs with + the remove_unreachcable object. + (fvrp_folder::m_unreachable): New. + (execute_fast_vrp): Process remove_unreachable object. + (pass_vrp::execute): Add final_p flag to execute_fast_vrp. + +2024-06-21 David Malcolm + + PR testsuite/109360 + * doc/install.texi: Mention optional usage of "jsonschema" tool. + +2024-06-21 David Malcolm + + PR testsuite/109360 + * diagnostic-format-sarif.cc + (sarif_builder::make_location_object): Pass any column override + from rich_loc to maybe_make_physical_location_object. + (sarif_builder::maybe_make_physical_location_object): Add + "column_override" param and pass it to maybe_make_region_object. + (sarif_builder::maybe_make_region_object): Add "column_override" + param and use it when the location has 0 for a column. Don't + add "startLine", "startColumn", "endLine", or "endColumn" if + the values aren't positive. + (sarif_builder::maybe_make_region_object_for_context): Don't + add "startLine" or "endLine" if the values aren't positive. + +2024-06-21 Richard Sandiford + + * config/sh/sh.md (*minus_plus_one): Add constraints. + +2024-06-21 Andrew Pinski + + PR tree-optimization/68855 + * tree-complex.cc (init_dont_simulate_again): Handle PAREN_EXPR + like NEGATE_EXPR. + (complex_propagate::visit_stmt): Likewise. + (expand_complex_move): Don't handle PAREN_EXPR. + (expand_complex_paren): New function. + (expand_complex_operations_1): Handle PAREN_EXPR like + NEGATE_EXPR. And call expand_complex_paren for PAREN_EXPR. + +2024-06-21 Richard Biener + + * doc/passes.texi: Remove references to no longer existing + passes. + +2024-06-21 YunQiang Su + + * configure.ac: Set gcc_cv_as_mips_explicit_relocs if + gcc_cv_as_mips_explicit_relocs_pcrel. + * configure: Regenerate. + +2024-06-21 YunQiang Su + + * config/mips/mips.cc(mips_rtx_costs): Set condmove cost. + * config/mips/mips.md(mov_on_, + mov_on__mips16e2, + mov_on__ne + mov_on__ne_mips16e2): Define name by + remove starting *, so that we can use CODE_FOR_. + +2024-06-21 Kewen Lin + Xionghu Luo + + PR target/106069 + PR target/115355 + * config/rs6000/altivec.md (altivec_vmrghw_direct_): Rename + to ... + (altivec_vmrghw_direct__be): ... this. Add the condition + BYTES_BIG_ENDIAN. + (altivec_vmrghw_direct__le): New define_insn. + (altivec_vmrglw_direct_): Rename to ... + (altivec_vmrglw_direct__be): ... this. Add the condition + BYTES_BIG_ENDIAN. + (altivec_vmrglw_direct__le): New define_insn. + (altivec_vmrghw): Adjust by calling gen_altivec_vmrghw_direct_v4si_be + for BE and gen_altivec_vmrglw_direct_v4si_le for LE. + (altivec_vmrglw): Adjust by calling gen_altivec_vmrglw_direct_v4si_be + for BE and gen_altivec_vmrghw_direct_v4si_le for LE. + (vec_widen_umult_hi_v8hi): Adjust the call to + gen_altivec_vmrghw_direct_v4si by gen_altivec_vmrghw for BE + and by gen_altivec_vmrglw for LE. + (vec_widen_smult_hi_v8hi): Likewise. + (vec_widen_umult_lo_v8hi): Adjust the call to + gen_altivec_vmrglw_direct_v4si by gen_altivec_vmrglw for BE + and by gen_altivec_vmrghw for LE + (vec_widen_smult_lo_v8hi): Likewise. + * config/rs6000/rs6000.cc (altivec_expand_vec_perm_const): Replace + CODE_FOR_altivec_vmrghw_direct_v4si by + CODE_FOR_altivec_vmrghw_direct_v4si_be for BE and + CODE_FOR_altivec_vmrghw_direct_v4si_le for LE. And replace + CODE_FOR_altivec_vmrglw_direct_v4si by + CODE_FOR_altivec_vmrglw_direct_v4si_be for BE and + CODE_FOR_altivec_vmrglw_direct_v4si_le for LE. + * config/rs6000/vsx.md (vsx_xxmrghw_): Adjust by calling + gen_altivec_vmrghw_direct_v4si_be for BE and + gen_altivec_vmrglw_direct_v4si_le for LE. + (vsx_xxmrglw_): Adjust by calling + gen_altivec_vmrglw_direct_v4si_be for BE and + gen_altivec_vmrghw_direct_v4si_le for LE. + 2024-06-20 Roger Sayle * config/i386/i386-expand.cc (ix86_ternlog_idx): Allow any SUBREG diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index e778c42..d4f6053 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20240621 +20240622 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 9e83540..61f32cd 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,169 @@ +2024-06-21 Eric Botcazou + + * gcc-interface/trans.cc (Subprogram_Body_to_gnu): Also return early + for a protected subprogram in -gnatc mode. + +2024-06-21 Eric Botcazou + + * gcc-interface/decl.cc (gnat_to_gnu_entity) : Set + the TYPE_JUSTIFIED_MODULAR_P flag earlier. + * gcc-interface/misc.cc (gnat_unit_size_without_reusable_padding): + New function. + (LANG_HOOKS_UNIT_SIZE_WITHOUT_REUSABLE_PADDING): Redefine to above + function. + +2024-06-21 Eric Botcazou + + * gcc-interface/utils.cc (clear_decl_bit_field): New function. + (finish_record_type): Call clear_decl_bit_field instead of clearing + DECL_BIT_FIELD manually. + +2024-06-21 Eric Botcazou + + * gcc-interface/trans.cc (gnat_to_gnu) : Fix formatting. + * gcc-interface/utils2.cc: Include optabs-query.h. + (fast_modulo_reduction): Call can_mult_highpart_p on the TYPE_MODE + before generating a high-part multiply. Fix formatting. + +2024-06-21 Eric Botcazou + + * gcc-interface/gigi.h (fast_modulo_reduction): Declare. + * gcc-interface/trans.cc (gnat_to_gnu) : In the unsigned + case, call fast_modulo_reduction for {FLOOR,TRUNC}_MOD_EXPR if the + RHS is a constant and not a power of two, and the precision is not + larger than the word size. + * gcc-interface/utils2.cc: Include expmed.h. + (fast_modulo_reduction): New function. + (nonbinary_modular_operation): Call fast_modulo_reduction for the + multiplication if the precision is not larger than the word size. + +2024-06-21 Javier Miranda + + * sem_ch2.adb (Analyze_Interpolated_String_Literal): Reject + ambiguous function calls. + +2024-06-21 Ronan Desplanques + + * sem_util.adb (Examine_Array_Bounds): Add missing return + statements. Fix criterion for a string literal being empty. + +2024-06-21 Eric Botcazou + + * bcheck.adb (Check_Consistency_Of_Sdep): Guard against path to ALI + file not found. + +2024-06-21 Javier Miranda + + * sem_ch13.adb (Analyze_One_Aspect): Fix code locating the entity + of the parent type. + +2024-06-21 Marc Poulhiès + + * make.adb (Scan_Make_Arg): Adjust error message. + * gnatls.adb (Search_RTS): Likewise. + * switch-b.adb (Scan_Debug_Switches): Likewise. + +2024-06-21 Eric Botcazou + + * einfo.ads (Direct_Primitive_Operations): Mention concurrent types + as well as GNAT extensions instead of implementation details. + (Primitive_Operations): Document that Direct_Primitive_Operations is + also used for concurrent types as a fallback. + * einfo-utils.adb (Primitive_Operations): Tweak formatting. + * exp_util.ads (Find_Prim_Op): Adjust description. + * exp_util.adb (Make_Subtype_From_Expr): In the private case with + unknown discriminants, always copy Direct_Primitive_Operations and + do not overwrite the Class_Wide_Type of the expression's base type. + * sem_ch3.adb (Analyze_Incomplete_Type_Decl): Tweak comment. + (Analyze_Subtype_Declaration): Remove older and now dead calls to + Set_Direct_Primitive_Operations. Tweak comment. + (Build_Derived_Private_Type): Likewise. + (Build_Derived_Record_Type): Likewise. + (Build_Discriminated_Subtype): Set Direct_Primitive_Operations in + all cases instead of just for tagged types. + (Complete_Private_Subtype): Likewise. + (Derived_Type_Declaration): Tweak comment. + * sem_ch4.ads (Try_Object_Operation): Adjust description. + +2024-06-21 Doug Rupp + + * init.c [vxworks] (__gnat_install_handler): Revert to + installing signal handlers without regard to interrupt_state. + +2024-06-21 Javier Miranda + + * sem_disp.adb (Find_Hidden_Overridden_Primitive): Check + public dispatching primitives of ancestors; previously, + only immediately-visible primitives were checked. + +2024-06-21 Eric Botcazou + + * checks.adb (Generate_Index_Checks): Add specific treatment for + index expressions that are N_Expression_With_Actions nodes. + +2024-06-21 Eric Botcazou + + * sem_ch4.adb (Analyze_Selected_Component): Rename Name into Pref + and use Sel local variable consistently. + (Is_Simple_Indexed_Component): New predicate. + Call Is_Simple_Indexed_Component to determine whether to build an + actual subtype for the component. + +2024-06-21 Eric Botcazou + + * freeze.adb (Freeze_Array_Type): Decouple the handling of the + interaction between packing and aliased/atomic components from + that of the interaction between a component clause and aliased/ + atomic components, and retrofit the processing of the interaction + between the two characteristics and independent components into + the common processing. + +2024-06-21 Bob Duff + + * gen_il-gen-gen_nodes.adb + (N_Generic_Package_Declaration): Remove Activation_Chain_Entity. + * sinfo.ads: Comment improvements. Add missing doc. + Remove obsolete comment about Activation_Chain_Entity. + * einfo.ads: Comment improvements. Add missing doc. + * einfo-utils.adb (Base_Type): Add Assert (disabled for now). + (Next_Index): Minor cleanup. + * aspects.ads: Minor comment fix. + * exp_ch6.adb: Likewise. + * sem_ch3.adb: Likewise. + +2024-06-21 Piotr Trojanek + + * sem_ch3.adb (Add_Interface_Tag_Components): Simplify with No. + +2024-06-21 Steve Baird + + * sem_ch4.adb (Is_Effectively_Visible_Operator): A new function. + (Check_Arithmetic_Pair): In paths where Add_One_Interp was + previously called unconditionally, instead call only if + Is_Effectively_Visible_Operator returns True. + (Check_Boolean_Pair): Likewise. + (Find_Unary_Types): Likewise. + +2024-06-21 Eric Botcazou + + * accessibility.adb (Accessibility_Level): Apply the processing to + Expr when its Original_Node is an unanalyzed identifier. + +2024-06-21 Piotr Trojanek + + * sem_attr.adb (In_Aspect_Specification): Use the standard + condition that works correctly with declare expressions. + * sem_ch13.adb (Analyze_Aspects_At_Freeze_Point): Replace + ordinary analysis with preanalysis of spec expressions. + +2024-06-21 Justin Squirek + + * csets.ads (Identifier_Char): New function - replacing table. + * csets.adb (Identifier_Char): Rename and move table for static values. + (Initialize): Remove dynamic calculations. + (Identifier_Char): New function to calculate dynamic values. + * opt.adb (Set_Config_Switches): Remove setting of Identifier_Char. + 2024-06-20 Steve Baird * sem_attr.adb (Resolve_Attribute.Proper_Op): When resolving the diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 57e6fcb..b1cd4be 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,40 @@ +2024-06-21 David Malcolm + + PR testsuite/109360 + * lib/sarif-schema-2.1.0.json: New file, downloaded from + https://docs.oasis-open.org/sarif/sarif/v2.1.0/os/schemas/sarif-schema-2.1.0.json + Licensing information can be seen at + https://github.com/oasis-tcs/sarif-spec/issues/583 + which states "They are free to incorporate it into their + implementation. No need for special permission or paperwork from + OASIS." + * lib/scansarif.exp (verify-sarif-file): If "jsonschema" is + available, use it to verify that the .sarif file complies with the + SARIF schema. + * lib/target-supports.exp (check_effective_target_jsonschema): + New. + +2024-06-21 Eric Botcazou + + * gnat.dg/atomic10.adb: Adjust. + +2024-06-21 Andrew Pinski + + * gcc.dg/vect/pr68855.c: New test. + * gfortran.dg/vect/pr68855.f90: New test. + +2024-06-21 YunQiang Su + + * gcc.target/mips/movcc-2.c: Add k?100:1000 test. + +2024-06-21 Kewen Lin + Xionghu Luo + + PR target/106069 + PR target/115355 + * g++.target/powerpc/pr106069.C: New test. + * gcc.target/powerpc/pr115355.c: New test. + 2024-06-20 Hongyu Wang * gcc.target/i386/apx-ccmp-2.c: Remove -mno-apxf in option. -- cgit v1.1