https://gcc.gnu.org/g:e71481ed7fbcd2c3ad6998ec1ece0e7707fd9751
commit r15-1503-ge71481ed7fbcd2c3ad6998ec1ece0e7707fd9751
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Fri Jun 21 00:17:08 2024 +0000
Daily bump.
Diff:
---
ChangeLog | 7 ++
gcc/ChangeLog | 56 +++++++++
gcc/DATESTAMP | 2 +-
gcc/ada/ChangeLog | 310 ++++++++++++++++++++++++++++++++++++++++++++++++
gcc/fortran/ChangeLog | 29 +++++
gcc/testsuite/ChangeLog | 16 +++
libstdc++-v3/ChangeLog | 10 ++
7 files changed, 429 insertions(+), 1 deletion(-)
diff --git a/ChangeLog b/ChangeLog
index 201193fee8c0..3631d9bffb2d 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2024-06-20 Collin Funk <collin.fu...@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 <s...@gcc.gnu.org>
Revert:
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 8610e76b07b3..7693558c4e3c 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,59 @@
+2024-06-20 Roger Sayle <ro...@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 <j...@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.w...@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 <rguent...@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 <f...@os.amperecomputing.com>
+
+ * tree-vect-loop.cc (vect_transform_reduction): Change assertion to
+ cover all lane-reducing ops.
+
+2024-06-20 Feng Xue <f...@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 <f...@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 <f...@os.amperecomputing.com>
+
+ * tree-vect-loop.cc (vectorizable_reduction): Remove the duplicated
+ check.
+
+2024-06-20 Feng Xue <f...@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 <s...@gcc.gnu.org>
Revert:
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 9df1831b6e34..e778c427d11f 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20240620
+20240621
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 222b9cd9083f..9e835405a822 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,313 @@
+2024-06-20 Steve Baird <ba...@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 <m...@adacore.com>
+
+ * ghost.adb (Check_Ghost_Type): Fix checking.
+
+2024-06-20 Bob Duff <d...@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 <ba...@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 <dismu...@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 <m...@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 <ebotca...@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 <ebotca...@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 <r...@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 <ebotca...@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 <ebotca...@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 <ebotca...@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 <ebotca...@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 <troja...@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 <ebotca...@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 <troja...@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 <troja...@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 <ebotca...@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 <ebotca...@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 <desplanq...@adacore.com>
+
+ * gnat1drv.adb (Gnat1drv): Add coverage instrumentation
+ annotations.
+
+2024-06-20 Eric Botcazou <ebotca...@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 <ebotca...@adacore.com>
+
+ * mutably_tagged.ads: Fix minor issues in comments throughout.
+
+2024-06-20 Richard Kenner <ken...@adacore.com>
+
+ * debug.adb: Add documentation for -gnatd_w.
+
+2024-06-20 Viljar Indus <in...@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 <in...@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 <in...@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 <in...@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 <squi...@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 <ba...@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 <troja...@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 <ebotca...@adacore.com>
* gcc-interface/Makefile.in (tmake_file): Remove all references.
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 8fcd6d40c956..e07e417939fc 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,32 @@
+2024-06-20 Paul Thomas <pa...@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 <anl...@gmx.de>
PR fortran/115390
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 69e269330d9f..57e6fcb34d81 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,19 @@
+2024-06-20 Hongyu Wang <hongyu.w...@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 <pa...@gcc.gnu.org>
+
+ PR fortran/59104
+ * gfortran.dg/dependent_decls_2.f90: New test.
+
+2024-06-20 Richard Biener <rguent...@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....@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 94a5ce9a1329..4881fbe36e79 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,13 @@
+2024-06-20 Matthias Kretz <m.kr...@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 <jwak...@redhat.com>
* include/std/future: Adjust whitespace to use tabs for
