diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 81fdf088830..e3a86c54536 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,68 @@ +2024-06-10 Gerald Pfeifer + + * doc/gm2.texi (Documentation): Fix typos, grammar, and a link. + +2024-06-10 Andrew MacLeod + + * gimple-array-bounds.cc (array_bounds_checker::array_bounds_checker): + Always use current range_query. + (pass_data_array_bounds): New. + (pass_array_bounds): New. + (make_pass_array_bounds): New. + * gimple-array-bounds.h (array_bounds_checker): Adjust prototype. + * passes.def (pass_array_bounds): New. Add after VRP1. + * timevar.def (TV_TREE_ARRAY_BOUNDS): New timevar. + * tree-pass.h (make_pass_array_bounds): Add prototype. + * tree-vrp.cc (execute_ranger_vrp): Remove warning param and do + not invoke array bounds warning pass. + (pass_vrp::pass_vrp): Adjust params. + (pass_vrp::close): Adjust parameters. + (pass_vrp::warn_array_bounds_p): Remove. + (make_pass_vrp): Remove warning param. + (make_pass_early_vrp): Remove warning param. + (make_pass_fast_vrp): Remove warning param. + +2024-06-10 Raphael Zinsly + + * config/riscv/bitmanip.md (*bextdisi): New pattern. + +2024-06-10 Pan Li + + PR target/115387 + * tree-ssa-math-opts.cc (math_opts_dom_walker::after_dom_children): Take + the gsi of start_bb instead of last_bb. + +2024-06-10 Raphael Zinsly + + * config/riscv/bitmanip.md (*bextdisi): New pattern. + +2024-06-10 Richard Biener + + PR tree-optimization/115388 + * tree-ssa-dse.cc (dse_classify_store): Handle irreducible + regions. + (pass_dse::execute): Make sure to mark backedges. + +2024-06-10 Richard Biener + + PR tree-optimization/115395 + * tree-vect-loop.cc (vect_create_epilog_for_reduction): + Handle STMT_VINFO_REDUC_EPILOGUE_ADJUSTMENT also for SLP + reductions of group_size one. + +2024-06-10 Andreas Krebbel + + * config/s390/s390.cc (expand_perm_as_replicate): Handle memory + operands. + * config/s390/vx-builtins.md (vec_splats): Turn into parameterized expander. + (@vec_splats): New expander. + +2024-06-10 Richard Biener + + PR tree-optimization/115383 + * tree-vect-stmts.cc (vectorizable_condition): Handle + generating a chain of .FOLD_EXTRACT_LAST. + 2024-06-09 Andreas Tobler * config/freebsd-spec.h: Change fbsd-lib-spec for FreeBSD > 13, diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 35b9b526690..9561fe84baa 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20240610 +20240611 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 5beaacb2f0d..5b5ab3d3900 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,222 @@ +2024-06-10 Eric Botcazou + + * exp_ch4.adb (Expand_Nonbinary_Modular_Op): Create an explicit Mod + for additive operations if No_Implicit_Conditionals is in effect. + (Expand_Modular_Addition): Likewise. + (Expand_Modular_Subtraction): Likewise. + (Expand_Modular_Op): Always use an unsigned type obtained by calling + Small_Integer_Type_For on the required size. + +2024-06-10 Javier Miranda + + * sem_ch6.adb (Might_Need_BIP_Task_Actuals): Add support + for access-to-subprogram parameter types. + * exp_ch6.adb (Add_Task_Actuals_To_Build_In_Place_Call): + Add dummy BIP parameters to access-to-subprogram types + that may reference a function that has BIP parameters. + +2024-06-10 Gary Dismukes + + * sem_prag.adb (Set_Convention_From_Pragma): If the specified convention on + a record type is not C_Pass_By_Copy, then force the C_Pass_By_Copy flag to + False, to ensure that it's overridden. + +2024-06-10 Gary Dismukes + + * sem_aggr.adb (Resolve_Iterated_Association): Change "not Present" + to "No" in test of Add_Named_Subp. + +2024-06-10 Steve Baird + + * freeze.adb + (Should_Freeze_Type.Is_Dispatching_Call_Or_Aggregate): Treat an extension + aggregate or a delta aggregate like a regular aggregate. + +2024-06-10 Gary Dismukes + + * sem_aggr.adb (Resolve_Iterated_Association): In the case of + N_Iterated_Element_Associations that have a key expression, issue + an error if the aggregate type does not have an Add_Named + operation, and include a reference to RM22 4.3.5(24) in the error + message. In the case of an N_Component_Association with a + Defining_Identifer where the "choice" is given by a function call, + in the creation of the iterator_specification associate a copy of + Choice as its Name, and remove the call to + Analyze_Iterator_Specification, which was causing problems with + the reanalysis of function calls originally given in prefixed form + that were transformed into function calls in normal (infix) form. + The iterator_specification will be analyzed later in any case, so + that call should not be done here. Remove the with and use of + Sem_Ch5. + +2024-06-10 Justin Squirek + + * ali.adb (Get_Nat): Remove unnecessary parentheses. + * exp_ch11.adb (Expand_Local_Exception_Handlers): Remove + unnecessary parentheses. + * freeze.adb (Freeze_Entity): Remove unnecessary parentheses. + * lib-list.adb (List): Remove unnecessary parentheses. + * par-ch5.adb (P_Condition): Add extra parentheses checks on + condition operands. + * sem_ch3.adb (Add_Interface_Tag_Components): Remove unnecessary + parentheses. + (Check_Delta_Expression): Remove unnecessary parenthesis. + (Check_Digits_Expression): Remove unnecessary parentheses. + * sem_ch12.adb (Validate_Array_Type_Instance): Remove unnecessary + parentheses. + +2024-06-10 Justin Squirek + + * exp_ch5.adb (Expand_Formal_Container_Element_Loop): Add + expansion of filter condition. + (Expand_Formal_Container_Loop): Add expansion of filter condition. + +2024-06-10 Justin Squirek + + * accessibility.adb (Accessibility_Level): Use Get_Full_View to + avoid crashes when calculating scope. + +2024-06-10 Justin Squirek + + * sem_warn.adb (Warn_On_Unreferenced_Entity): Add a condition to + ignore warnings on unreferenced abstract subprogram. + +2024-06-10 Justin Squirek + + * sem_attr.adb (Analyze_Attribute): Add check for interface parent + types. + +2024-06-10 Piotr Trojanek + + * einfo.ads, exp_attr.adb, exp_ch4.adb, exp_ch7.adb, + lib-writ.adb, libgnat/a-stbuut.ads, sem_ch13.adb, sem_ch3.adb, + sem_ch7.adb: Use "RM" in comments. + +2024-06-10 Piotr Trojanek + + * sem_util.adb + (Immediate_Context_Implies_Is_Potentially_Unevaluated): Use + collective subtypes in membership tests. + (Is_Known_On_Entry): Require all alternatives in a case statement + to return; this change could prevent a recently fixed glitch, + where one of the alternatives relied on the return statement + afterwards (also, the new code is shorter). + * sem_util.ads (Is_Potentially_Unevaluated): Clarify that this + routine applies to Ada 2012. + +2024-06-10 Yannick Moy + + * libgnat/a-chtgfo.adb (Generic_Read, Generic_Write): Remove. + * libgnat/a-chtgfo.ads: Same. Remove dependency on Ada.Streams. + +2024-06-10 Ronan Desplanques + + * libgnarl/s-taprop__mingw.adb (Set_Task_Affinity): Fix usage of + SetThreadAffinityMask. + * libgnat/s-winext.ads (SetThreadAffinityMask): Fix binding + signature. + +2024-06-10 Ronan Desplanques + + * libgnarl/s-taprop__mingw.adb (Set_Task_Affinity): Fix usage + of SetThreadIdealProcessor. + +2024-06-10 Ronan Desplanques + + * libgnat/s-os_lib.adb (Normalize_Pathname): Remove incorrect + assert statement. + (Missed_Drive_Letter): Rename into... + (Drive_Letter_Omitted): This. + +2024-06-10 Ronan Desplanques + + * gnatlink.adb (Check_File_Name): Fix incorrect assumption. + +2024-06-10 Piotr Trojanek + + * exp_attr.adb (Expand_N_Attribute_Reference): Use constants + declared at the beginning of subprogram; tune layout. + * exp_ch3.adb (Predefined_Primitive_Bodies): Tune layout. + +2024-06-10 Piotr Trojanek + + * doc/gnat_rm/implementation_defined_pragmas.rst + (No_Tagged_Streams): Move documentation. + * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst + (No_Streams): Likewise. + * exp_disp.adb (Make_DT): Extend comment. + * gnat_rm.texi: Regenerate. + * gnat_ugn.texi: Regenerate. + +2024-06-10 Piotr Trojanek + + * sem_attr.adb (Analyze_Attribute): Use fully qualified name + without a NUL, so that it doesn't need to be skipped afterwards. + +2024-06-10 Piotr Trojanek + + * exp_ch3.adb (Stream_Operation_OK): Check restriction + No_Default_Stream_Attributes before call to + Type_Without_Stream_Operation. + * sem_util.adb (Type_Without_Stream_Operation): Remove static + condition from recursive routine + +2024-06-10 Piotr Trojanek + + * inline.adb (Has_Single_Return_In_GNATprove_Mode): Remove. + (Process_Formals): When rewriting an occurrence of a formal + parameter, use location of the occurrence, not of the inlined + call. + +2024-06-10 Piotr Trojanek + + * debug.adb (d_k): Use first available debug switch. + * gnat1drv.adb (Adjust_Global_Switches): If new debug switch is + active then don't expand assertion expressions by default. + +2024-06-10 Piotr Trojanek + + * exp_ch6.adb (Install_Class_Preconditions_Check): Refactor + common code for checking if precondition fails, since the + difference is only in raising an exception or calling the + Raise_Assert_Failure procedure. + +2024-06-10 Piotr Trojanek + + * exp_ch6.adb (Build_Dynamic_Check_Helper_Call): Remove unused + iteration over formal parameters. + +2024-06-10 Piotr Trojanek + + * sem_ch13.adb (Check_Aspect_At_End_Of_Declarations): Make + discriminants visible when analyzing aspect Interrupt_Priority. + (Freeze_Entity_Checks): Likewise. + (Resolve_Aspect_Expressions): Likewise for both aspects CPU and + Interrupt_Priority. + +2024-06-10 Piotr Trojanek + + * sem_prag.adb (Report_Extra_Clauses): Remove redundant check + for empty list, because First works also for No_List. + +2024-06-10 Piotr Trojanek + + * sem_prag.adb (Check_Dependency_Clause, Check_Output_States, + Report_Extra_Clauses): Remove multiple checks for being inside + an instance. + (Analyze_Refined_Depends_In_Decl_Part): Add single check for + being inside an instance. + +2024-06-10 Piotr Trojanek + + * sem_prag.adb (Check_In_Out_States, Check_Input_States, + Check_Output_States, Check_Proof_In_States, + Check_Refined_Global_List, Report_Extra_Constituents, + Report_Missing_Items): Remove multiple checks for being inside + an instance. + (Analyze_Refined_Global_In_Decl_Part): Add single check for + being inside an instance. + 2024-06-05 Kewen Lin * gcc-interface/decl.cc (gnat_to_gnu_entity): Use TYPE_PRECISION of diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index c607fc79c78..4756f894037 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,58 @@ +2024-06-10 Raphael Zinsly + + * gcc.target/riscv/zbs-ext.c: New test. + +2024-06-10 Pan Li + + PR target/115387 + * gcc.target/riscv/pr115387-1.c: New test. + * gcc.target/riscv/pr115387-2.c: New test. + +2024-06-10 Andrew Pinski + + PR testsuite/115415 + PR tree-optimization/115388 + * gcc.dg/torture/pr115388.c: Use `signed char` directly instead + of plain `char`. + +2024-06-10 Raphael Zinsly + + * gcc.target/riscv/bext-ext.c: New test. + +2024-06-10 Richard Biener + + PR tree-optimization/115388 + * gcc.dg/torture/pr115388.c: New testcase. + +2024-06-10 Eric Botcazou + + PR ada/114708 + * gnat.dg/incomplete8.adb: New test. + +2024-06-10 Eric Botcazou + + PR ada/114398 + * gnat.dg/access11.adb: New test. + +2024-06-10 Richard Biener + + PR tree-optimization/115395 + * gcc.dg/vect/pr115395.c: New testcase. + +2024-06-10 Andreas Krebbel + + * g++.dg/torture/vshuf-mem.C: New test. + +2024-06-10 YunQiang Su + + * gcc.target/mips/r10k-cache-barrier-13.c: Add -mno-branch-likely + option. + +2024-06-10 Richard Biener + + PR tree-optimization/115383 + * gcc.dg/vect/pr115383.c: New testcase. + 2024-06-09 Uros Bizjak PR target/112600 diff --git a/libgcc/ChangeLog b/libgcc/ChangeLog index bf1ff5198e6..7c24757c6ee 100644 --- a/libgcc/ChangeLog +++ b/libgcc/ChangeLog @@ -1,3 +1,7 @@ +2024-06-10 Jan Beulich + + * config/aarch64/cpuinfo.c: Provide AT_HWCAP2. + 2024-06-06 Andre Vieira PR target/115360 diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index fd1d6a82218..5a92f2b5b75 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,8 @@ +2024-06-10 François Dumont + + * include/bits/hashtable.h (~_Hashtable()): Replace clear call with + a _M_deallocate_nodes call. + 2024-06-08 Deev Patel Jonathan Wakely