Daily bump.

9 files changed, 456 insertions, 1 deletions

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index f8e3401..52d2397 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,142 @@
+2021-06-29  Sergei Trofimovich  <siarheit@google.com>
+
+	* doc/generic.texi: Fix s/net yet/not yet/ typo.
+
+2021-06-29  Andrew MacLeod  <amacleod@redhat.com>
+
+	PR tree-optimization/101254
+	* range-op.cc (operator_minus::op1_op2_relation_effect): Check for
+	wrapping/non-wrapping when setting the result range.
+
+2021-06-29  Andrew MacLeod  <amacleod@redhat.com>
+
+	* value-query.cc (gimple_range_global): Allow phis.
+
+2021-06-29  Andrew MacLeod  <amacleod@redhat.com>
+
+	* vr-values.c (vr_values::vrp_stmt_computes_nonzero): Use stmt.
+	(simplify_using_ranges::op_with_boolean_value_range_p): Add a
+	statement for location context.
+	(check_for_binary_op_overflow): Ditto.
+	(simplify_using_ranges::get_vr_for_comparison): Ditto.
+	(simplify_using_ranges::compare_name_with_value): Ditto.
+	(simplify_using_ranges::compare_names): Ditto.
+	(vrp_evaluate_conditional_warnv_with_ops_using_ranges): Ditto.
+	(simplify_using_ranges::simplify_truth_ops_using_ranges): Ditto.
+	(simplify_using_ranges::simplify_min_or_max_using_ranges): Ditto.
+	(simplify_using_ranges::simplify_internal_call_using_ranges): Ditto.
+	(simplify_using_ranges::two_valued_val_range_p): Ditto.
+	(simplify_using_ranges::simplify): Ditto.
+	* vr-values.h: Adjust prototypes.
+
+2021-06-29  Uroš Bizjak  <ubizjak@gmail.com>
+
+	PR target/95046
+	* config/i386/mmx.md (vec_addsubv2sf3): New insn pattern.
+
+2021-06-29  Julian Brown  <julian@codesourcery.com>
+
+	* config/gcn/gcn.c (gcn_init_libfuncs): New function.
+	(TARGET_INIT_LIBFUNCS): Define target hook using above function.
+	* config/gcn/gcn.h (UNITS_PER_WORD): Define to 8 for IN_LIBGCC2, 4
+	otherwise.
+	(LIBGCC2_UNITS_PER_WORD, BITS_PER_WORD): Remove definitions.
+	(MAX_FIXED_MODE_SIZE): Change to 128.
+
+2021-06-29  Julian Brown  <julian@codesourcery.com>
+
+	* config/gcn/gcn.md (UNSPEC_FLBIT_INT): New unspec constant.
+	(s_mnemonic): Add clrsb.
+	(gcn_flbit<mode>_int): Add insn pattern for SImode/DImode.
+	(clrsb<mode>2): Add expander for SImode/DImode.
+
+2021-06-29  Julian Brown  <julian@codesourcery.com>
+
+	* config/gcn/gcn.md (<su>mulsidi3, <su>mulsidi3_reg, <su>mulsidi3_imm,
+	muldi3): Add patterns.
+
+2021-06-29  Julian Brown  <julian@codesourcery.com>
+
+	* config/gcn/gcn.md (<su>mulsi3_highpart): Change to expander.
+	(<su>mulsi3_highpart_reg, <su>mulsi3_highpart_imm): New patterns.
+
+2021-06-29  Julian Brown  <julian@codesourcery.com>
+
+	* config/gcn/gcn.md (mulsi3): Make s_mulk_i32 variant clobber SCC.
+
+2021-06-29  Joseph Myers  <joseph@codesourcery.com>
+
+	* btfout.c, ctfout.c: Include "memmodel.h".
+
+2021-06-29  Tobias Burnus  <tobias@codesourcery.com>
+
+	* gcc.c (check_offload_target_name): Cast len argument to
+	%q.*s to 'int'; avoid -Wstringop-truncation warning.
+
+2021-06-29  Richard Biener  <rguenther@suse.de>
+
+	* tree-vect-slp.c (vect_optimize_slp): Forward propagate
+	to "any" permute nodes and relax "any" permute proapgation
+	during iterative backward propagation.
+
+2021-06-29  Tobias Burnus  <tobias@codesourcery.com>
+
+	PR other/67300
+	* common.opt (-foffload=): Update description.
+	(-foffload-options=): New.
+	* doc/invoke.texi (C Language Options): Document
+	-foffload and -foffload-options.
+	* gcc.c (check_offload_target_name): New, split off from
+	handle_foffload_option.
+	(check_foffload_target_names): New.
+	(handle_foffload_option): Handle -foffload=default.
+	(driver_handle_option): Update for -foffload-options.
+	* lto-opts.c (lto_write_options): Use -foffload-options
+	instead of -foffload.
+	* lto-wrapper.c (merge_and_complain, append_offload_options):
+	Likewise.
+	* opts.c (common_handle_option): Likewise.
+
+2021-06-29  Tobias Burnus  <tobias@codesourcery.com>
+
+	* doc/invoke.texi (C Language Options): Sort options
+	alphabetically in optlist and also the description itself.
+	Remove leftover -fallow-single-precision from and add missing
+	-fgnu-tm to the optlist.
+
+2021-06-29  Richard Biener  <rguenther@suse.de>
+
+	* tree-vect-slp.c (slpg_vertex::visited): Remove.
+	(vect_slp_perms_eq): Handle -1 permutes.
+	(vect_optimize_slp): Rewrite permute propagation.
+
+2021-06-29  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/101210
+	* match.pd ((intptr_t)x eq/ne CST to x eq/ne (typeof x) CST): Don't
+	perform the optimization in GENERIC when sanitizing and x has a
+	reference type.
+
+2021-06-29  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/101242
+	* tree-vect-slp.c (vect_slp_build_vertices): Force-add
+	PHIs with not represented initial values as leafs.
+
+2021-06-29  Jan-Benedict Glaw  <jbglaw@getslash.de>
+
+	* config/pdp11/pdp11.h (ASM_OUTPUT_SKIP): Fix signedness warning.
+	* config/pdp11/pdp11.c (pdp11_asm_print_operand_punct_valid_p): Remove
+	"register" keyword.
+	(pdp11_initial_elimination_offset) Remove unused variable.
+	(pdp11_cmp_length) Ditto.
+	(pdp11_insn_cost): Ditto, and fix signedness warning.
+
+2021-06-29  David Edelsohn  <dje.gcc@gmail.com>
+
+	* btfout.c: Include tm_p.h.
+	* ctfout.c: Same.
+
 2021-06-28  Indu Bhagat  <indu.bhagat@oracle.com>
 
 	* config/bpf/bpf.c (bpf_expand_prologue): Do not mark insns as
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index f814e09..80bc3a6 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20210629
+20210630
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 0841a93..f07cc96 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,244 @@
+2021-06-29  Richard Kenner  <kenner@adacore.com>
+
+	* sem_util.adb (Visit_Node): Add handling for N_Block_Statement
+	with declarations.
+
+2021-06-29  Piotr Trojanek  <trojanek@adacore.com>
+
+	* einfo-utils.adb
+	(Unknown_Alignment): Simply negate the Known_ counterpart.
+	(Unknown_Component_Bit_Offset): Likewise.
+	(Unknown_Esize): Likewise.
+	(Unknown_Normalized_First_Bit): Likewise.
+	(Unknown_Normalized_Position): Likewise.
+	(Unknown_Normalized_Position_Max): Likewise.
+	(Unknown_RM_Size): Likewise.
+
+2021-06-29  Boris Yakobowski  <yakobowski@adacore.com>
+
+	* exp_ch4.adb (Expand_N_Op_Mod): Remove special case for mod -1
+	in CodePeer_Mode.
+
+2021-06-29  Aleksandra Pasek  <pasek@adacore.com>
+
+	* libgnat/s-objrea.adb (EM_AARCH64): New Constant.
+	(Initialize): Handle EM_AARCH64 case.
+	(Read_Address): Handle AARCH64 case.
+	* libgnat/s-objrea.ads (Object_Arch): Add AARCH64 record
+	component.
+
+2021-06-29  Bob Duff  <duff@adacore.com>
+
+	* sem_ch13.adb (Analyze_Record_Representation_Clause): Call
+	Set_Entity_With_Checks instead of Set_Entity, so we perform the
+	check for correct casing.
+	* style.adb (Check_Identifier): Minor comment improvement.
+	Cleanup overly complicated code.
+
+2021-06-29  Ed Schonberg  <schonberg@adacore.com>
+
+	* exp_aggr.adb (Convert_Aggr_In_Object_Decl): After expansion of
+	the aggregate, the expression can be removed from the
+	declaration, except if the object is class-wide, in which case
+	the aggregate provides the actual type. In other cases the
+	presence of the expression may lead to spurious freezing issue.
+	* exp_ch3.adb (Expand_N_Object_Declaration): If the expression
+	in the declaration is an aggregate with delayed expansion (as is
+	the case for objects of a limited type, or a subsequent address
+	specification) the aggregate must be resolved at this point.
+	This resolution must not include expansion, because the
+	expansion of the enclosing declaration will construct the
+	necessary aggregate expansion.
+
+2021-06-29  Piotr Trojanek  <trojanek@adacore.com>
+
+	* errout.ads (Adjust_Name_Case): Remove obsolete and now unused
+	variant.
+	* errout.adb (Adjust_Name_Case): Likewise; fix variant that uses
+	a custom buffer to also use it for names in Standard_Location.
+
+2021-06-29  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_ch12.adb (Freeze_Subprogram_Body): Add missing "freeze".
+	(Install_Body): Likewise.
+
+2021-06-29  Piotr Trojanek  <trojanek@adacore.com>
+
+	* adaint.c (__gnat_portable_spawn): Revert change that
+	introduced setting of __gnat_in_child_after_fork.
+
+2021-06-29  Patrick Bernardi  <bernardi@adacore.com>
+
+	* libgnarl/s-tasdeb.ads (Known_Tasks): Add Atomic_Components
+	aspect.
+
+2021-06-29  Doug Rupp  <rupp@adacore.com>
+
+	* Makefile.rtl (x86_64-vx7r2) [EXTRA_GNATRTL_TASKING_OBJS]: Move
+	i-vxinco.o out of RTP runtime.
+
+2021-06-29  Claire Dross  <dross@adacore.com>
+
+	* libgnat/a-cfdlli.ads: Use pragma Assertion_Policy to disable
+	pre and postconditions.
+	* libgnat/a-cfhama.ads: Likewise.
+	* libgnat/a-cfhase.ads: Likewise.
+	* libgnat/a-cfinve.ads: Likewise.
+	* libgnat/a-cforma.ads: Likewise.
+	* libgnat/a-cforse.ads: Likewise.
+	* libgnat/a-cofove.ads: Likewise.
+
+2021-06-29  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_util.ads (Get_Fullest_View): Refill comment; remove extra
+	extra after period.
+	* sem_util.adb (Get_Fullest_View): Fix style.
+
+2021-06-29  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_ch3.adb (Analyze_Declarations): Remove explicit check for
+	missing, because a subsequent call to Is_Empty_List will detect
+	them anyway.
+
+2021-06-29  Piotr Trojanek  <trojanek@adacore.com>
+
+	* freeze.adb (Freeze_All): Simplify by reusing
+	Is_Subprogram_Or_Entry.
+	* sem_ch11.adb (Analyze_Handled_Statement): Likewise.
+
+2021-06-29  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_warn.adb (Warn_On_Overlapping_Actuals): Prevent cascaded
+	errors once for the subprogram call, not for every pair of
+	actual parameters.
+
+2021-06-29  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_ch3.adb (Is_Local_Type): Simplify by reusing Scope_Within.
+
+2021-06-29  Gary Dismukes  <dismukes@adacore.com>
+
+	* sem_ch6.ads (Can_Override_Operator): Function declaration
+	moved from package body to package spec.
+	* sem_ch6.adb (Check_Overriding_Indicator): Now use test of
+	whether the subprogram's Chars is an operator name, to handle
+	cases of function instances whose entity is
+	N_Defining_Identifier rather than N_Defining_Operator_Symbol.
+	(Can_Override_Operator): Function declaration moved to package
+	spec.  Now use test of whether the subprogram's Chars is an
+	operator name, to handle cases of function instances whose
+	entity is N_Defining_Identifier rather than
+	N_Defining_Operator_Symbol.
+	* sem_ch8.adb (Analyze_Renamed_Subprogram): Check for
+	possibility of an overridden predefined operator, and suppress
+	the "not overriding" message in that case.
+
+2021-06-29  Doug Rupp  <rupp@adacore.com>
+
+	* Makefile.rtl: Add a new ifeq for vx7r2 shared gnatlib.
+
+2021-06-29  Piotr Trojanek  <trojanek@adacore.com>
+
+	* exp_attr.adb (Build_Array_VS_Func): Restore uses of
+	Validated_View.
+	(Build_Record_VS_Func): Likewise.
+	(Expand_N_Attribute_Reference): Likewise.
+	* sem_util.adb (Validated_View): Behave as an identity function
+	for arrays and scalars.
+
+2021-06-29  Bob Duff  <duff@adacore.com>
+
+	* atree.adb, atree.ads (Parent, Set_Parent): Assert node is
+	Present.
+	(Copy_Parent, Parent_Kind): New helper routines.
+	* gen_il-gen.adb: Add with clause.
+	* nlists.adb (Parent): Assert Parent of list is Present.
+	* aspects.adb, checks.adb, exp_aggr.adb, exp_ch6.adb,
+	exp_util.adb, lib-xref-spark_specific.adb, osint.ads,
+	sem_ch12.adb, sem_ch13.adb, sem_ch3.adb, sem_ch6.adb,
+	sem_dim.adb, sem_prag.adb, sem_res.adb, sem_util.adb,
+	treepr.adb: Do not call Parent and Set_Parent on the Empty node.
+	* libgnat/a-stwiun__shared.adb, libgnat/a-stzunb__shared.adb:
+	Minor: Fix typos in comments.
+	* einfo.ads: Minor comment update.
+	* sinfo-utils.ads, sinfo-utils.adb (Parent_Kind, Copy_Parent):
+	New functions.
+
+2021-06-29  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* repinfo-input.adb (Read_JSON_Stream): Fix typo.
+
+2021-06-29  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* rtsfind.ads (RE_Id): Change RE_Valid_Enumeration_Value_NN into
+	RE_Valid_Value_Enumeration_NN.
+	(RE_Unit_Table): Adjust to above renaming.
+	* exp_imgv.adb (Expand_Valid_Value_Attribute): Likewise.
+	* libgnat/s-valuen.ads (Invalid): Remove.
+	(Value_Enumeration_Pos): Move to...
+	* libgnat/s-valuen.adb (Value_Enumeration_Pos): ...here.
+	Return -1 instead of Invalid.
+	(Value_Enumeration): Compare against 0 instead of Invalid.
+	(Valid_Enumeration_Value): Likewise.  Rename to...
+	(Valid_Value_Enumeration): ...this.
+	* libgnat/s-vaenu8.ads (Valid_Enumeration_Value_8): Rename into...
+	(Valid_Value_Enumeration_8): ...this.
+	* libgnat/s-vaen16.ads (Valid_Enumeration_Value_16): Rename into...
+	(Valid_Value_Enumeration_16): ...this.
+	* libgnat/s-vaen32.ads (Valid_Enumeration_Value_32): Rename into...
+	(Valid_Value_Enumeration_32): ...this.
+
+2021-06-29  Bob Duff  <duff@adacore.com>
+
+	* einfo.ads (Component_Bit_Offset, Component_Size): Update
+	documentation: Repinfo is the package where these negative
+	values are documented.
+	* einfo-utils.adb (Known_Component_Size,
+	Known_Static_Component_Size, Unknown_Component_Size): Remove
+	calls to Implementation_Base_Type, because Component_Size is an
+	Impl_Base_Type_Only field (see Gen_Entities).
+	* sem_ch13.ads, sem_ch13.adb (Check_Size): Do not set Esize and
+	RM_Size. This is unnecessary in the case of Size. For
+	Component_Size, it is wrong, because we would be setting the
+	Esize and RM_Size of the component type.
+
+2021-06-29  Pascal Obry  <obry@adacore.com>
+
+	* s-oscons-tmplt.c: Add some OS constants.
+
+2021-06-29  Piotr Trojanek  <trojanek@adacore.com>
+
+	* sem_util.ads (Validated_View): Fix style in comment.
+	* sem_util.adb (Validated_View): Rewrite in recursive style.
+
+2021-06-29  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* Make-generated.in (ada/stamp-gen_il): Ignore errors from
+	running gen_il-main.
+
+2021-06-29  Richard Kenner  <kenner@adacore.com>
+
+	* gen_il-gen-gen_entities.adb (Record_Field_Kind,
+	Allocatable_Kind): Add new abstract kinds.
+	(Constant_Or_Variable_Kind): Likewise.
+	(E_Constant, E_Variable, E_Loop_Parameter): Use them.
+	(E_Discriminant, E_Component): Likewise.
+	* gen_il-types.ads (type Opt_Type_Enum): Add them.
+
+2021-06-29  Bob Duff  <duff@adacore.com>
+
+	* gen_il-gen.adb (Put_C_Type_And_Subtypes): Put the correct
+	numbers.
+	* gen_il-internals.ads, gen_il-internals.adb: (Pos): Remove this
+	function. It was assuming that the order of the enumeration
+	literals in Type_Enum is the same as the order of the generated
+	types Node_Kind and Entity_Kind, which is not true.
+
+2021-06-29  Piotr Trojanek  <trojanek@adacore.com>
+
+	* exp_attr.adb (Expand_N_Attribute_Reference): Explicitly use
+	Validated_View for record objects.
+
 2021-06-28  Martin Sebor  <msebor@redhat.com>
 
 	* gcc-interface/trans.c (Handled_Sequence_Of_Statements_to_gnu):
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 3791ac4..01b29b1 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,8 @@
+2021-06-29  Jason Merrill  <jason@redhat.com>
+
+	* pt.c (instantiate_decl): Only consider partial specializations of
+	actual variable templates.
+
 2021-06-26  Patrick Palka  <ppalka@redhat.com>
 
 	PR c++/96204
