Daily bump.

6 files changed, 349 insertions, 1 deletions

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 81fdf08..e3a86c5 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,68 @@
+2024-06-10  Gerald Pfeifer  <gerald@pfeifer.com>
+
+	* doc/gm2.texi (Documentation): Fix typos, grammar, and a link.
+
+2024-06-10  Andrew MacLeod  <amacleod@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  <rzinsly@ventanamicro.com>
+
+	* config/riscv/bitmanip.md (*bextdisi): New pattern.
+
+2024-06-10  Pan Li  <pan2.li@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  <rzinsly@ventanamicro.com>
+
+	* config/riscv/bitmanip.md (*bextdisi): New pattern.
+
+2024-06-10  Richard Biener  <rguenther@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  <rguenther@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  <krebbel@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  <rguenther@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  <andreast@gcc.gnu.org>
 
 	* config/freebsd-spec.h: Change fbsd-lib-spec for FreeBSD > 13,
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 35b9b52..9561fe8 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20240610
+20240611
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 5beaacb..5b5ab3d 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,222 @@
+2024-06-10  Eric Botcazou  <ebotcazou@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  <miranda@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  <dismukes@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  <dismukes@adacore.com>
+
+	* sem_aggr.adb (Resolve_Iterated_Association): Change "not Present"
+	to "No" in test of Add_Named_Subp.
+
+2024-06-10  Steve Baird  <baird@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  <dismukes@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  <squirek@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  <squirek@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  <squirek@adacore.com>
+
+	* accessibility.adb (Accessibility_Level): Use Get_Full_View to
+	avoid crashes when calculating scope.
+
+2024-06-10  Justin Squirek  <squirek@adacore.com>
+
+	* sem_warn.adb (Warn_On_Unreferenced_Entity): Add a condition to
+	ignore warnings on unreferenced abstract subprogram.
+
+2024-06-10  Justin Squirek  <squirek@adacore.com>
+
+	* sem_attr.adb (Analyze_Attribute): Add check for interface parent
+	types.
+
+2024-06-10  Piotr Trojanek  <trojanek@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  <trojanek@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  <moy@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  <desplanques@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  <desplanques@adacore.com>
+
+	* libgnarl/s-taprop__mingw.adb (Set_Task_Affinity): Fix usage
+	of SetThreadIdealProcessor.
+
+2024-06-10  Ronan Desplanques  <desplanques@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  <desplanques@adacore.com>
+
+	* gnatlink.adb (Check_File_Name): Fix incorrect assumption.
+
+2024-06-10  Piotr Trojanek  <trojanek@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  <trojanek@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  <trojanek@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  <trojanek@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  <trojanek@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  <trojanek@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  <trojanek@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  <trojanek@adacore.com>
+
+	* exp_ch6.adb (Build_Dynamic_Check_Helper_Call): Remove unused
+	iteration over formal parameters.
+
+2024-06-10  Piotr Trojanek  <trojanek@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  <trojanek@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  <trojanek@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  <trojanek@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  <linkw@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 c607fc7..4756f89 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,58 @@
+2024-06-10  Raphael Zinsly  <rzinsly@ventanamicro.com>
+
+	* gcc.target/riscv/zbs-ext.c: New test.
+
+2024-06-10  Pan Li  <pan2.li@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_apinski@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  <rzinsly@ventanamicro.com>
+
+	* gcc.target/riscv/bext-ext.c: New test.
+
+2024-06-10  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/115388
+	* gcc.dg/torture/pr115388.c: New testcase.
+
+2024-06-10  Eric Botcazou  <ebotcazou@adacore.com>
+
+	PR ada/114708
+	* gnat.dg/incomplete8.adb: New test.
+
+2024-06-10  Eric Botcazou  <ebotcazou@adacore.com>
+
+	PR ada/114398
+	* gnat.dg/access11.adb: New test.
+
+2024-06-10  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/115395
+	* gcc.dg/vect/pr115395.c: New testcase.
+
+2024-06-10  Andreas Krebbel  <krebbel@linux.ibm.com>
+
+	* g++.dg/torture/vshuf-mem.C: New test.
+
+2024-06-10  YunQiang Su  <syq@gcc.gnu.org>
+
+	* gcc.target/mips/r10k-cache-barrier-13.c: Add -mno-branch-likely
+	option.
+
+2024-06-10  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/115383
+	* gcc.dg/vect/pr115383.c: New testcase.
+
 2024-06-09  Uros Bizjak  <ubizjak@gmail.com>
 
 	PR target/112600
diff --git a/libgcc/ChangeLog b/libgcc/ChangeLog
index bf1ff51..7c24757 100644
--- a/libgcc/ChangeLog
+++ b/libgcc/ChangeLog
@@ -1,3 +1,7 @@
+2024-06-10  Jan Beulich  <jbeulich@suse.com>
+
+	* config/aarch64/cpuinfo.c: Provide AT_HWCAP2.
+
 2024-06-06  Andre Vieira  <andre.simoesdiasvieira@arm.com>
 
 	PR target/115360
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index fd1d6a8..5a92f2b 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,8 @@
+2024-06-10  François Dumont  <fdumont@gcc.gnu.org>
+
+	* include/bits/hashtable.h (~_Hashtable()): Replace clear call with
+	a _M_deallocate_nodes call.
+
 2024-06-08  Deev Patel  <dkp10000@gmail.com>
 	    Jonathan Wakely  <jwakely@redhat.com>