Merge of 8428bcd

config/ChangeLog

@@ -1,3 +1,8 @@
+2023-11-30  Rainer Orth  <[email protected]>
+
+	* hwcaps.m4 (GCC_CHECK_ASSEMBLER_HWCAP): Require
+	AC_CANONICAL_TARGET.
+
 2023-11-13  Arsen Arsenović  <[email protected]>
 
 	* intlmacosx.m4: Import from gettext-0.22 (serial 8).

gcc/ChangeLog

@@ -1,3 +1,89 @@
+2023-11-30  Wilco Dijkstra  <[email protected]>
+
+	PR target/111404
+	* config/aarch64/aarch64.cc (aarch64_split_compare_and_swap):
+	For 128-bit store the loaded value and loop if needed.
+
+2023-11-30  Wilco Dijkstra  <[email protected]>
+
+	PR target/103100
+	* config/aarch64/aarch64.md (cpymemdi): Remove pattern condition.
+	(setmemdi): Likewise.
+	* config/aarch64/aarch64.cc (aarch64_expand_cpymem): Support
+	strict-align.  Cleanup condition for using MOPS.
+	(aarch64_expand_setmem): Likewise.
+
+2023-11-30  Richard Biener  <[email protected]>
+
+	PR tree-optimization/112767
+	* tree-scalar-evolution.cc (final_value_replacement_loop):
+	Propagate constants to immediate uses immediately.
+
+2023-11-30  Richard Biener  <[email protected]>
+
+	PR tree-optimization/112766
+	* gimple-predicate-analysis.cc (find_var_cmp_const):
+	Support continuing the iteration and report every candidate.
+	(uninit_analysis::overlap): Iterate over all flag var
+	candidates.
+
+2023-11-30  Juzhe-Zhong  <[email protected]>
+
+	PR target/112431
+	* config/riscv/vector.md: Add widening overlap of vf2/vf4.
+
+2023-11-30  Juzhe-Zhong  <[email protected]>
+
+	PR target/112431
+	* config/riscv/vector.md: Remove earlyclobber for wx/wf instructions.
+
+2023-11-30  Jakub Jelinek  <[email protected]>
+
+	PR middle-end/112733
+	* wide-int.cc (wi::mul_internal): Don't allocate twice as much
+	space for u, v and r as needed.
+	(divmod_internal_2): Change return type from void to int, for n == 1
+	return 1, otherwise before writing b_dividend into b_remainder set
+	n to MIN (n, m) and at the end return it.
+	(wi::divmod_internal): Don't allocate 4 times as much space for
+	b_quotient, b_remainder, b_dividend and b_divisor.  Set n to
+	result of divmod_internal_2.
+	(wide_int_cc_tests): Add test for unsigned widest_int
+	wi::multiple_of_p of 1 and -128.
+
+2023-11-30  liuhongt  <[email protected]>
+
+	* config/i386/sse.md (sdot_prodv64qi): New expander.
+	(sseunpackmodelower): New mode attr.
+	(sdot_prod<mode>): Emulate sdot_prodv*qi with sodt_prov*hi
+	when TARGET_VNNIINT8 is not available.
+
+2023-11-30  liuhongt  <[email protected]>
+
+	* config/i386/sse.md: (reduc_plus_scal_<mode>): Use
+	vec_extract_lo instead of subreg.
+	(reduc_<code>_scal_<mode>): Ditto.
+	(reduc_<code>_scal_<mode>): Ditto.
+	(reduc_<code>_scal_<mode>): Ditto.
+	(reduc_<code>_scal_<mode>): Ditto.
+
+2023-11-30  Juzhe-Zhong  <[email protected]>
+
+	PR target/112431
+	* config/riscv/vector.md: Add widenning overlap.
+
+2023-11-30  Juzhe-Zhong  <[email protected]>
+
+	* config/riscv/constraints.md (TARGET_VECTOR ? V_REGS : NO_REGS): Fix constraint.
+	* config/riscv/riscv.md (no,W21,W42,W84,W41,W81,W82): Rename vconstraint into group_overlap.
+	(no,yes): Ditto.
+	(none,W21,W42,W84,W43,W86,W87): Ditto.
+	* config/riscv/vector.md: Ditto.
+
+2023-11-30  Juzhe-Zhong  <[email protected]>
+
+	* config/riscv/vector.md: Support highpart overlap for vext.vf2
+
 2023-11-29  Philipp Tomsich  <[email protected]>
 
 	* config/aarch64/aarch64-cores.def (AARCH64_CORE): Add ampere-1b

gcc/DATESTAMP

@@ -1 +1 @@
-20231130
+20231201

gcc/ada/ChangeLog

