[gcc r13-1690] Daily bump.

[gcc r13-1690] Daily bump.

[GCC Administrator]

https://gcc.gnu.org/g:cff72485b1d5682a0c55f45b6e6f023c98739862

commit r13-1690-gcff72485b1d5682a0c55f45b6e6f023c98739862
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Thu Jul 14 00:16:48 2022 +0000

    Daily bump.

Diff:
---
 gcc/ChangeLog           |  38 ++++++++
 gcc/DATESTAMP           |   2 +-
 gcc/ada/ChangeLog       | 240 ++++++++++++++++++++++++++++++++++++++++++++++++
 gcc/cp/ChangeLog        |  19 ++++
 gcc/testsuite/ChangeLog |  24 +++++
 libcpp/ChangeLog        |   6 ++
 6 files changed, 328 insertions(+), 1 deletion(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 88d98389aa0..b759cf452a8 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,41 @@
+2022-07-13  Aldy Hernandez  <aldyh@redhat.com>
+
+	* range-op.cc (operator_lt::fold_range): Use nonzero bits.
+
+2022-07-13  Aldy Hernandez  <aldyh@redhat.com>
+
+	* value-range.cc (irange::copy_to_legacy): Set nonzero mask.
+	(irange::legacy_intersect): Clear nonzero mask.
+	(irange::legacy_union): Same.
+	(irange::invert): Same.
+
+2022-07-13  Richard Biener  <rguenther@suse.de>
+
+	* tree-ssa-dom.h (record_temporary_equivalences): Remove.
+	* tree-ssa-dom.cc (dom_jt_state::m_blocks_on_stack): New.
+	(dom_jt_state::get_blocks_on_stack): Likewise.
+	(dom_opt_dom_walker::dom_opt_dom_walker): Take dom_jt_state.
+	(back_propagate_equivalences): Remove dominator bitmap
+	compute and instead use passed in m_blocks_on_stack.
+	(record_temporary_equivalences): Likewise.
+	(record_equivalences_from_incoming_edge): Likewise.
+	(dom_opt_dom_walker::before_dom_children): Maintain and
+	pass down blocks on stack.
+	(dom_opt_dom_walker::after_dom_children): Likewise.
+
+2022-07-13  Andrew Carlotti  <andrew.carlotti@arm.com>
+
+	* config/aarch64/aarch64-builtins.cc
+	(aarch64_general_gimple_fold_builtin): Add fixup for invalid GIMPLE.
+
+2022-07-13  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/106249
+	* tree-ssa-loop-manip.cc (tree_transform_and_unroll_loop):
+	Only verify LC SSA of the new_loop if we created it.
+	Use TODO_update_ssa_nophi for the SSA update after versioning
+	the loop.
+
 2022-07-12  Aldy Hernandez  <aldyh@redhat.com>
 
 	* range-op.cc (unsigned_singleton_p): Remove.
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index e8fa68bf91e..56754ca716d 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20220713
+20220714
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index e8ea2a74113..2469db44a6d 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,243 @@
+2022-07-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/trans.cc (gnat_to_gnu) <N_Assignment_Statement>: Fix
+	a couple of minor issues in the commentary.
+
+2022-07-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/trans.cc (gigi): Report a violation of No_Dependence
+	on System.Stack_Checking if Stack_Check_Probes_On_Target is not set
+	and -fstack-check is specified.
+	(build_binary_op_trapv): Report violatiosn of No_Dependence on both
+	System.Arith_64 and System.Arith_128.
+	(add_decl_expr): If an initialized variable, report a violation of
+	No_Dependence on System.Memory_Copy for large aggregate types.
+	(gnat_to_gnu) <N_Op_Eq>: Report a violation
+	of No_Dependence on System.Memory_Compare for large aggregate types.
+	<N_Assignment_Statement>! Report a violation of No_Dependence on
+	System.Memory_Set, System.Memory_Move or else System.Memory_Copy for
+	large aggregate types.
+	* gcc-interface/utils2.cc (maybe_wrap_malloc): Report a violation of
+	No_Dependence on System.Memory.
+	(maybe_wrap_free): Add GNAT_NODE parameter and report a violation of
+	No_Dependence on System.Memory.
+	(build_call_alloc_dealloc): Adjust call to maybe_wrap_free.
+
+2022-07-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/decl.cc (gnat_to_gnu_entity): Do not set the debug
+	type for vector types.
+
+2022-07-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/decl.cc (gnat_to_gnu_entity) <E_Access_Subtype>:
+	Undo questionable renaming.
+
+2022-07-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/decl.cc (Gigi_Cloned_Subtype): Handle private case.
+
+2022-07-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/trans.cc (gigi): Add one more leading underscore to
+	name of stack checking function.
+
+2022-07-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/decl.cc (Gigi_Cloned_Subtype): New function.
+	(gnat_to_gnu_entity) <E_Signed_Integer_Subtype>: Call it to get the
+	cloned subtype, if any.
+	<E_Floating_Point_Subtype>: Likewise.
+	<E_Array_Subtype>: Likewise.
+	<E_Record_Subtype>: Likewise.
+	<E_Access_Subtype>: Likewise.
+	Deal with all cloned subtypes on the main path.
+
+2022-07-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/decl.cc (gnat_to_gnu_entity) <E_Access_Subtype>: Do
+	not reuse the TYPE_DECL of the base type.
+
+2022-07-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/utils.cc (gnat_pushdecl): Build DECL_ORIGINAL_TYPE
+	only for pointer types.
+
+2022-07-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/utils2.cc (build_binary_op) <EQ_EXPR>: Also accept
+	pointer-to-function types that are not variant of each other.
+
+2022-07-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/utils.cc (unchecked_convert): Also pad in most cases
+	if the source is not a scalar type but the destination is.
+
+2022-07-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/decl.cc (gnat_to_gnu_entity) <E_Array_Type>: Save
+	and restore the alias set of the dummy pointer-to-array type.
+
+2022-07-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* snames.ads-tmpl (Name_Memory_Compare): New package name.
+	(Name_Memory_Copy): Likewise.
+	(Name_Memory_Move): Likewise.
+	(Name_Memory_Set): Likewise.
+
+2022-07-13  Gary Dismukes  <dismukes@adacore.com>
+
+	* sem_ch13.adb (Check_And_Resolve_Storage_Model_Type_Argument):
+	Call the System.Case_Util.To_Mixed procedure rather than the
+	function, to avoid bootstrap problems.
+
+2022-07-13  Gary Dismukes  <dismukes@adacore.com>
+
+	* aspects.ads (Aspect_Argument): Change the association for
+	Aspect_Storage_Model_Type from Expression to
+	Optional_Expression.
+	* exp_util.ads (Find_Storage_Op): Update comment to indicate
+	that Empty can be returned in the case where a storage-model
+	operation is defaulted.
+	* exp_util.adb (Find_Storage_Op): Allow the function to return
+	Empty in Storage_Model_Type case rather than raising
+	Program_Error, so that Procedure_To_Call fields in N_Allocator
+	and N_Free_Statement nodes will be set to Empty in the defaulted
+	native storage-model case.
+	* sem_ch13.adb: Add with and use of System.Case_Util (and
+	reformat context_clause).
+	(Check_Aspect_At_Freeze_Point): Return with no action for a
+	Storage_Model_Type aspect with no expression (fully-defaulted
+	native memory-model case).
+	(Resolve_Storage_Model_Type_Argument): If an Address_Type has
+	not been explicitly specified, then set Addr_Type to denote type
+	System.Address.
+	(Validate_Storage_Model_Type_Aspect): Return immediately in the
+	case where the aspect has no Expression (fully-defaulted native
+	memory-model case).  No longer issue an error when Address_Type
+	isn't specified, and instead use type System.Address as the
+	default address type. When the address type is
+	System.Address (whether specified or defaulted), no longer issue
+	errors for any other "subaspects" that aren't specified, since
+	in that case those are allowed to default as well. Remove ???
+	comment about needing to check for duplicates, which is now
+	addressed.
+	(Check_And_Resolve_Storage_Model_Type_Argument): New procedure
+	to check that an association for a storage-model subaspect in
+	the aggregate has not been specified earlier in the aggregate,
+	and to then resolve the expression of the association and save
+	the resolved entity. Called by
+	Validate_Storage_Model_Type_Aspect.
+	* sem_util.ads (Storage_Model_Support): Update comments on specs
+	of the functions Get_Storage_Model_Type_Entity,
+	Storage_Model_Address_Type, and Storage_Model_Null_Address to
+	indicate the behavior when the address type is System.Address
+	(the native memory-model case).
+	* sem_util.adb
+	(Storage_Model_Support.Get_Storage_Model_Type_Entity): Suppress
+	the search for the given subaspect name (Nam) when the
+	Storage_Model_Type aspect is fully defaulted (i.e., no
+	Expression is present) and simply return. In cases where the
+	search is done, but no association that matches Nam is found,
+	return System.Address for the Name_Address_Type case, return
+	System.Null_Address for the Name_Null_Address case, and return
+	Empty for all other cases.
+
+2022-07-13  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_ch13.adb (Relocate_Expression): New routine with code that
+	previously was only applied to Pre and Post aspects.
+	(Analyze_Aspect_Specifications): Apply the above routine to
+	other aspects, in particular to aspects Address, Attach_Handler,
+	Predicate and Interrupt_Priority.
+
+2022-07-13  Piotr Trojanek  <trojanek@adacore.com>
+
+	* inline.adb (Build_Body_To_Inline): Instead of manipulating the
+	Full_Analysis flag, use the Inside_A_Generic flag (which is
+	conveniently manipulated by Start_Generic/End_Generic, together
+	with Expander_Active).
+	* sem_attr.adb (Analyze_Attribute_Old_Result): Adapt comment and
+	assertion to different flag that is set while building
+	body-to-inline.
+
+2022-07-13  Alexandre Oliva  <oliva@adacore.com>
+
+	* doc/gnat_rm/security_hardening_features.rst: Clarify the need
+	for choices after -fzero-call-used-regs and -fstrub.
+	* gnat_rm.texi: Regenerate.
+
+2022-07-13  Yannick Moy  <moy@adacore.com>
+
+	* sem_prag.adb (Analyze_Pragma): Recognize a generated subtype
+	with Ghost pragma for generic instantiations.
+
+2022-07-13  Yannick Moy  <moy@adacore.com>
+
+	* libgnat/s-aridou.adb (Lemma_Mult_Div, Lemma_Powers): New
+	lemmas.
+	(Prove_Sign_Quotient): New local lemma.
+	(Prove_Signs): Expand definition of Big_R and Big_Q in the
+	postcondition. Add intermediate assertions.
+	(Double_Divide): Call new lemma.
+	(Lemma_Div_Eq): Provide body for proving lemma.
+	(Lemma_Powers_Of_2, Lemma_Shift_Without_Drop,
+	Prove_Dividend_Scaling, Prove_Multiplication, Prove_Z_Low): Call
+	lemmas, add intermediate assertions.
+
+2022-07-13  Piotr Trojanek  <trojanek@adacore.com>
+
+	* inline.adb (Has_Single_Return): Add guard for the subsequent
+	call to Expression.
+
+2022-07-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Set Acts_As_Spec
+	earlier if the body is not the completion of a declaration.
+	(Check_Untagged_Equality): Deal with subprogram bodies that are
+	not the completion of a declaration and make sure that they are
+	not flagged when they cause the freezing of the type themselves.
+	Give a warning on the freezing point of the type in more cases.
+	* sem_res.adb (Resolve_Equality_Op): Revert latest change.
+
+2022-07-13  Yannick Moy  <moy@adacore.com>
+
+	* libgnat/s-arit32.adb (Scaled_Divide32): Add an assertion, move
+	the call of Prove_Sign_R around.
+
+2022-07-13  Marc Poulhiès  <poulhies@adacore.com>
+
+	* exp_ch4.adb (Expand_N_If_Expression): Test for compile time
+	known bounds when handling slices.
+
+2022-07-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_util.ads (Integer_Type_For): Mention Small_Integer_Type_For.
+	(Small_Integer_Type_For): Mention Integer_Type_For.
+
+2022-07-13  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_res.adb (Resolve_Equality_Op): Make sure that the user-defined
+	operator of an untagged record type is declared ahead of an instance
+	before using it to resolve the equality operator in the instance.
+
+2022-07-13  Justin Squirek  <squirek@adacore.com>
+
+	* exp_ch6.adb (Expand_N_Extended_Return_Statement): Add default
+	initialization for Stmts.
+	* sem_ch12.adb (Analyze_Associations): Add default
+	initialization for Match.
+	* libgnat/a-ztenau.adb (Scan_Enum_Lit): Remove duplicated
+	boolean test.
+	* libgnat/g-spipat.adb (XMatch): Combine duplicated cases.
+
+2022-07-13  Piotr Trojanek  <trojanek@adacore.com>
+
+	* par-prag.adb (Check_Arg_Count): Change parameter type from Int
+	to Nat, because this parameter is compared to Arg_Count variable
+	which is of type Nat. Also, it wouldn't make sense to check for
+	negative number of pragma arguments.
+
 2022-07-12  Piotr Trojanek  <trojanek@adacore.com>
 
 	* exp_ch11.adb (Expand_N_Exception_Declaration): Sync comment
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index ad72c03dd42..aa317e867be 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,22 @@
+2022-07-13  Patrick Palka  <ppalka@redhat.com>
+
+	PR c++/105912
+	* pt.cc (tsubst_copy_and_build) <case CALL_EXPR>: Guard against
+	NULL_TREE extract_call_expr result.
+
+2022-07-13  Patrick Palka  <ppalka@redhat.com>
+
+	PR c++/105842
+	* constraint.cc (satisfy_declaration_constraints): Refine early
+	exit test for argument dependence.
+	* cp-tree.h (uses_outer_template_parms_in_constraints): Declare.
+	* pt.cc (template_class_depth): Handle TI_TEMPLATE being a
+	FIELD_DECL.
+	(usse_outer_template_parms): Factor out constraint dependence
+	test into ...
+	(uses_outer_template_parms_in_constraints): ... here.
+	(type_dependent_expression_p): Use it for FUNCTION_DECL.
+
 2022-07-07  Patrick Palka  <ppalka@redhat.com>
 
 	PR c++/105956
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index ea12f2f668d..97b9f5f6f04 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,27 @@
+2022-07-13  Patrick Palka  <ppalka@redhat.com>
+
+	PR c++/105912
+	* g++.dg/cpp2a/consteval31.C: New test.
+
+2022-07-13  Patrick Palka  <ppalka@redhat.com>
+
+	PR c++/105842
+	* g++.dg/cpp2a/concepts-memtmpl6.C: New test.
+
+2022-07-13  Aldy Hernandez  <aldyh@redhat.com>
+
+	* g++.dg/ipa/pure-const-3.C: Adjust.
+	* gcc.dg/pr102983.c: Adjust.
+
+2022-07-13  Andrew Carlotti  <andrew.carlotti@arm.com>
+
+	* gcc.target/aarch64/advsimd-intrinsics/ignored_return_1.c: New test.
+
+2022-07-13  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/106249
+	* gcc.dg/pr106249.c: New testcase.
+
 2022-07-12  Harald Anlauf  <anlauf@gmx.de>
 
 	PR fortran/106049
diff --git a/libcpp/ChangeLog b/libcpp/ChangeLog
index 1a211f32f77..fe02298eb2a 100644
--- a/libcpp/ChangeLog
+++ b/libcpp/ChangeLog
@@ -1,3 +1,9 @@
+2022-07-13  Marek Polacek  <polacek@redhat.com>
+
+	PR preprocessor/106272
+	* include/line-map.h (class label_text): Don't std::move in a return
+	statement.
+
 2022-07-10  Lewis Hyatt  <lhyatt@gmail.com>
 
 	PR preprocessor/97498