[gcc r13-861] Daily bump.

[gcc r13-861] Daily bump.

[GCC Administrator]

https://gcc.gnu.org/g:0f4df800b15437df1e00f198f86edc7163f1fc94

commit r13-861-g0f4df800b15437df1e00f198f86edc7163f1fc94
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Tue May 31 00:16:32 2022 +0000

    Daily bump.

Diff:
---
 gcc/ChangeLog           |  79 +++++++++++++++++++
 gcc/DATESTAMP           |   2 +-
 gcc/ada/ChangeLog       | 205 ++++++++++++++++++++++++++++++++++++++++++++++++
 gcc/cp/ChangeLog        |   7 ++
 gcc/fortran/ChangeLog   |   9 +++
 gcc/testsuite/ChangeLog |  36 +++++++++
 6 files changed, 337 insertions(+), 1 deletion(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 6434f5518c5..1d1cc4690de 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,82 @@
+2022-05-30  Roger Sayle  <roger@nextmovesoftware.com>
+
+	* config/i386/i386.cc (ix86_modes_tieable_p): Allow SCmode to be
+	tieable with DImode on TARGET_64BIT, and SCmode tieable with
+	V2SFmode, and DCmode with V2DFmode.
+
+2022-05-30  Roger Sayle  <roger@nextmovesoftware.com>
+
+	PR rtl-optimization/101617
+	* config/i386/i386-expand.cc (ix86_expand_int_movcc): Add a
+	special case (indicated by negate_cc_compare_p) to generate a
+	-1/0 mask using neg;sbb.
+	* config/i386/i386.md (x86_neg<mode>_ccc): New define_expand
+	to generate an *x86_neg<mode>_ccc instruction.
+	(x86_mov<mode>cc_0_m1_neg): Likewise, a new define_expand to
+	generate a *x86_mov<mode>cc_0_m1_neg instruction.
+
+2022-05-30  Roger Sayle  <roger@nextmovesoftware.com>
+
+	* rtlanal.cc (rtx_cost) <MULT>: Treat FMA, SS_MULT, US_MULT,
+	SMUL_HIGHPART and UMUL_HIGHPART as having the same cost as MULT.
+	<DIV>: Likewise, SS_DIV and US_DIV have the same default as DIV.
+
+2022-05-30  Roger Sayle  <roger@nextmovesoftware.com>
+
+	PR target/70321
+	* config/i386/i386-expand.cc (ix86_expand_branch): Don't decompose
+	DI mode equality/inequality using XOR here.  Instead generate a
+	COMPARE for doubleword modes (DImode on !TARGET_64BIT or TImode).
+	* config/i386/i386-features.cc (gen_gpr_to_xmm_move_src): Use
+	gen_rtx_SUBREG when NUNITS is 1, i.e. for TImode to V1TImode.
+	(general_scalar_chain::convert_compare): New function to convert
+	scalar equality/inequality comparison into vector operations.
+	(general_scalar_chain::convert_insn) [COMPARE]: Refactor. Call
+	new convert_compare helper method.
+	(convertible_comparion_p): Update to match doubleword COMPARE
+	of two register, memory or integer constant operands.
+	* config/i386/i386-features.h (general_scalar_chain::convert_compare):
+	Prototype/declare member function here.
+	* config/i386/i386.md (cstore<mode>4): Change mode to SDWIM, but
+	only allow new doubleword modes for EQ and NE operators.
+	(*cmp<dwi>_doubleword): New define_insn_and_split, to split a
+	doubleword comparison into a pair of XORs followed by an IOR to
+	set the (zero) flags register, optimizing the XORs if possible.
+	* config/i386/sse.md (V_AVX): Include V1TI and V2TI in mode
+	iterator; V_AVX is (currently) only used by ptest.
+	(sse4_1 mode attribute): Update to support V1TI and V2TI.
+
+2022-05-30  Uroš Bizjak  <ubizjak@gmail.com>
+
+	* config/i386/i386.md: Remove constraints when used with
+	const_int_operand, const0_operand, const_1_operand, constm1_operand,
+	const8_operand, const128_operand, const248_operand, const123_operand,
+	const2367_operand, const1248_operand, const359_operand,
+	const_4_or_8_to_11_operand, const48_operand, const_0_to_1_operand,
+	const_0_to_3_operand, const_0_to_4_operand, const_0_to_5_operand,
+	const_0_to_7_operand, const_0_to_15_operand, const_0_to_31_operand,
+	const_0_to_63_operand, const_0_to_127_operand, const_0_to_255_operand,
+	const_0_to_255_mul_8_operand, const_1_to_31_operand,
+	const_1_to_63_operand, const_2_to_3_operand, const_4_to_5_operand,
+	const_4_to_7_operand, const_6_to_7_operand, const_8_to_9_operand,
+	const_8_to_11_operand, const_8_to_15_operand, const_10_to_11_operand,
+	const_12_to_13_operand, const_12_to_15_operand, const_14_to_15_operand,
+	const_16_to_19_operand, const_16_to_31_operand, const_20_to_23_operand,
+	const_24_to_27_operand and const_28_to_31_operand.
+	* config/i386/mmx.md: Ditto.
+	* config/i386/sse.md: Ditto.
+	* config/i386/subst.md: Ditto.
+	* config/i386/sync.md: Ditto.
+
+2022-05-30  Jan Beulich  <jbeulich@suse.com>
+
+	* config/i386/i386.md (bmi2_umul<mode><dwi>3_1): Correct MEM_P()
+	arguments.
+
+2022-05-30  Prathamesh Kulkarni  <prathamesh.kulkarni@linaro.org>
+
+	* config/arm/arm.cc (arm_vectorize_vec_perm_const): Adjust prototype.
+
 2022-05-29  Iain Sandoe  <iain@sandoe.co.uk>
 
 	PR target/105599
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 158b96c0da4..de050e6319c 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20220530
+20220531
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 1e578c1f1b7..ac5f8cf9ebb 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,208 @@
+2022-05-30  Ghjuvan Lacambre  <lacambre@adacore.com>
+
+	* erroutc.adb (Get_Warning_Option): Don't consider `?` as a
+	valid option switch.
+
+2022-05-30  Ghjuvan Lacambre  <lacambre@adacore.com>
+
+	* erroutc.ads (Get_Warning_Option): New function returning the
+	option responsible for a warning if it exists.
+	* erroutc.adb (Get_Warning_Option): Likewise.
+	(Get_Warning_Tag): Rely on Get_Warning_Option when possible.
+	* errout.adb (Output_JSON_Message): Emit option field.
+
+2022-05-30  Julien Bortolussi  <bortolussi@adacore.com>
+
+	* libgnat/a-cfdlli.ads (Insert): Remove the duplication.
+
+2022-05-30  Piotr Trojanek  <trojanek@adacore.com>
+
+	* exp_ch6.adb (Check_Subprogram_Variant): Ignore structural
+	variants.
+
+2022-05-30  Piotr Trojanek  <trojanek@adacore.com>
+
+	* osint.adb (Locate_File): Change variable to constant and
+	initialize it by concatenation of directory, file name and NUL.
+
+2022-05-30  Piotr Trojanek  <trojanek@adacore.com>
+
+	* doc/gnat_rm/implementation_advice.rst (Packed Types): Remove
+	duplicated and wrongly placed paragraph.
+	* gnat_rm.texi: Regenerate.
+
+2022-05-30  Ghjuvan Lacambre  <lacambre@adacore.com>
+
+	* inline.adb (Check_Package_Body_For_Inlining): Add insertion
+	character.
+
+2022-05-30  Ghjuvan Lacambre  <lacambre@adacore.com>
+
+	* freeze.adb (Warn_Overlay): Add 'o' insertion character.
+	* sem_ch13.adb (Analyze_Attribute_Definition_Clause): Likewise.
+	* sem_util.adb (Note_Possible_Modifications): Likewise.
+
+2022-05-30  Ghjuvan Lacambre  <lacambre@adacore.com>
+
+	* sem_warn.adb (Warn_On_Useless_Assignment): Fix insertion
+	character.
+
+2022-05-30  Ghjuvan Lacambre  <lacambre@adacore.com>
+
+	* sem_disp.adb (Warn_On_Late_Primitive_After_Private_Extension):
+	Fix insertion character.
+
+2022-05-30  Ghjuvan Lacambre  <lacambre@adacore.com>
+
+	* sem_elab.adb (Process_Conditional_ABE_Access_Taken): Add '.f'
+	insertion characters.
+
+2022-05-30  Piotr Trojanek  <trojanek@adacore.com>
+
+	* lib-xref.ads (Deferred_Reference_Entry, Defer_Reference,
+	Process_Deferred_References, Has_Deferred_Reference): Remove
+	client API.
+	* lib-xref.adb (Deferred_References, Defer_Reference,
+	Has_Deferred_Reference, Process_Deferred_References): Remove
+	implementation.
+	* frontend.adb, sem_ch11.adb, sem_ch5.adb, sem_res.adb,
+	sem_util.adb, sem_warn.adb: Remove uses of Deferred_References.
+
+2022-05-30  Bob Duff  <duff@adacore.com>
+
+	* exp_ch7.adb (Wrap_HSS_In_Block): Do not create a new block in
+	the case of function bodies. We include all subprogram bodies,
+	because it's harmless for procedures. We cannot easily avoid
+	creating this block in ALL cases, because some transformations
+	of (e.g.) task bodies end up moving some code such that the
+	wrong exception handlers apply to that code.
+	(Build_Finalizer_Call): Remove code for creating a new block.
+	This was unreachable code, given that Wrap_HSS_In_Block has
+	already done that, but with the above change to
+	Wrap_HSS_In_Block, this code becomes reachable, and triggers
+	essentially the same bug.
+	* exp_ch7.ads: Adjust comment.
+
+2022-05-30  Justin Squirek  <squirek@adacore.com>
+
+	* par-ch6.adb (P_Formal_Part): Set Aspect_Specifications on all
+	formals instead of just the last in a formal id list.
+	* sem_ch6.adb (Analyze_Null_Procedure): Mark expanded null
+	generic procedures as trivial in order to avoid spurious
+	unreferenced warnings.
+
+2022-05-30  Romain Beguet  <beguet@adacore.com>
+
+	* libgnat/s-dwalin.adb: Add a subtype declaration to fix the
+	ambiguity.
+
+2022-05-30  Steve Baird  <baird@adacore.com>
+
+	* sem_ch13.adb (Is_Predicate_Static): Do not generate warnings
+	about subexpressions of enclosing expressions. Generate warnings
+	for predicates that are known to be always true or always false,
+	except in the case where the predicate is expressed as a Boolean
+	literal. Deal with non-predicate-static expressions that have
+	been transformed into predicate-static expressions.  Add missing
+	Is_Type_Ref call to N_Membership_Test case.
+
+2022-05-30  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_aggr.adb (Expand_Record_Aggregate.Build_Back_End_Aggregate):
+	Skip the discriminants at the start of the component list before
+	looking for the components inherited from the parent in the case
+	of a tagged extension.
+
+2022-05-30  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_disp.adb (Make_DT): Remove remaining freezing code.
+
+2022-05-30  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_attr.adb (Resolve_Attribute) <Attribute_Access>: Don't analyze
+	the body of an expression function in the case of a dispatch table.
+
+2022-05-30  Arnaud Charlet  <charlet@adacore.com>
+
+	* gnat1drv.adb, opt.ads, sem_ch7.adb: Introduce CCG_Mode.
+
+2022-05-30  Yannick Moy  <moy@adacore.com>
+
+	* Makefile.rtl: Add new units.
+	* libgnat/s-aridou.adb (Scaled_Divide): Add ghost code for provers.
+	* libgnat/s-spcuop.adb: New unit for ghost cut operations.
+	* libgnat/s-spcuop.ads: New unit for ghost cut operations.
+	* libgnat/s-spark.ads: New unit.
+
+2022-05-30  Alexandre Oliva  <oliva@adacore.com>
+
+	* doc/gnat_rm/security_hardening_features.rst: Mention
+	availability in other languages when applicable.
+	(Stack Scrubbing): Associate the attribute with types, expand
+	some comments, fix the example involving access to variables.
+	* gnat_rm.texi: Regenerate.
+
+2022-05-30  Piotr Trojanek  <trojanek@adacore.com>
+
+	* libgnat/a-cofuse.ads (Empty_Set): Fix typo in comment.
+
+2022-05-30  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_ch6.adb (New_Overloaded_Entity): Deal specifically with the
+	overriding of the "=" operator for tagged types.
+
+2022-05-30  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch3.adb (Expand_N_Object_Declaration): Adjust call to Make_DT.
+	* exp_disp.ads (Building_Static_DT): Remove pragma Inline.
+	(Building_Static_Secondary_DT): Likewise.
+	(Convert_Tag_To_Interface): Likewise.
+	(Make_DT): Remove second parameter.
+	* exp_disp.adb (Make_DT): Likewise.
+	(Check_Premature_Freezing): Delete.
+	Pass Do_Freeze_Profile as False in call to Freeze_Entity.
+	* freeze.ads (Freezing_Library_Level_Tagged_Type): Delete.
+	* freeze.adb (Freeze_Profile): Remove obsolete code.
+	(Freeze_Entity): Tweak comment.
+
+2022-05-30  Yannick Moy  <moy@adacore.com>
+
+	* libgnat/s-arit32.adb (Scaled_Divide32): Move assertion up.
+
+2022-05-30  Yannick Moy  <moy@adacore.com>
+
+	PR ada/105303
+	* libgnat/s-gearop.adb: Add pragma Assertion_Policy in generic
+	bodies making use of additional assertions or ghost code.
+	* libgnat/s-gearop.ads: Remove confusing Assertion_Policy.
+
+2022-05-30  Steve Baird  <baird@adacore.com>
+
+	* exp_ch11.adb (Expand_N_Raise_Expression): Remove
+	Convert_To_Return_False test.
+	* gen_il-fields.ads: Remove Convert_To_Return_False field.
+	* gen_il-gen-gen_nodes.adb: Remove use of
+	Convert_To_Return_False field.
+	* sinfo.ads: Remove comment describing Convert_To_Return_False
+	flag.
+
+2022-05-30  Julien Bortolussi  <bortolussi@adacore.com>
+
+	* libgnat/a-cofuma.ads, libgnat/a-cofuma.adb,
+	libgnat/a-cofuse.ads, libgnat/a-cofuse.adb,
+	libgnat/a-cofuve.ads, libgnat/a-cofuve.adb: Add empty
+	constructors.
+
+2022-05-30  Ghjuvan Lacambre  <lacambre@adacore.com>
+
+	* bindgen.adb (Gen_CUDA_Init): Remove code generating CUDA
+	definitions.
+	(Gen_CUDA_Defs): New function, generating definitions
+	initialized by Gen_CUDA_Init.
+	(Gen_Output_File_Ada): Call Gen_CUDA_Defs instead of
+	Gen_CUDA_Init.
+	(Gen_Adainit): Call Gen_CUDA_Init.
+
 2022-05-28  Alexandre Oliva  <oliva@adacore.com>
 
 	* gcc-interface/Makefile.in (OSCONS_CC): Rename to...
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 8575393f13b..5b52feaf897 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,10 @@
+2022-05-30  Marek Polacek  <polacek@redhat.com>
+
+	PR c++/99080
+	* pt.cc (type_dependent_expression_p): Assert !TYPE_P.
+	* semantics.cc (finish_id_expression_1): Handle UNBOUND_CLASS_TEMPLATE
+	specifically.
+
 2022-05-28  Jakub Jelinek  <jakub@redhat.com>
 
 	* parser.cc (handle_omp_declare_target_clause): If OMP_CLAUSE_LINK was
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index d009192f66c..93eea4d4d5a 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,12 @@
+2022-05-30  Harald Anlauf  <anlauf@gmx.de>
+
+	PR fortran/91300
+	* libgfortran.h: Define new error code LIBERROR_NO_MEMORY.
+	* trans-stmt.cc (gfc_trans_allocate): Generate code for setting
+	ERRMSG depending on result of STAT result of ALLOCATE.
+	* trans.cc (gfc_allocate_using_malloc): Use STAT value of
+	LIBERROR_NO_MEMORY in case of failed malloc.
+
 2022-05-28  Tobias Burnus  <tobias@codesourcery.com>
 
 	* dump-parse-tree.cc (show_omp_clauses): Handle OMP_LIST_ENTER.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 677e064c6f5..e7c843d8c21 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,39 @@
+2022-05-30  Harald Anlauf  <anlauf@gmx.de>
+
+	PR fortran/91300
+	* gfortran.dg/allocate_alloc_opt_15.f90: New test.
+
+2022-05-30  Roger Sayle  <roger@nextmovesoftware.com>
+
+	PR rtl-optimization/101617
+	* gcc.target/i386/pr101617.c: New test case.
+
+2022-05-30  Roger Sayle  <roger@nextmovesoftware.com>
+
+	PR target/70321
+	* gcc.target/i386/pr70321.c: New test case.
+	* gcc.target/i386/sse4_1-stv-1.c: New test case.
+
+2022-05-30  Uroš Bizjak  <ubizjak@gmail.com>
+
+	* gcc.target/i386/pr105624.c: New test.
+
+2022-05-30  Vineet Gupta  <vineetg@rivosinc.com>
+
+	* gcc.target/riscv/fmax.c: Add dg-require-effective-target hard_float.
+	* gcc.target/riscv/fmaxf.c: Ditto.
+	* gcc.target/riscv/fmin.c: Ditto.
+	* gcc.target/riscv/fminf.c: Ditto.
+	* gcc.target/riscv/smax-ieee.c: Ditto.
+	* gcc.target/riscv/smax.c: Ditto.
+	* gcc.target/riscv/smaxf-ieee.c: Ditto.
+	* gcc.target/riscv/smaxf.c: Ditto.
+	* gcc.target/riscv/smin-ieee.c: Ditto.
+	* gcc.target/riscv/smin.c: Ditto.
+	* gcc.target/riscv/sminf-ieee.c: Ditto.
+	* gcc.target/riscv/sminf.c: Ditto.
+	* gcc.target/riscv/pr105666.c: Ditto.
+
 2022-05-29  Jakub Jelinek  <jakub@redhat.com>
 
 	PR preprocessor/105732