@@ -1,3 +1,127 @@
+2023-11-30  Eric Botcazou  <[email protected]>
+
+	* checks.ads (Apply_Predicate_Check): Add Deref boolean parameter.
+	* checks.adb (Apply_Predicate_Check): Revert latest change. Use
+	Loc local variable to hold the source location. Use a common code
+	path for the generic processing and make a dereference if Deref is
+	True.
+	* exp_ch4.adb (Expand_Allocator_Expression): Compute Aggr_In_Place
+	earlier. If it is true, do not call Apply_Predicate_Check on the
+	expression on entry but on the temporary on exit with a
+	dereference.
+	* sem_res.adb (Resolve_Actuals): Add explicit parameter
+	association in call to Apply_Predicate_Check.
+
+2023-11-30  Steve Baird  <[email protected]>
+
+	* exp_put_image.adb (Put_Image_Enabled): Return True in more
+	cases. In particular, when testing to see if a type occurs in a
+	predefined unit, test the type's code unit
+	(obtained by calling Get_Code_Unit). In the case of type within a
+	user-defined instance of a predefined generic, Is_Predefined_Unit
+	will return True for the type and False for the type's code unit.
+
+2023-11-30  Yannick Moy  <[email protected]>
+
+	* contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract):
+	Remove checking on volatility. Remove handling of SPARK_Mode, not
+	needed anymore.
+	(Analyze_Entry_Or_Subprogram_Contract): Remove checking on
+	volatility.
+	(Check_Type_Or_Object_External_Properties): Same.
+	(Analyze_Object_Contract): Same.
+	* freeze.adb (Freeze_Record_Type): Same. Also remove checking on
+	synchronized types and ghost types.
+	* sem_ch12.adb (Instantiate_Object): Remove checking on
+	volatility.
+	(Instantiate_Type): Same.
+	* sem_ch3.adb (Access_Type_Declaration): Same.
+	(Derived_Type_Declaration): Remove checking related to untagged
+	partial view.
+	(Process_Discriminants): Remove checking on volatility.
+	* sem_ch5.adb (Analyze_Loop_Parameter_Specification): Same.
+	* sem_ch6.adb (Analyze_Procedure_Call): Fix use of SPARK_Mode
+	where GNATprove_Mode was intended.
+	* sem_disp.adb (Inherited_Subprograms): Protect against Empty
+	node.
+	* sem_prag.adb (Analyze_Global_In_Decl_Part): Remove checking on
+	volatility.
+	(Analyze_Pragma): Same.
+	* sem_res.adb (Flag_Effectively_Volatile_Objects): Remove.
+	(Resolve_Actuals): Remove checking on volatility.
+	(Resolve_Entity_Name): Same.
+	* sem_util.adb (Check_Nonvolatile_Function_Profile): Remove.
+	(Check_Volatility_Compatibility): Remove.
+	* sem_util.ads: Same.
+
+2023-11-30  Sheri Bernstein  <[email protected]>
+
+	* libgnat/i-cstrin.adb (Free): Rewrite code so there is only one
+	return, to remove Improper_Returns violation.
+	(Position_Of_Nul): Add pragma to exempt Improper_Returns
+	violation.
+	(To_Chars_Ptr): Likewise.
+	(Value): Likewise
+
+2023-11-30  Viljar Indus  <[email protected]>
+
+	* sem_prag.adb (Validate_Compile_Time_Warning_Errors): Avoid
+	checking compile time warnings and errors if backend has not been
+	activated.
+
+2023-11-30  Yannick Moy  <[email protected]>
+
+	* checks.adb, exp_aggr.adb, exp_ch4.ads, exp_ch5.adb,
+	exp_util.adb, exp_util.ads, inline.adb, sem_ch13.adb,
+	sem_ch6.adb, sem_ch8.adb, sem_prag.adb, sem_util.ads: Fix comments
+	and typos.
+
+2023-11-30  Javier Miranda  <[email protected]>
+
+	* freeze.adb (Declared_In_Expanded_Body): New subprogram.
+	(In_Expanded_Body): Minor code cleanup.
+	(Freeze_Expression): Code cleanup plus factorize in a new function
+	the code that identifies entities declared in the body of expander
+	generated subprograms, since such case must be checked also for
+	other node kinds when climbing the tree to locate the place to
+	insert the freezing node.
+
+2023-11-30  Steve Baird  <[email protected]>
+
+	* sem_ch8.adb (Find_Direct_Name): In the case of a resolving a
+	name that occurs within an instantiation, add code to detect and
+	filter out unwanted candidate resolutions. The filtering is
+	performed via a call to Remove_Interp.
+
+2023-11-30  Steve Baird  <[email protected]>
+
+	* libgnarl/a-rttiev.ads: add a comment
+
+2023-11-30  Steve Baird  <[email protected]>
+
+	* sem_ch12.adb (Validate_Discriminated_Formal_Type): Replace
+	Entity_Id equality test with a call to Subtypes_Match. Distinct
+	subtypes which are statically matching should pass this test.
+	(Check_Discriminated_Formal): Replace Entity_Id equality test with
+	a call to Subtypes_Statically_Match (preceded by a check that the
+	preconditions for the call are satisfied).
+
+2023-11-30  Eric Botcazou  <[email protected]>
+
+	* exp_ch4.adb (Expand_Allocator_Expression): Add Special_Return
+	boolean constant to hold the value of For_Special_Return_Object
+	for the allocator and use it throughout the procedure.
+
+2023-11-30  Eric Botcazou  <[email protected]>
+
+	* checks.adb (Apply_Predicate_Check): Also deal specifically with
+	an expression that is a qualified aggregate in an allocator.
+
+2023-11-30  Steve Baird  <[email protected]>
+
+	* sem_ch4.adb (Constant_Indexing_OK): As a temporary stopgap,
+	return False in the case of an unanalyzed prefixed-view call.
+
 2023-11-28  Simon Wright  <[email protected]>
 
 	PR ada/111909

