Daily bump.

7 files changed, 429 insertions, 1 deletions

diff --git a/ChangeLog b/ChangeLog
index 201193f..3631d9b 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2024-06-20  Collin Funk  <collin.funk1@gmail.com>
+
+	PR bootstrap/115453
+	* configure.ac: Quote variable result of AC_SEARCH_LIBS.  Fix
+	typo ac_cv_search_pthread_crate.
+	* configure: Regenerate.
+
 2024-06-19  YunQiang Su  <syq@gcc.gnu.org>
 
 	Revert:
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 8610e76..7693558 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,59 @@
+2024-06-20  Roger Sayle  <roger@nextmovesoftware.com>
+
+	* config/i386/i386-expand.cc (ix86_ternlog_idx): Allow any SUBREG
+	that matches register_operand.  Use rtx_equal_p to compare REG
+	or SUBREG "leaf" operands.
+
+2024-06-20  Jeff Law  <jlaw@ventanamicro.com>
+
+	* config/riscv/bitmanip.md (<bit_optab><mode>): New unified
+	pattern for bset/binv using a code iterator.
+	(<bit_optab>i<mode>): Likewise.
+	(<bit_optab><mode>_mask): Likewise.  Support XOR via any_or.
+	(<bit_optab>isidi): Likewise.
+	* config/riscv/iterators.md (bit_optab): New iterator.
+
+2024-06-20  Hongyu Wang  <hongyu.wang@intel.com>
+
+	* config/i386/i386-options.cc (ix86_option_override_internal):
+	Use TARGET_*_P (opts->x_ix86_isa_flags*) instead of TARGET_*
+	for UINTR, LAM and APX_F.
+
+2024-06-20  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/114413
+	* tree-vect-slp.cc (release_scalar_stmts_to_slp_tree_map):
+	New function, split out from ...
+	(vect_analyze_slp): ... here.  Call it.
+	(vect_cse_slp_nodes): New function.
+	(vect_optimize_slp): Call it.
+
+2024-06-20  Feng Xue  <fxue@os.amperecomputing.com>
+
+	* tree-vect-loop.cc (vect_transform_reduction): Change assertion to
+	cover all lane-reducing ops.
+
+2024-06-20  Feng Xue  <fxue@os.amperecomputing.com>
+
+	* tree-vect-loop.cc (vect_transform_reduction): Replace vec_oprnds0/1/2
+	with one new array variable vec_oprnds[3].
+
+2024-06-20  Feng Xue  <fxue@os.amperecomputing.com>
+
+	* tree-vect-loop.cc (vectorizable_reduction): Remove v_reduc_type, and
+	replace it to another local variable reduction_type.
+
+2024-06-20  Feng Xue  <fxue@os.amperecomputing.com>
+
+	* tree-vect-loop.cc (vectorizable_reduction): Remove the duplicated
+	check.
+
+2024-06-20  Feng Xue  <fxue@os.amperecomputing.com>
+
+	* tree-vectorizer.h (lane_reducing_stmt_p): New function.
+	* tree-vect-slp.cc (vect_analyze_slp): Use new function
+	lane_reducing_stmt_p to check statement.
+
 2024-06-19  YunQiang Su  <syq@gcc.gnu.org>
 
 	Revert:
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 9df1831..e778c42 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20240620
+20240621
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 222b9cd..9e83540 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,313 @@
+2024-06-20  Steve Baird  <baird@adacore.com>
+
+	* sem_attr.adb (Resolve_Attribute.Proper_Op): When resolving the
+	name of the reducer subprogram in a reduction expression,
+	Proper_Op treats references to operators defined in Standard
+	specially. Disable this special treatment if the type of the
+	reduction expression is not the right class of type for the
+	operator, or if a new Boolean parameter (named "Strict") is True.
+	(Resolve_Attribute): In the overloaded case, iterate over the
+	reducer subprogram candidates twice. First with Strict => True and
+	then, if no good intepretation is found, with Strict => False.
+
+2024-06-20  Yannick Moy  <moy@adacore.com>
+
+	* ghost.adb (Check_Ghost_Type): Fix checking.
+
+2024-06-20  Bob Duff  <duff@adacore.com>
+
+	* expander.ads: Minor comment fixes.
+	* nlists.ads: Misc comment improvements.
+	* sem_aux.ads (First_Discriminant): Improve comment.
+	* sem_ch12.adb: Misc cleanups.
+	(Associations): New package containing type Gen_Assocs_Rec
+	to represent matchings, and function Match_Assocs to create the
+	Gen_Assocs_Rec constant.
+	(Analyze_Associations): Call Match_Assocs, and other major
+	changes related to that.
+	* sem_ch12.ads: Minor comment fixes.
+	* sem_ch3.adb: Minor comment fixes.
+
+2024-06-20  Steve Baird  <baird@adacore.com>
+
+	* doc/gnat_rm/gnat_language_extensions.rst: Update documentation.
+	* doc/gnat_rm/implementation_defined_pragmas.rst: Update
+	documentation.
+	* errout.adb
+	(Error_Msg_GNAT_Extension): Update error message text.
+	* par-prag.adb: Update pragma parsing. This includes changing the
+	the name of the Check_Arg_Is_On_Or_Off formal parameter All_OK_Too
+	to All_Extensions_OK_Too.
+	* sem_prag.adb (Analyze_Pragma): In analyzing an
+	Extensions_Allowed pragma, replace uses of Name_All with
+	Name_All_Extensions; update a comment to reflect this.
+	* snames.ads-tmpl: Add Name_All_Extensions declaration.
+	* gnat_rm.texi: Regenerate.
+
+2024-06-20  Gary Dismukes  <dismukes@adacore.com>
+
+	* sem_ch4.adb (Try_Selected_Component_In_Instance): Reverse if_statement
+	clauses so that the testing for the special case of extensions of private
+	types in instance bodies is done first, followed by the testing for the case
+	of a parent type that's a generic actual type. In the extension case, apply
+	Base_Type to the type actual in the test of Used_As_Generic_Actual, and add
+	a test of Present (Parent_Subtype (Typ)).
+
+2024-06-20  Yannick Moy  <moy@adacore.com>
+
+	* inline.adb (Establish_Actual_Mapping_For_Inlined_Call): In the
+	case of formal with a fixed lower bounds, insert appropriate
+	conversion like in the case of a constrained type.
+	* tbuild.adb (Unchecked_Convert_To): Do not skip the conversion
+	when it may involve sliding due to a type with fixed lower bound.
+
+2024-06-20  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_ch12.adb (Instantiate_Formal_Package): Accept renamings of a
+	generic parent that is a child unit for the abbreviated instance.
+
+2024-06-20  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch4.adb (Expand_Composite_Equality): In the untagged record
+	case, always look for a user-defined equality operator in Ada 2012.
+
+2024-06-20  Doug Rupp  <rupp@adacore.com>
+
+	* ali.ads (Interrupts_Default_To_System): New boolean.
+	(Interrupts_Default_To_System_Specified): New boolean.
+	* ali.adb (Interrupts_Default_To_System_Specified): Initialize.
+	(Interrupts_Default_To_System): Initialize.
+	(Scan_ALI): Processing for "ID".
+	* bindgen.adb: Coallesce comments on interrupt settings to ...
+	(Gen_Adainit): Import Interrupts_Default_To_System flag and set if
+	pragma specified.
+	(Gen_Output_File_Ada): Generate Local_Interrupt_States according
+	to pragma.
+	* init.c: ... here.
+	[vxworks] (__gnat_install_handler): Test for interrupt_state.
+	(__gl_interrupts_default_to_system): New global flag.
+	(__gnat_get_interrupt_State): return interrupt state according to
+	new global flag.
+	* lib-writ.ads: Document "ID".
+	* lib-writ.adb: Write out "ID".
+	* opt.ads (Interrupts_System_By_Default): New boolean, defaulted
+	to False.
+	* par-prag.adb (Pragma_Interrupts_System_By_Default): New.
+	* sem_prag.adb (Pragma_Interrupts_System_By_Default): Handle it.
+	(Pragma_Interrupts_System_By_Default): Default it.
+	* snames.ads-tmpl (Name_Interrupts_System_By_Default): New name.
+	(Pragma_Interrupts_System_By_Default): New
+	* libgnarl/s-intman__posix.adb (Initialize): Ensure the
+	Keep_Unmasked signal is sigset-able.
+	* doc/gnat_rm/implementation_defined_pragmas.rst: Document pragma
+	Interrupts_System_By_Default.
+	* doc/gnat_ugn/the_gnat_compilation_model.rst (Configuration
+	pragmas): Add Interrupts_System_By_Default. (Partition-Wide
+	Settings): Mention pragma Interrupts_System_By_Default.
+	* gnat_rm.texi: Regenerate.
+	* gnat_ugn.texi: Regenerate.
+
+2024-06-20  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch4.adb (Expand_Array_Equality.Component_Equality): Copy the
+	Comes_From_Source flag from the original test to the new one, and
+	remove obsolete code dealing with unchecked unions.
+	* sem_util.adb (Has_Inferable_Discriminants): Return False for an
+	incomplete or private nominal subtype.
+
+2024-06-20  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* freeze.adb (Freeze_Expression): Also attach pending freeze nodes
+	to the parent in the case of an internal block in a spec expression.
+
+2024-06-20  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* debug.adb (d_l): Document new usage for the compiler.
+	* freeze.adb (Check_Strict_Alignment): Set the Strict_Alignment
+	flag on array types with aliased component, except if the
+	component size is equal to the storage unit or the -gnatd_l switch
+	is specified.
+
+2024-06-20  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* doc/gnat_rm/implementation_advice.rst (Representation Clauses):
+	Remove >> marker and add end of sentence after code-block directive.
+	(RM 13.5.3(7-8)): Update to Ada 2005 wording.
+	* doc/gnat_rm/implementation_defined_characteristics.rst
+	(RM 13.5.3(5)): Likewise.
+	* gnat_rm.texi: Regenerate.
+	* gnat_ugn.texi: Regenerate.
+
+2024-06-20  Piotr Trojanek  <trojanek@adacore.com>
+
+	* doc/gnat_rm/implementation_defined_aspects.rst
+	(Aspect Subprogram_Variant): Refer to SPARK User's Guide.
+	* doc/gnat_rm/implementation_defined_pragmas.rst
+	(Pragma Subprogram_Variant): Document syntax to satisfy the
+	convention; refer to SPARK User's Guide for semantics.
+	* gnat_rm.texi: Regenerate.
+	* gnat_ugn.texi: Regenerate.
+
+2024-06-20  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* freeze.adb (Freeze_Array_Type): Call Propagate_Controlled_Flags
+	to propagate the controlled flags from the component to the array.
+	(Freeze_Record_Type): Propagate the Finalize_Storage_Only flag
+	from the components to the record.
+	* sem_ch3.adb (Analyze_Private_Extension_Declaration): Do not call
+	Propagate_Concurrent_Flags here but...
+	(Array_Type_Declaration): Tidy and call Propagate_Controlled_Flags
+	to propagate the controlled flags from the component to the array.
+	(Build_Derived_Private_Type): Do not propagate the controlled flags
+	manually here but...
+	(Build_Derived_Record_Type): ...call Propagate_Controlled_Flags to
+	propagate the controlled flags from parent to derived type.
+	(Build_Derived_Type): Likewise.
+	(Copy_Array_Base_Type_Attributes): Call Propagate_Controlled_Flags
+	to copy the controlled flags.
+	(Record_Type_Definition): Streamline the propagation of the
+	Finalize_Storage_Only flag from the components to the record.
+	* sem_ch7.adb (Preserve_Full_Attributes): Use Full_Base and call
+	Propagate_Controlled_Flags to copy the controlled flags.
+	* sem_ch9.adb (Analyze_Protected_Definition): Use canonical idiom
+	to compute Has_Controlled_Component.
+	(Analyze_Protected_Type_Declaration): Minor tweak.
+	* sem_ch13.adb (Inherit_Aspects_At_Freeze_Point): Do not deal with
+	Finalize_Storage_Only here.
+	* sem_util.ads (Propagate_Controlled_Flags): New declaration.
+	* sem_util.adb (Propagate_Controlled_Flags): New procedure.
+
+2024-06-20  Piotr Trojanek  <trojanek@adacore.com>
+
+	* freeze.adb (Check_Current_Instance): This routine is only called
+	with parameter E being a type entity, so there is no need to check
+	for types just before the equality with E.
+	* sem_ch13.adb (Analyze_Aspect_Specifications): Regroup condition
+	to avoid unnecessary evaluation.
+	(Check_Aspect_At_End_Of_Declarations): If In_Instance is true,
+	then the routine exits early.
+
+2024-06-20  Piotr Trojanek  <trojanek@adacore.com>
+
+	* freeze.adb (Find_Aspect_No_Parts): Tune whitespace.
+	* sem_ch13.adb (Check_Aspect_At_End_Of_Declarations): Fix style.
+
+2024-06-20  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* aspects.ads (Aspect_Id): Remove Aspect_Max_Entry_Queue_Depth.
+	(global arrays): Remove entry for it.
+	* exp_ch9.adb (Expand_N_Protected_Type_Declaration): Remove
+	reference to pragma Max_Entry_Queue_Depth in comment.
+	* par-prag.adb (Prag): Remove handling of
+	Pragma_Max_Entry_Queue_Depth.
+	* sem_ch13.adb (Analyze_Aspect_Specifications): Remove reference
+	to aspect Max_Entry_Queue_Depth in comment.
+	(Analyze_Aspect_Specifications): Remove processing of aspect
+	Max_Entry_Queue_Depth.
+	(Check_Aspect_At_Freeze_Point): Likewise.
+	* sem_prag.ads (Find_Related_Declaration_Or_Body): Remove
+	reference to pragma Max_Entry_Queue_Depth in comment.
+	* sem_prag.adb (Analyze_Pragma): Remove processing of pragma
+	Max_Entry_Queue_Depth.
+	(Sig_Flags): Remove entry for Pragma_Max_Entry_Queue_Depth.
+	* sem_util.adb (Get_Max_Queue_Length): Remove handling of pragma
+	Max_Entry_Queue_Depth.
+	(Has_Max_Queue_Length): Likewise.
+	* snames.ads-tmpl (Name_Max_Entry_Queue_Depth): Move back from
+	pragmas section to others section.
+	(Pragma_Id): Remove Pragma_Max_Entry_Queue_Depth.
+
+2024-06-20  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* doc/gnat_rm/gnat_language_extensions.rst (Pragma Storage_Model):
+	Rename to Storage Model.
+	* doc/gnat_rm/implementation_defined_aspects.rst: Alphabetize.
+	* gnat_rm.texi: Regenerate.
+	* gnat_ugn.texi: Regenerate.
+
+2024-06-20  Ronan Desplanques  <desplanques@adacore.com>
+
+	* gnat1drv.adb (Gnat1drv): Add coverage instrumentation
+	annotations.
+
+2024-06-20  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch3.adb (Expand_Freeze_Array_Type): Do not propagate the
+	concurrent flags and the Has_Controlled_Component flag here.
+	(Expand_Freeze_Record_Type): Likewise.
+	* freeze.adb (Freeze_Array_Type): Propagate the concurrent flags.
+	(Freeze_Record_Type): Likewise.
+	* sem_util.adb (Has_Some_Controlled_Component): Adjust comment.
+
+2024-06-20  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* mutably_tagged.ads: Fix minor issues in comments throughout.
+
+2024-06-20  Richard Kenner  <kenner@adacore.com>
+
+	* debug.adb: Add documentation for -gnatd_w.
+
+2024-06-20  Viljar Indus  <indus@adacore.com>
+
+	* doc/gnat_ugn/building_executable_programs_with_gnat.rst: Update
+	documentation for -gnatw.v.
+	* sem_ch13.adb: Convert all -gnatw.v related messages to warnings.
+	* gnat_ugn.texi: Regenerate.
+
+2024-06-20  Viljar Indus  <indus@adacore.com>
+
+	* doc/gnat_ugn/building_executable_programs_with_gnat.rst: Update
+	documentation for -gnatw.n switch.
+	* exp_util.adb: Convert info messages into warnings.
+	* gnat_ugn.texi: Regenerate.
+
+2024-06-20  Viljar Indus  <indus@adacore.com>
+
+	* doc/gnat_ugn/building_executable_programs_with_gnat.rst: Add
+	entry for -gnatis.
+	* errout.adb (Error_Msg_Internal): Stop printing info messages if
+	-gnatis was used.
+	* opt.ads: Add Info_Suppressed flag to track whether info messages
+	should be suppressed.
+	* switch-c.adb: Add parsing for -gnatis.
+	* gnat_ugn.texi: Regenerate.
+
+2024-06-20  Viljar Indus  <indus@adacore.com>
+
+	* atree.ads: Remove Warning_Info_Messages.
+	* errout.adb: Remove various places where Warning_Info_Messages
+	was used.
+	* erroutc.adb: Remove various places where Warning_Info_Messages
+	was used. Create Error_Msg_Object objects with only an info
+	attribute if the message contained both info and warning insertion
+	characters. New method Has_Switch_Tag for detecting if a message
+	should have an error tag.
+	* errutil.adb: Create Error_Msg_Object objects with only an info
+	attribute if the message contained both info and warning insertion
+	characters.
+
+2024-06-20  Justin Squirek  <squirek@adacore.com>
+
+	* doc/gnat_rm/gnat_language_extensions.rst: Add entry for 'Super.
+	* doc/gnat_rm/implementation_defined_attributes.rst: Remove entry
+	for 'Super.
+	* gnat_rm.texi: Regenerate.
+	* gnat_ugn.texi: Regenerate.
+
+2024-06-20  Steve Baird  <baird@adacore.com>
+
+	* gprep.adb (Process_Files.Process_One_File): When calling OS_Exit in an error
+	path, pass in a Status parameter of 1 instead of 0 (because 0
+	indicates success).
+	* lib-load.adb (Load_Main_Source): Do not emit a message about a missing source file
+	if other error messages were generated by calling Load_Source_File;
+	the file isn't missing - it failed preprocessing.
+
+2024-06-20  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_attr.adb (Attribute_22): Add Put_Image and Object_Size.
+	* sem_attr.ads (Attribute_Impl_Def): Remove Object_Size.
+
 2024-06-14  Eric Botcazou  <ebotcazou@adacore.com>
 
 	* gcc-interface/Makefile.in (tmake_file): Remove all references.
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 8fcd6d4..e07e417 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,32 @@
+2024-06-20  Paul Thomas  <pault@gcc.gnu.org>
+
+	PR fortran/59104
+	* dependency.cc (dependency_fcn, gfc_function_dependency): New
+	functions to detect dependency in array bounds and character
+	lengths on old style function results.
+	* dependency.h : Add prototype for gfc_function_dependency.
+	* error.cc (error_print): Remove trailing space.
+	* gfortran.h : Remove dummy_order and add fn_result_spec.
+	* symbol.cc : Remove declaration of next_dummy_order..
+	(gfc_set_sym_referenced): remove setting of symbol dummy order.
+	* trans-array.cc (gfc_trans_auto_array_allocation): Detect
+	non-dummy symbols with function dependencies and put the
+	allocation at the end of the initialization code.
+	* trans-decl.cc : Include dependency.h.
+	(decl_order): New function that determines uses the location
+	field of the symbol 'declared_at' to determine the order of two
+	declarations.
+	(gfc_defer_symbol_init): Call gfc_function_dependency to put
+	dependent symbols in the right part of the tlink chain. Use
+	the location field of the symbol declared_at to determine the
+	order of declarations.
+	(gfc_trans_auto_character_variable): Put character length
+	initialization of dependent symbols at the end of the chain.
+	* trans.cc (gfc_add_init_cleanup): Add boolean argument with
+	default false that determines whther an expression is placed at
+	the back or the front of the initialization chain.
+	* trans.h : Update the prototype for gfc_add_init_cleanup.
+
 2024-06-19  Harald Anlauf  <anlauf@gmx.de>
 
 	PR fortran/115390
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 69e2693..57e6fcb 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,19 @@
+2024-06-20  Hongyu Wang  <hongyu.wang@intel.com>
+
+	* gcc.target/i386/apx-ccmp-2.c: Remove -mno-apxf in option.
+	* gcc.target/i386/funcspec-56.inc: Drop uintr tests.
+	* gcc.target/i386/funcspec-6.c: Add uintr tests.
+
+2024-06-20  Paul Thomas  <pault@gcc.gnu.org>
+
+	PR fortran/59104
+	* gfortran.dg/dependent_decls_2.f90: New test.
+
+2024-06-20  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/114413
+	* gcc.dg/vect/bb-slp-32.c: Expect CSE and vectorization on x86.
+
 2024-06-19  demin.han  <demin.han@starfivetech.com>
 
 	* gcc.target/riscv/rvv/base/float-point-cmp-eqne.c: New test.
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 94a5ce9..4881fbe 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,13 @@
+2024-06-20  Matthias Kretz  <m.kretz@gsi.de>
+
+	PR libstdc++/115454
+	* include/experimental/bits/simd_x86.h (_S_not_equal_to): Use
+	neq comparison instead of bitwise negation after eq.
+	(_S_find_last_set): Clear unused high bits before computing
+	bit_width.
+	* testsuite/experimental/simd/pr115454_find_last_set.cc: New
+	test.
+
 2024-06-19  Jonathan Wakely  <jwakely@redhat.com>
 
 	* include/std/future: Adjust whitespace to use tabs for