Daily bump.

10 files changed, 354 insertions, 1 deletions

diff --git a/ChangeLog b/ChangeLog
index bec4700..fabfc3b 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2021-06-03  Jason Merrill  <jason@redhat.com>
+
+	* MAINTAINERS: Add DCO version number.
+
 2021-06-02  Jason Merrill  <jason@redhat.com>
 
 	* MAINTAINERS: Add DCO section.
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 5d118a5..06e6dbe 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,170 @@
+2021-06-03  Kewen Lin  <linkw@linux.ibm.com>
+
+	* config/cris/cris.md (*addi_reload): Fix empty split condition.
+
+2021-06-03  Jim Wilson  <jimw@sifive.com>
+
+	* config.gcc (riscv*-*-*): If --with-riscv-attribute not used,
+	turn it on for all riscv targets.
+
+2021-06-03  Uroš Bizjak  <ubizjak@gmail.com>
+
+	PR target/100637
+	* config/i386/i386-expand.c (ix86_expand_vector_set):
+	Handle V2HI and V4QI modes.
+	(ix86_expand_vector_extract): Ditto.
+	* config/i386/mmx.md (*pinsrw): New insn pattern.
+	(*pinsrb): Ditto.
+	(*pextrw): Ditto.
+	(*pextrw_zext): Ditto.
+	(*pextrb): Ditto.
+	(*pextrb_zext): Ditto.
+	(vec_setv2hi): New expander.
+	(vec_extractv2hihi): Ditto.
+	(vec_setv4qi): Ditto.
+	(vec_extractv4qiqi): Ditto.
+	(vec_setv8qi): Enable only for TARGET_SSE4_1.
+	(vec_extractv8qiqi): Ditto.
+
+2021-06-03  Aaron Sawdey  <acsawdey@linux.ibm.com>
+
+	* config/rs6000/genfusion.pl (gen_logical_addsubf): Fix input
+	order to subf instruction.
+	* config/rs6000/fusion.md: Regenerate.
+
+2021-06-03  Aldy Hernandez  <aldyh@redhat.com>
+
+	* calls.c (get_size_range): Use range_of_expr instead of
+	determine_value_range.
+	* tree-affine.c (expr_to_aff_combination): Same.
+	* tree-data-ref.c (split_constant_offset): Same.
+	* tree-vrp.c (determine_value_range_1): Remove.
+	(determine_value_range): Remove.
+	* tree-vrp.h (determine_value_range): Remove.
+
+2021-06-03  Aldy Hernandez  <aldyh@redhat.com>
+
+	* function-tests.c (test_ranges): Call gimple_range_tests.
+	* gimple-range-cache.cc (ranger_cache::range_of_expr): Pass stmt
+	to get_tree_range.
+	* gimple-range.cc (fur_source::get_operand): Do not call
+	get_tree_range or gimple_range_global.
+	get_tree_range.
+	(get_tree_range): Move to value-query.cc.
+	Call get_arith_expr_range.
+	(gimple_ranger::range_of_expr): Add argument to get_tree_range.
+	Include gimple-range-tests.cc.
+	* gimple-range.h (fold_range): Add argument.
+	(get_tree_range): Remove.
+	* selftest.h (gimple_range_tests): New.
+	* value-query.cc (global_range_query::range_of_expr): Add
+	stmt argument.
+	(range_query::get_tree_range): Move from gimple-range.cc.
+	* value-query.h (class range_query): Add get_tree_range and
+	get_arith_expr_range.  Make fur_source a friend.
+	* vr-values.c (vr_values::range_of_expr): Pass stmt to
+	get_tree_range.
+	* gimple-range-tests.cc: New file.
+
+2021-06-03  Aldy Hernandez  <aldyh@redhat.com>
+
+	* gimple-range.cc (gimple_ranger::export_global_ranges): Call
+	  update_global_range.
+	* value-query.cc (update_global_range): New.
+	* value-query.h (update_global_range): New.
+
+2021-06-03  David Malcolm  <dmalcolm@redhat.com>
+
+	* diagnostic-show-locus.c (diagnostic_show_locus): Don't reject
+	printing the same location twice if there are fix-it hints,
+	multiple locations, or a label.
+
+2021-06-03  Andre Vieira  <andre.simoesdiasvieira@arm.com>
+
+	* tree-vect-loop.c (vect_transform_loop): Use main loop's various'
+	thresholds to narrow the upper bound on epilogue iterations.
+
+2021-06-03  Christophe Lyon  <christophe.lyon@linaro.org>
+
+	* config/arm/mve.md (mve_vabsq_f<mode>): Use 'abs' instead of unspec.
+	(mve_vabsq_s<mode>): Likewise.
+	* config/arm/neon.md (abs<mode>2): Rename to neon_abs<mode>2.
+	* config/arm/unspecs.md (VABSQ_F, VABSQ_S): Delete.
+	* config/arm/vec-common.md (neg<mode>2): Rename to
+	<absneg_str><mode>2.
+
+2021-06-03  Claudiu Zissulescu  <claziss@synopsys.com>
+
+	* common/config/arc/arc-common.c (arc_option_optimization_table):
+	Remove malign-call.
+	* config/arc/arc.c (arc_unalign_branch_p): Remove unused function.
+	* config/arc/arc.h (TARGET_MIXED_CODE): Remove macro.
+	(INDEX_REG_CLASS): Only refer to GENERAL_REGS.
+	* config/arc/arc.md (abssi2_mixed): Remove pattern.
+	* config/arc/arc.opt (munalign-prob-threshold): Mark it obsolete.
+	(malign-call): Likewise.
+	(mmixed-code): Likewise.
+	* doc/invoke.texi (ARC): Update doc.
+
+2021-06-03  Martin Liska  <mliska@suse.cz>
+
+	* common.opt: Use proper Enum values.
+	* opts.c (COVERAGE_SANITIZER_OPT): Remove.
+	(parse_sanitizer_options): Handle only sanitizer_opts.
+	(common_handle_option): Just assign value.
+
+2021-06-03  Eric Botcazou  <ebotcazou@adacore.com>
+
+	PR ipa/99122
+	* tree-inline.c (inline_forbidden_p): Remove test on return type.
+
+2021-06-03  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* dwarf2out.c (loc_list_from_tree_1) <FUNCTION_DECL>: Also generate
+	DW_OP_GNU_variable_value referencing an existing DIE at file scope.
+	(type_byte_size): Inline into...
+	(add_byte_size_attribute): ...this and call add_scalar_info.
+
+2021-06-03  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* dwarf2out.c (mem_loc_descriptor) <UDIV>: Fix typo.
+	(typed_binop_from_tree): New function.
+	(loc_list_from_tree_1) <EXACT_DIV_EXPR>: For an unsigned type,
+	turn a divide by a power of 2 into a shift.
+	<CEIL_DIV_EXPR>: For an unsigned type, use a signed divide if the
+	size of the mode is lower than DWARF2_ADDR_SIZE; otherwise, do a
+	typed divide by calling typed_binop_from_tree.
+
+2021-06-03  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* dwarf2out.c (scompare_loc_descriptor): Fix head comment.
+	(is_handled_procedure_type): Likewise.
+	(struct loc_descr_context): Add strict_signedness field.
+	(resolve_args_picking_1): Deal with DW_OP_[GNU_]deref_type,
+	DW_OP_[GNU_]convert and DW_OP_[GNU_]reinterpret.
+	(resolve_args_picking): Minor tweak.
+	(function_to_dwarf_procedure): Initialize strict_signedness field.
+	(type_byte_size): Likewise.
+	(field_byte_offset): Likewise.
+	(gen_descr_array_type_die): Likewise.
+	(gen_variant_part): Likewise.
+	(loc_list_from_tree_1) <CALL_EXPR>: Tidy up and set strict_signedness
+	to true when a context is present before evaluating the arguments.
+	<COND_EXPR>: Do not generate a useless comparison with zero.
+	When dereferencing an address, if strict_signedness is true and the
+	type is small and signed, use DW_OP_deref_type to do the dereference
+	and then DW_OP_convert to convert back to the generic type.
+
+2021-06-03  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/100859
+	* tree-inline.c (copy_tree_body_r): Handle iterators on
+	OMP_CLAUSE_AFFINITY or OMP_CLAUSE_DEPEND.
+
+2021-06-03  Kewen Lin  <linkw@linux.ibm.com>
+
+	* config/arc/arc.md (*bbit_di): Remove.
+
 2021-06-02  Christoph Muellner  <cmuellner@gcc.gnu.org>
 
 	PR rtl-optimization/100264
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index d185478..8da0c6d 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20210603
+20210604
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 0641e60..9805f18 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,10 @@
+2021-06-03  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Add PAT
+	local constant and use it throughout.  If it is set, use a ref-all
+	pointer type for the pointer-to-array field of the fat pointer type.
+	<E_Array_Subtype>: Add PAT local constant and use it throughout.
+
 2021-05-26  Jakub Jelinek  <jakub@redhat.com>
 
 	* init.c (__gnat_error_handler): Remove register keyword.
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 7396971..838d5f1 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,13 @@
+2021-06-03  David Malcolm  <dmalcolm@redhat.com>
+
+	* store.h (store::get_direct_binding): Remove unused decl.
+	(store::get_default_binding): Likewise.
+
+2021-06-03  David Malcolm  <dmalcolm@redhat.com>
+
+	* svalue.cc (poisoned_svalue::dump_to_pp): Dump type.
+	(compound_svalue::dump_to_pp): Dump any type.
+
 2021-05-18  David Malcolm  <dmalcolm@redhat.com>
 
 	PR analyzer/100615
diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index cb2757c..968322f 100644
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,40 @@
+2021-06-03  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* c-ada-spec.c (dump_ada_macros): Minor tweaks.
+	(dump_ada_decl_name): Likewise.
+	(dump_anonymous_type_name): Remove parent parameter and adjust.
+	(dump_sloc): Minor tweak.
+	(dump_ada_array_type): Remove type parameter and adjust.
+	(dump_ada_enum_type): Remove parent parameter and adjust.
+	(dump_ada_node): Adjust calls to above functions.
+	(dumped_anonymous_types): New global variable.
+	(dump_nested_types_1): Rename into...
+	(dump_nested_types): ...this.
+	(dump_nested_type): Remove parent and dumped_types parameters.
+	<ARRAY_TYPE>: Replace dumped_types with dumped_anonymous_types.
+	Adjust calls to dump_anonymous_type_name and dump_ada_array_type.
+	(dump_ada_specs): Initialize and free dumped_anonymous_types.
+
+2021-06-03  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* c-ada-spec.c (pp_ada_tree_identifier): Tidy up.
+	(dump_ada_node) <POINTER_TYPE>: Deal specially with external subtypes.
+
+2021-06-03  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* c-ada-spec.c (dump_ada_enum_type): Dump a prefix for constants.
+	(htable_t): New typedef.
+	(overloaded_names): Use it.
+	(add_name): New function.
+	(init_overloaded_names): Use add_name to populate the table and add
+	special cases for sigaction and stat.
+	(overloaded_name_p): Rename into...
+	(overloading_index): ...this.  Do not initialize overloaded_names table
+	here.  Return the index or zero.
+	(dump_ada_declaration): Minor tweaks.  Do not skip overloaded functions
+	but add an overloading suffix instead.
+	(dump_ada_specs): Initialize overloaded_names tables here.
+
 2021-06-01  Martin Liska  <mliska@suse.cz>
 
 	PR other/100759
diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog
index b6f76b3..3a7e3d4 100644
--- a/gcc/c/ChangeLog
+++ b/gcc/c/ChangeLog
@@ -1,3 +1,9 @@
+2021-06-03  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/100859
+	* c-typeck.c (c_finish_omp_clauses): Move OMP_CLAUSE_AFFINITY
+	after depend only cases.
+
 2021-05-31  Richard Biener  <rguenther@suse.de>
 
 	PR c++/88601
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index e40cc6b..6c0f38c 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,33 @@
+2021-06-03  Patrick Palka  <ppalka@redhat.com>
+
+	PR c++/100592
+	* decl.c (make_typename_type): After calling
+	lookup_template_class, adjust the result to its TYPE_NAME and
+	then consider the tf_keep_type_decl flag.
+
+2021-06-03  Patrick Palka  <ppalka@redhat.com>
+
+	PR c++/100862
+	* pt.c (set_current_access_from_decl): Move to ...
+	* class.c (set_current_access_from_decl): ... here.
+	(handle_using_decl): Use it to propagate the access of the
+	using-enum decl to the copy of the imported enumerator.
+	* cp-tree.h (set_current_access_from_decl): Declare.
+	* decl.c (build_enumerator): Simplify using make_temp_override
+	and set_current_access_from_decl.
+
+2021-06-03  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/100859
+	* semantics.c (handle_omp_array_sections_1): For
+	OMP_CLAUSE_{AFFINITY,DEPEND} handle FIELD_DECL base using
+	finish_non_static_data_member and allow this as base.
+	(finish_omp_clauses): Move OMP_CLAUSE_AFFINITY
+	after depend only cases.  Let this be diagnosed by !lvalue_p
+	case for OMP_CLAUSE_{AFFINITY,DEPEND} and remove useless
+	assert.
+	* pt.c (tsubst_omp_clauses): Handle OMP_CLAUSE_AFFINITY.
+
 2021-06-02  Jason Merrill  <jason@redhat.com>
 
 	PR c++/100838
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index a8bb582..ac63a14 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,58 @@
+2021-06-03  Uroš Bizjak  <ubizjak@gmail.com>
+
+	PR target/100637
+	* gcc.target/i386/vperm-v2hi.c: New test.
+	* gcc.target/i386/vperm-v4qi.c: Ditto.
+
+2021-06-03  Aldy Hernandez  <aldyh@redhat.com>
+
+	* gcc.dg/pr80776-1.c: XFAIL and document the reason why.
+
+2021-06-03  Patrick Palka  <ppalka@redhat.com>
+
+	PR c++/100592
+	* g++.dg/cpp0x/alias-decl-71.C: New test.
+
+2021-06-03  Patrick Palka  <ppalka@redhat.com>
+
+	PR c++/100862
+	* g++.dg/cpp2a/using-enum-9.C: New test.
+
+2021-06-03  Andre Vieira  <andre.simoesdiasvieira@arm.com>
+
+	* gcc.target/aarch64/sve/part_vect_single_iter_epilog.c: New test.
+
+2021-06-03  Christophe Lyon  <christophe.lyon@linaro.org>
+
+	* gcc.target/arm/simd/mve-vabs.c: New test.
+
+2021-06-03  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gnat.dg/bit_packed_array6.adb: New test.
+	* gnat.dg/bit_packed_array6_pkg.ads: New helper.
+
+2021-06-03  Martin Liska  <mliska@suse.cz>
+
+	* gcc.dg/spellcheck-options-23.c: New test.
+
+2021-06-03  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gnat.dg/inline22.adb: New test.
+
+2021-06-03  Tamar Christina  <tamar.christina@arm.com>
+
+	* gcc.target/aarch64/cpunative/info_16: Update implementer.
+	* gcc.target/aarch64/cpunative/info_17: Likewise
+
+2021-06-03  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/100859
+	* g++.dg/gomp/depend-iterator-3.C: New test.
+	* g++.dg/gomp/this-1.C: Don't expect any diagnostics for
+	this as base expression of depend array section, expect a different
+	error wording for this as depend locator and add testcases
+	for affinity clauses.
+
 2021-06-02  Jason Merrill  <jason@redhat.com>
 
 	PR c++/100838
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 834f00c..676e530 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,40 @@
+2021-06-03  Patrick Palka  <ppalka@redhat.com>
+
+	* include/bits/ranges_algo.h (__detail::__can_reread_output):
+	Factor out this concept from ...
+	(__unique_copy_fn::operator()): ... here.  Use the concept
+	throughout.
+	* testsuite/std/ranges/range.cc: Remove now ill-formed use
+	of range_value_t on an output_range.
+	* testsuite/util/testsuite_iterators.h (output_iterator_wrapper):
+	Define value_type, pointer and reference member types to void.
+
+2021-06-03  Patrick Palka  <ppalka@redhat.com>
+
+	PR libstdc++/100577
+	* include/std/ranges (_RangeAdaptorClosure): Document
+	_S_has_simple_call_op mechanism.
+	(_RangeAdaptor): Document _S_has_simple_extra_args mechanism.
+	(__closure_has_simple_call_op): New concept.
+	(__adaptor_has_simple_extra_args): Likewise.
+	(_Partial<_Adaptor, _Args...>): New partial specialization.
+	(_Partial<_Adaptor, _Arg>): Likewise.
+	(_Pipe<_Lhs, _Rhs>): Likewise.
+	(views::_All::_S_has_simple_call_op): Define to true.
+	(views::_Filter::_S_has_simple_extra_args): Likewise.
+	(views::_Transform::_S_has_simple_extra_args): Likewise.
+	(views::_Take::_S_has_simple_extra_args): Likewise.
+	(views::_TakeWhile::_S_has_simple_extra_args): Likewise.
+	(views::_Drop::_S_has_simple_extra_args): Likewise.
+	(views::_DropWhile::_S_has_simple_extra_args): Likewise.
+	(views::_Join::_S_has_simple_call_op): Likewise.
+	(views::_Split): Document why we don't define
+	_S_has_simple_extra_args to true for this adaptor.
+	(views::_Common::_S_has_simple_call_op): Define to true.
+	(views::_Reverse::_S_has_simple_call_op): Likewise.
+	(views::_Elements::_S_has_simple_call_op): Likewise.
+	* testsuite/std/ranges/adaptors/100577.cc: New test.
+
 2021-06-02  Jonathan Wakely  <jwakely@redhat.com>
 
 	PR libstdc++/100863