gcc/c-family/ChangeLog

@@ -1,3 +1,9 @@
+2023-11-30  Jakub Jelinek  <[email protected]>
+
+	PR c++/110349
+	* c-cppbuiltin.cc (c_cpp_builtins): Predefine
+	__cpp_placeholder_variables=202306L for C++26.
+
 2023-11-29  Alexandre Oliva  <[email protected]>
 
 	* c-attribs.cc (c_common_attribute_table): Add hardbool.

gcc/cp/ChangeLog

@@ -1,3 +1,71 @@
+2023-11-30  Marek Polacek  <[email protected]>
+
+	PR c++/112744
+	* typeck.cc (finish_class_member_access_expr): When accessing
+	a static data member, use ba_any for lookup_base.
+
+2023-11-30  Jakub Jelinek  <[email protected]>
+
+	PR c++/110349
+	* cp-tree.h: Implement C++26 P2169R4 - Placeholder variables with no
+	name.
+	(OVL_NAME_INDEPENDENT_DECL_P): Define.
+	(add_capture): Add unsigned * argument.
+	(name_independent_decl_p): New inline function.
+	* name-lookup.cc (class name_lookup): Make ambiguous and
+	add_value members public.
+	(name_independent_linear_search): New function.
+	(get_class_binding_direct): Handle member_vec_binary_search
+	returning OVL_NAME_INDEPENDENT_DECL_P OVERLOAD.  Use
+	name_independent_linear_search rather than fields_linear_search
+	for linear lookup of _ name if !want_type.
+	(member_name_cmp): Sort name-independent declarations first.
+	(member_vec_dedup): Handle name-independent declarations.
+	(pop_local_binding): Handle binding->value being a TREE_LIST for
+	ambiguous name-independent declarations.
+	(supplement_binding): Handle name-independent declarations.
+	(update_binding): Likewise.
+	(check_local_shadow): Return tree rather than void, normally
+	NULL_TREE but old for name-independent declarations which used
+	to conflict with outer scope declaration.  Don't emit -Wshadow*
+	warnings for name-independent declarations.
+	(pushdecl): Handle name-independent declarations.
+	* search.cc (lookup_field_r): Handle nval being a TREE_LIST.
+	* lambda.cc (build_capture_proxy): Adjust for ___.<number>
+	names of members.
+	(add_capture): Add NAME_INDEPENDENT_CNT argument.  Use ___.<number>
+	name rather than ___ for second and following capture with
+	_ name.
+	(add_default_capture): Adjust add_capture caller.
+	* decl.cc (poplevel): Don't warn about name-independent declarations.
+	(duplicate_decls): If in C++26 a _ named declaration conflicts with
+	earlier declarations, emit explaining note why the new declaration
+	is not name-independent.
+	(reshape_init_class): If field is a TREE_LIST, emit an ambiguity
+	error with list of candidates rather than error about non-existing
+	non-static data member.
+	* parser.cc (cp_parser_lambda_introducer): Adjust add_capture callers.
+	Allow name-independent capture redeclarations.
+	(cp_parser_decomposition_declaration): Set decl_specs.storage_class
+	to sc_static for static structured bindings.
+	* pt.cc (tsubst_lambda_expr): Adjust add_capture caller.
+
+2023-11-30  Alexandre Oliva  <[email protected]>
+
+	* decl.cc (finish_enum_value_list): Set TYPE_PACKED if
+	use_short_enum, and propagate it to variants.
+
+2023-11-30  Jason Merrill  <[email protected]>
+
+	* cp-tree.h (LAMBDA_EXPR_MUTABLE_P): Remove.
+	* cp-tree.def: Remove documentation.
+	* lambda.cc (build_lambda_expr): Remove reference.
+	* parser.cc (cp_parser_lambda_declarator_opt): Likewise.
+	* pt.cc (tsubst_lambda_expr): Likewise.
+	* ptree.cc (cxx_print_lambda_node): Likewise.
+	* semantics.cc (capture_decltype): Get the object quals
+	from the object instead.
+
 2023-11-29  Marek Polacek  <[email protected]>
 
 	PR c++/106650

gcc/fortran/ChangeLog

@@ -1,3 +1,9 @@
+2023-11-30  Harald Anlauf  <[email protected]>
+
+	PR fortran/112764
+	* primary.cc (gfc_variable_attr): Set TARGET attribute of associating
+	entity dependent on TARGET or POINTER attribute of selector.
+
 2023-11-28  Andrew Jenner  <[email protected]>
 	    Tobias Burnus   <[email protected]>