https://gcc.gnu.org/g:097bc0aebaed58c11c738ea61da723cca950e5b1
commit r15-1171-g097bc0aebaed58c11c738ea61da723cca950e5b1
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Tue Jun 11 00:18:01 2024 +0000
Daily bump.
Diff:
---
gcc/ChangeLog | 65 ++++++++++++++
gcc/DATESTAMP | 2 +-
gcc/ada/ChangeLog | 219 ++++++++++++++++++++++++++++++++++++++++++++++++
gcc/testsuite/ChangeLog | 55 ++++++++++++
libgcc/ChangeLog | 4 +
libstdc++-v3/ChangeLog | 5 ++
6 files changed, 349 insertions(+), 1 deletion(-)
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 <ger...@pfeifer.com>
+
+ * doc/gm2.texi (Documentation): Fix typos, grammar, and a link.
+
+2024-06-10 Andrew MacLeod <amacl...@redhat.com>
+
+ * 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 <rzin...@ventanamicro.com>
+
+ * config/riscv/bitmanip.md (*bextdisi): New pattern.
+
+2024-06-10 Pan Li <pan2...@intel.com>
+
+ 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 <rzin...@ventanamicro.com>
+
+ * config/riscv/bitmanip.md (*bextdisi): New pattern.
+
+2024-06-10 Richard Biener <rguent...@suse.de>
+
+ 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 <rguent...@suse.de>
+
+ 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 <kreb...@linux.ibm.com>
+
+ * config/s390/s390.cc (expand_perm_as_replicate): Handle memory
+ operands.
+ * config/s390/vx-builtins.md (vec_splats<mode>): Turn into
parameterized expander.
+ (@vec_splats<mode>): New expander.
+
+2024-06-10 Richard Biener <rguent...@suse.de>
+
+ PR tree-optimization/115383
+ * tree-vect-stmts.cc (vectorizable_condition): Handle
+ generating a chain of .FOLD_EXTRACT_LAST.
+
2024-06-09 Andreas Tobler <andre...@gcc.gnu.org>
* 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 <ebotca...@adacore.com>
+
+ * 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 <mira...@adacore.com>
+
+ * 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 <dismu...@adacore.com>
+
+ * 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 <dismu...@adacore.com>
+
+ * sem_aggr.adb (Resolve_Iterated_Association): Change "not Present"
+ to "No" in test of Add_Named_Subp.
+
+2024-06-10 Steve Baird <ba...@adacore.com>
+
+ * 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 <dismu...@adacore.com>
+
+ * 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 <squi...@adacore.com>
+
+ * 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 <squi...@adacore.com>
+
+ * 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 <squi...@adacore.com>
+
+ * accessibility.adb (Accessibility_Level): Use Get_Full_View to
+ avoid crashes when calculating scope.
+
+2024-06-10 Justin Squirek <squi...@adacore.com>
+
+ * sem_warn.adb (Warn_On_Unreferenced_Entity): Add a condition to
+ ignore warnings on unreferenced abstract subprogram.
+
+2024-06-10 Justin Squirek <squi...@adacore.com>
+
+ * sem_attr.adb (Analyze_Attribute): Add check for interface parent
+ types.
+
+2024-06-10 Piotr Trojanek <troja...@adacore.com>
+
+ * 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 <troja...@adacore.com>
+
+ * 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 <m...@adacore.com>
+
+ * libgnat/a-chtgfo.adb (Generic_Read, Generic_Write): Remove.
+ * libgnat/a-chtgfo.ads: Same. Remove dependency on Ada.Streams.
+
+2024-06-10 Ronan Desplanques <desplanq...@adacore.com>
+
+ * 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 <desplanq...@adacore.com>
+
+ * libgnarl/s-taprop__mingw.adb (Set_Task_Affinity): Fix usage
+ of SetThreadIdealProcessor.
+
+2024-06-10 Ronan Desplanques <desplanq...@adacore.com>
+
+ * 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 <desplanq...@adacore.com>
+
+ * gnatlink.adb (Check_File_Name): Fix incorrect assumption.
+
+2024-06-10 Piotr Trojanek <troja...@adacore.com>
+
+ * 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 <troja...@adacore.com>
+
+ * 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 <troja...@adacore.com>
+
+ * 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 <troja...@adacore.com>
+
+ * 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 <troja...@adacore.com>
+
+ * 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 <troja...@adacore.com>
+
+ * 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 <troja...@adacore.com>
+
+ * 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 <troja...@adacore.com>
+
+ * exp_ch6.adb (Build_Dynamic_Check_Helper_Call): Remove unused
+ iteration over formal parameters.
+
+2024-06-10 Piotr Trojanek <troja...@adacore.com>
+
+ * 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 <troja...@adacore.com>
+
+ * sem_prag.adb (Report_Extra_Clauses): Remove redundant check
+ for empty list, because First works also for No_List.
+
+2024-06-10 Piotr Trojanek <troja...@adacore.com>
+
+ * 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 <troja...@adacore.com>
+
+ * 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 <li...@linux.ibm.com>
* 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 <rzin...@ventanamicro.com>
+
+ * gcc.target/riscv/zbs-ext.c: New test.
+
+2024-06-10 Pan Li <pan2...@intel.com>
+
+ PR target/115387
+ * gcc.target/riscv/pr115387-1.c: New test.
+ * gcc.target/riscv/pr115387-2.c: New test.
+
+2024-06-10 Andrew Pinski <quic_apin...@quicinc.com>
+
+ 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 <rzin...@ventanamicro.com>
+
+ * gcc.target/riscv/bext-ext.c: New test.
+
+2024-06-10 Richard Biener <rguent...@suse.de>
+
+ PR tree-optimization/115388
+ * gcc.dg/torture/pr115388.c: New testcase.
+
+2024-06-10 Eric Botcazou <ebotca...@adacore.com>
+
+ PR ada/114708
+ * gnat.dg/incomplete8.adb: New test.
+
+2024-06-10 Eric Botcazou <ebotca...@adacore.com>
+
+ PR ada/114398
+ * gnat.dg/access11.adb: New test.
+
+2024-06-10 Richard Biener <rguent...@suse.de>
+
+ PR tree-optimization/115395
+ * gcc.dg/vect/pr115395.c: New testcase.
+
+2024-06-10 Andreas Krebbel <kreb...@linux.ibm.com>
+
+ * g++.dg/torture/vshuf-mem.C: New test.
+
+2024-06-10 YunQiang Su <s...@gcc.gnu.org>
+
+ * gcc.target/mips/r10k-cache-barrier-13.c: Add -mno-branch-likely
+ option.
+
+2024-06-10 Richard Biener <rguent...@suse.de>
+
+ PR tree-optimization/115383
+ * gcc.dg/vect/pr115383.c: New testcase.
+
2024-06-09 Uros Bizjak <ubiz...@gmail.com>
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 <jbeul...@suse.com>
+
+ * config/aarch64/cpuinfo.c: Provide AT_HWCAP2.
+
2024-06-06 Andre Vieira <andre.simoesdiasvie...@arm.com>
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 <fdum...@gcc.gnu.org>
+
+ * include/bits/hashtable.h (~_Hashtable()): Replace clear call with
+ a _M_deallocate_nodes call.
+
2024-06-08 Deev Patel <dkp10...@gmail.com>
Jonathan Wakely <jwak...@redhat.com>