diff --git a/gcc/go/ChangeLog b/gcc/go/ChangeLog
index b6ec83c..60ebb89 100644
--- a/gcc/go/ChangeLog
+++ b/gcc/go/ChangeLog
@@ -1,3 +1,10 @@
+2021-06-29  Ian Lance Taylor  <iant@golang.org>
+
+	* go-gcc.cc (Gcc_backend::static_chain_variable): Set
+	DECL_NAMELESS on the new decl.
+	(Gcc_backend::temporary_variable): Likewise.
+	(Gcc_backend::function): Set DECL_NAMELESS on the result decl.
+
 2021-05-27  Ian Lance Taylor  <iant@golang.org>
 
 	* gccgo.texi (Function Names): Don't HTML quote ampersand.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index a80c438..51fc7ad 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,28 @@
+2021-06-29  Andrew MacLeod  <amacleod@redhat.com>
+
+	* gcc.dg/pr101254.c: New.
+
+2021-06-29  Uroš Bizjak  <ubizjak@gmail.com>
+
+	PR target/95046
+	* gcc.target/i386/pr95046-9.c: New test.
+
+2021-06-29  Richard Biener  <rguenther@suse.de>
+
+	* gcc.dg/vect/pr67790.c: Un-XFAIL.
+	* gcc.dg/vect/bb-slp-71.c: New testcase.
+
+2021-06-29  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/101210
+	* g++.dg/ubsan/pr101210.C: New test.
+
+2021-06-29  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/101242
+	* gcc.dg/vect/bb-slp-pr101242.c: New testcase.
+	* gcc.dg/vect/pr67790.c: XFAIL scan for zero VEC_PERM_EXPR.
+
 2021-06-28  Martin Sebor  <msebor@redhat.com>
 
 	* g++.dg/uninit-pr74762.C: New test.
