[gcc r12-2263] Daily bump.

[gcc r12-2263] Daily bump.

[GCC Administrator]

https://gcc.gnu.org/g:07bcbf9cc2a031ba5abcff368b452bfc99bf707e

commit r12-2263-g07bcbf9cc2a031ba5abcff368b452bfc99bf707e
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Tue Jul 13 00:16:30 2021 +0000

    Daily bump.

Diff:
---
 gcc/ChangeLog           | 121 ++++++++++++++++++++++++++++++++++++++++++
 gcc/DATESTAMP           |   2 +-
 gcc/ada/ChangeLog       | 138 ++++++++++++++++++++++++++++++++++++++++++++++++
 gcc/cp/ChangeLog        |  11 ++++
 gcc/testsuite/ChangeLog |  59 +++++++++++++++++++++
 libstdc++-v3/ChangeLog  |   6 +++
 6 files changed, 336 insertions(+), 1 deletion(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 6e6aaf0c891..98570fe405c 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,124 @@
+2021-07-12  Andrew MacLeod  <amacleod@redhat.com>
+
+	* gimple-range-fold.cc (fold_using_range::range_of_builtin_ubsan_call):
+	Query relation between the 2 operands and use it.
+
+2021-07-12  Sergei Trofimovich  <siarheit@google.com>
+
+	* doc/cfg.texi: Fix s/ei_safe_safe/ei_safe_edge/ typo.
+
+2021-07-12  Uroš Bizjak  <ubizjak@gmail.com>
+
+	PR target/101424
+	* config/i386/predicates.md (vec_setm_sse41_operand):
+	Rename from vec_setm_operand.
+	(vec_setm_avx2_operand): New predicate.
+	* config/i386/sse.md (vec_set<V_128:mode>): Use V_128 mode iterator.
+	Use vec_setm_sse41_operand as operand 2 predicate.
+	(vec_set<V_256_512:mode): New expander.
+	* config/i386/mmx.md (vec_setv2hi): Use vec_setm_sse41_operand
+	as operand 2 predicate.
+
+2021-07-12  Andrew MacLeod  <amacleod@redhat.com>
+
+	PR tree-optimization/101335
+	* range-op.cc (operator_cast::lhs_op1_relation): Delete.
+
+2021-07-12  Andrew Pinski  <apinski@marvell.com>
+
+	* tree-ssa-phiopt.c (match_simplify_replacement): Move
+	insert of the sequence before the movement of the
+	statement. Check if to see if the statement is used
+	outside of the original phi to see if we should move it.
+
+2021-07-12  Richard Biener  <rguenther@suse.de>
+
+	* dump-context.h (debug_dump_context::debug_dump_context):
+	Add FILE * parameter defaulted to stderr.
+	* dumpfile.c (debug_dump_context::debug_dump_context): Adjust.
+	* tree-vect-slp.c (dot_slp_tree): New functions.
+
+2021-07-12  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/101373
+	* tree-ssa-pre.c (prune_clobbered_mems): Also prune trapping
+	references when the BB may not return.
+	(compute_avail): Pass in the function we're working on and
+	replace cfun references with it.  Externally throwing
+	const calls also possibly terminate the function.
+	(pass_pre::execute): Pass down the function we're working on.
+	* gcse.c (compute_hash_table_work): Externally throwing
+	const/pure calls also need record_last_mem_set_info.
+	* postreload-gcse.c (record_opr_changes): Looping or externally
+	throwing const/pure calls also need record_last_mem_set_info.
+
+2021-07-12  Uroš Bizjak  <ubizjak@gmail.com>
+
+	* recog.c (memory_address_addr_space_p): Change the type to bool.
+	Return true/false instead of 1/0.
+	(offsettable_memref_p): Ditto.
+	(offsettable_nonstrict_memref_p): Ditto.
+	(offsettable_address_addr_space_p): Ditto.
+	Change the type of addressp indirect function to bool.
+	* recog.h (memory_address_addr_space_p): Change the type to bool.
+	(strict_memory_address_addr_space_p): Ditto.
+	(offsettable_memref_p): Ditto.
+	(offsettable_nonstrict_memref_p): Ditto.
+	(offsettable_address_addr_space_p): Ditto.
+	* reload.c (maybe_memory_address_addr_space_p): Ditto.
+	(strict_memory_address_addr_space_p): Change the type to bool.
+	Return true/false instead of 1/0.
+	(maybe_memory_address_addr_space_p): Change the type to bool.
+
+2021-07-12  Richard Biener  <rguenther@suse.de>
+
+	* tree-vect-slp.c (vect_slp_region): Show the number of
+	SLP graph entries in the optimization message.
+
+2021-07-12  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/101394
+	* tree-ssa-pre.c (do_pre_regular_insertion): Avoid inserting
+	copies from abnormals for a full redundancy.
+
+2021-07-12  Richard Biener  <rguenther@suse.de>
+
+	PR middle-end/101423
+	* gimple.c (gimple_could_trap_p_1): Internal function calls
+	do not trap.
+	* tree-eh.c (tree_could_trap_p): Likewise.
+
+2021-07-12  prathamesh.kulkarni  <prathamesh.kulkarni@linaro.org>
+
+	PR target/66791
+	* config/arm/arm_neon.h (vmul_n_u32): Replace call to builtin with
+	__a * __b.
+	(vmulq_n_u32): Likewise.
+	(vmul_n_f32): Gate __a * __b on __FAST_MATH__.
+	(vmulq_n_f32): Likewise.
+	(vmul_n_f16): Likewise.
+	(vmulq_n_f16): Likewise.
+
+2021-07-12  Martin Liska  <mliska@suse.cz>
+
+	PR sanitizer/101425
+	* gcc.c (check_offload_target_name): Call
+	  candidates_list_and_hint only if we have a candidate.
+
+2021-07-12  prathamesh.kulkarni  <prathamesh.kulkarni@linaro.org>
+
+	PR target/98435
+	* config/arm/neon.md (vec_init): Move to ...
+	* config/arm/vec-common.md (vec_init): ... here.
+	Change the pattern's mode to VDQX and gate it on VALID_MVE_MODE.
+
+2021-07-12  Roger Sayle  <roger@nextmovesoftware.com>
+
+	PR tree-optimization/101403
+	* match.pd ((T)bswap(X)>>C): Correctly handle cases where
+	signedness of the shift is not the same as the signedness of
+	the type extension.
+
 2021-07-09  Roger Sayle  <roger@nextmovesoftware.com>
 	    Uroš Bizjak  <ubizjak@gmail.com>
 
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index d01e523f1fc..12fd5d42259 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20210712
+20210713
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 9b5629c2cf7..a60b02a8d9a 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,141 @@
+2021-07-12  Pierre-Marie de Rodat  <derodat@adacore.com>
+
+	* adaint.c (__gnat_number_of_cpus): Replace "#ifdef" by "#if
+	defined".
+
+2021-07-12  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/decl.c (gnat_to_gnu_entity) <discrete_type>: Add a
+	parallel type only when -fgnat-encodings=all is specified.
+	<E_Array_Type>: Use the PAT name and special suffixes only when
+	-fgnat-encodings=all is specified.
+	<E_Array_Subtype>: Build a special type for debugging purposes only
+	when -fgnat-encodings=all is specified.  Add a parallel type or use
+	the PAT name only when -fgnat-encodings=all is specified.
+	<E_Record_Type>: Generate debug info for the inner record types only
+	when -fgnat-encodings=all is specified.
+	<E_Record_Subtype>: Use a debug type for an artificial subtype only
+	except when -fgnat-encodings=all is specified.
+	(elaborate_expression_1): Reset need_for_debug when possible only
+	except when -fgnat-encodings=all is specified.
+	(components_to_record): Use XV encodings for variable size only
+	when -fgnat-encodings=all is specified.
+	(associate_original_type_to_packed_array): Add a parallel type only
+	when -fgnat-encodings=all is specified.
+	* gcc-interface/misc.c (gnat_get_array_descr_info): Do not return
+	full information only when -fgnat-encodings=all is specified.
+	* gcc-interface/utils.c (make_packable_type): Add a parallel type
+	only when -fgnat-encodings=all is specified.
+	(maybe_pad_type): Make the inner type a debug type only except when
+	-fgnat-encodings=all is specified.  Create an XVS type for variable
+	size only when -fgnat-encodings=all is specified.
+	(rest_of_record_type_compilation): Add a parallel type only when
+	-fgnat-encodings=all is specified.
+
+2021-07-12  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Use a
+	fixed lower bound if the index subtype is marked so, as well as a
+	more efficient formula for the upper bound if the array cannot be
+	superflat.
+	(flb_cannot_be_superflat): New predicate.
+	(cannot_be_superflat): Rename into...
+	(range_cannot_be_superfla): ...this.  Minor tweak.
+
+2021-07-12  Bob Duff  <duff@adacore.com>
+
+	* uintp.ads, types.h: New subtypes of Uint: Valid_Uint, Unat,
+	Upos, Nonzero_Uint with predicates. These correspond to new
+	field types in Gen_IL.
+	* gen_il-types.ads (Valid_Uint, Unat, Upos, Nonzero_Uint): New
+	field types.
+	* einfo-utils.ads, einfo-utils.adb, fe.h (Known_Alignment,
+	Init_Alignment): Use the initial zero value to represent
+	"unknown". This will ensure that if Alignment is called before
+	Set_Alignment, the compiler will blow up (if assertions are
+	enabled).
+	* atree.ads, atree.adb, atree.h, gen_il-gen.adb
+	(Get_Valid_32_Bit_Field): New generic low-level getter for
+	subtypes of Uint.
+	(Copy_Alignment): New procedure to copy Alignment field even
+	when Unknown.
+	(Init_Object_Size_Align, Init_Size_Align): Do not bypass the
+	Init_ procedures.
+	* exp_pakd.adb, freeze.adb, layout.adb, repinfo.adb,
+	sem_util.adb: Protect calls to Alignment with Known_Alignment.
+	Use Copy_Alignment when it might be unknown.
+	* gen_il-gen-gen_entities.adb (Alignment,
+	String_Literal_Length): Use type Unat instead of Uint, to ensure
+	that the field is always Set_ before we get it, and that it is
+	set to a nonnegative value.
+	(Enumeration_Pos): Unat.
+	(Enumeration_Rep): Valid_Uint. Can be negative, but must be
+	valid before fetching.
+	(Discriminant_Number): Upos.
+	(Renaming_Map): Remove.
+	* gen_il-gen-gen_nodes.adb (Char_Literal_Value, Reason): Unat.
+	(Intval, Corresponding_Integer_Value): Valid_Uint.
+	* gen_il-internals.ads: New functions for dealing with special
+	defaults and new subtypes of Uint.
+	* scans.ads: Correct comments.
+	* scn.adb (Post_Scan): Do not set Intval to No_Uint; that is no
+	longer allowed.
+	* sem_ch13.adb (Analyze_Enumeration_Representation_Clause): Do
+	not set Enumeration_Rep to No_Uint; that is no longer allowed.
+	(Offset_Value): Protect calls to Alignment with Known_Alignment.
+	* sem_prag.adb (Set_Atomic_VFA): Do not use Uint_0 to mean
+	"unknown"; call Init_Alignment instead.
+	* sinfo.ads: Minor comment fix.
+	* treepr.adb: Deal with printing of new field types.
+	* einfo.ads, gen_il-fields.ads (Renaming_Map): Remove.
+	* gcc-interface/decl.c (gnat_to_gnu_entity): Use Known_Alignment
+	before calling Alignment. This preserve some probably buggy
+	behavior: if the alignment is not set, it previously defaulted
+	to Uint_0; we now make that explicit.  Use Copy_Alignment,
+	because "Set_Alignment (Y, Alignment (X));" no longer works when
+	the Alignment of X has not yet been set.
+	* gcc-interface/trans.c (process_freeze_entity): Use
+	Copy_Alignment.
+
+2021-07-12  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* libgnat/s-dwalin.ads: Adjust a few comments left and right.
+	(Line_Info_Register): Comment out unused components.
+	(Line_Info_Header): Add DWARF 5 support.
+	(Dwarf_Context): Likewise.  Rename "prologue" into "header".
+	* libgnat/s-dwalin.adb: Alphabetize "with" clauses.
+	(DWARF constants): Add DWARF 5 support and reorder.
+	(For_Each_Row): Adjust.
+	(Initialize_Pass): Likewise.
+	(Initialize_State_Machine): Likewise and fix typo.
+	(Open): Add DWARF 5 support.
+	(Parse_Prologue): Rename into...
+	(Parse_Header): ...this and add DWARF 5 support.
+	(Read_And_Execute_Isn): Rename into...
+	(Read_And_Execute_Insn): ...this and adjust.
+	(To_File_Name): Change parameter name and add DWARF 5 support.
+	(Read_Entry_Format_Array): New procedure.
+	(Skip_Form): Add DWARF 5 support and reorder.
+	(Seek_Abbrev): Do not count entries and add DWARF 5 support.
+	(Debug_Info_Lookup): Add DWARF 5 support.
+	(Symbolic_Address.Set_Result): Likewise.
+	(Symbolic_Address): Adjust.
+
+2021-07-12  Bob Duff  <duff@adacore.com>
+
+	* sem_ch13.adb (Duplicate_Clause): Add a helper routine
+	Check_One_Attr, with a parameter for the attribute_designator we
+	are looking for, and one for the attribute_designator of the
+	current node (which are usually the same). For Size and
+	Value_Size, call it twice, once for each.
+	* errout.ads: Fix a typo.
+
+2021-07-12  Piotr Trojanek  <trojanek@adacore.com>
+
+	* exp_imgv.adb (Expand_Image_Attribute): Move rewriting to
+	attribute Put_Image to the beginning of expansion of attribute
+	Image.
+
 2021-07-09  Eric Botcazou  <ebotcazou@adacore.com>
 
 	* gcc-interface/utils.c (finish_subprog_decl): Remove obsolete line.
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 39e5ec335ce..dc57991aea1 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,14 @@
+2021-07-12  Patrick Palka  <ppalka@redhat.com>
+
+	PR c++/79501
+	PR c++/100983
+	* decl.c (grokfndecl): Don't require that deduction guides are
+	declared at namespace scope.  Check that class-scope deduction
+	guides have the same access as the member class template.
+	(grokdeclarator): Pretend class-scope deduction guides are static.
+	* search.c (lookup_member): Don't use a BASELINK for (class-scope)
+	deduction guides.
+
 2021-07-10  Patrick Palka  <ppalka@redhat.com>
 
 	PR c++/82110
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index cac49952fdf..6eacfd028e0 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,62 @@
+2021-07-12  Patrick Palka  <ppalka@redhat.com>
+
+	PR c++/79501
+	PR c++/100983
+	* g++.dg/cpp1z/class-deduction92.C: New test.
+	* g++.dg/cpp1z/class-deduction93.C: New test.
+	* g++.dg/cpp1z/class-deduction94.C: New test.
+	* g++.dg/cpp1z/class-deduction95.C: New test.
+
+2021-07-12  Uroš Bizjak  <ubizjak@gmail.com>
+
+	PR target/101424
+	* gcc.target/i386/pr101424.c: New test.
+
+2021-07-12  Andrew MacLeod  <amacleod@redhat.com>
+
+	* gcc.dg/tree-ssa/pr101335.c: New.
+
+2021-07-12  Andrew Pinski  <apinski@marvell.com>
+
+	* gcc.dg/tree-ssa/pr96928-1.c: Update to similar as pr96928.c.
+
+2021-07-12  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/101373
+	* g++.dg/torture/pr101373.C: New testcase, XFAILed.
+	* gnat.dg/opt95.adb: Likewise.
+
+2021-07-12  Richard Biener  <rguenther@suse.de>
+
+	* g++.dg/vect/slp-pr87105.cc: Adjust.
+	* gcc.dg/vect/bb-slp-pr54400.c: Likewise.
+
+2021-07-12  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/101394
+	* gcc.dg/torture/pr101394.c: New testcase.
+
+2021-07-12  Roger Sayle  <roger@nextmovesoftware.com>
+	    Jakub Jelinek  <jakub@redhat.com>
+
+	PR tree-optimization/101403
+	* gcc.dg/pr101403.c: Avoid (unimportant) uninitialized variable.
+
+2021-07-12  prathamesh.kulkarni  <prathamesh.kulkarni@linaro.org>
+
+	PR target/66791
+	* gcc.target/arm/armv8_2-fp16-neon-2.c: Adjust.
+
+2021-07-12  prathamesh.kulkarni  <prathamesh.kulkarni@linaro.org>
+
+	PR target/98435
+	* gcc.target/arm/simd/pr98435.c: New test.
+
+2021-07-12  Roger Sayle  <roger@nextmovesoftware.com>
+
+	PR tree-optimization/101403
+	* gcc.dg/pr101403.c: New test case.
+
 2021-07-10  John David Anglin  <danglin@gcc.gnu.org>
 
 	* gcc.dg/torture/pr100329.c: Require target lra.
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index baa4ed84bca..d676ed3b91f 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,9 @@
+2021-07-12  Jonathan Wakely  <jwakely@redhat.com>
+
+	PR libstdc++/101411
+	* include/std/span (as_writable_bytes): Add requires-clause.
+	* testsuite/23_containers/span/101411.cc: New test.
+
 2021-07-09  Matheus Castanho  <msc@linux.ibm.com>
 
 	* include/std/mutex (__lock_impl): Check