diff --git a/libgcc/ChangeLog b/libgcc/ChangeLog
index d453f87..274f12b 100644
--- a/libgcc/ChangeLog
+++ b/libgcc/ChangeLog
@@ -1,3 +1,19 @@
+2021-06-29  Julian Brown  <julian@codesourcery.com>
+
+	* config/gcn/lib2-bswapti2.c: New file.
+	* config/gcn/lib2-divmod-di.c: New file.
+	* config/gcn/lib2-gcn.h (DItype, UDItype, TItype, UTItype): Add
+	typedefs.
+	(__divdi3, __moddi3, __udivdi3, __umoddi3): Add prototypes.
+	* config/gcn/t-amdgcn (LIB2ADD): Add lib2-divmod-di.c and
+	lib2-bswapti2.c.
+
+2021-06-29  Julian Brown  <julian@codesourcery.com>
+
+	* config/gcn/lib2-divmod.c (__udivsi3, __umodsi3): Change argument and
+	return types to USItype.
+	* config/gcn/lib2-gcn.h (__udivsi3, __umodsi3): Update prototypes.
+
 2021-06-23  Kewen Lin  <linkw@linux.ibm.com>
 
 	* configure: Regenerate.
diff --git a/libgfortran/ChangeLog b/libgfortran/ChangeLog
index b763a22..91a0c67 100644
--- a/libgfortran/ChangeLog
+++ b/libgfortran/ChangeLog
@@ -1,3 +1,9 @@
+2021-06-29  Julian Brown  <julian@codesourcery.com>
+
+	PR target/96306
+	* configure.ac: Remove stanza that removes KIND=16 integers for AMD GCN.
+	* configure: Regenerate.
+
 2021-06-22  Sandra Loosemore  <sandra@codesourcery.com>
 	    Tobias Burnus  <tobias@codesourcery.com>
 
diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog
index c0f2a5f..827b840 100644
--- a/libgomp/ChangeLog
+++ b/libgomp/ChangeLog
@@ -1,3 +1,19 @@
+2021-06-29  Tobias Burnus  <tobias@codesourcery.com>
+
+	PR other/67300
+	* testsuite/libgomp.c-c++-common/reduction-16.c: Replace
+	-foffload=nvptx-none= by -foffload-options=nvptx-none= to
+	avoid disabling other offload targets.
+	* testsuite/libgomp.c-c++-common/reduction-5.c: Likewise.
+	* testsuite/libgomp.c-c++-common/reduction-6.c: Likewise.
+	* testsuite/libgomp.c/target-44.c: Likewise.
+
+2021-06-29  Tobias Burnus  <tobias@codesourcery.com>
+
+	* testsuite/libgomp.fortran/defaultmap-8.f90 (bar): Determine whether
+	target has shared memory and disable some scalar pointer/allocatable
+	checks if not as firstprivate does not work.
+
 2021-06-25  Chung-Lin Tang  <cltang@codesourcery.com>
 
 	PR testsuite/101114