[gcc r12-1229] Daily bump.

[gcc r12-1229] Daily bump.

[GCC Administrator]

https://gcc.gnu.org/g:600f90cbbbf2f1e4511d72a23a5d637d11e9f28b

commit r12-1229-g600f90cbbbf2f1e4511d72a23a5d637d11e9f28b
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Sat Jun 5 00:16:29 2021 +0000

    Daily bump.

Diff:
---
 gcc/ChangeLog           |  78 ++++++++++++++++++++++++++++++++
 gcc/DATESTAMP           |   2 +-
 gcc/c-family/ChangeLog  |  10 ++++
 gcc/c/ChangeLog         |   5 ++
 gcc/cp/ChangeLog        |  19 ++++++++
 gcc/d/ChangeLog         |  11 +++++
 gcc/fortran/ChangeLog   |  59 ++++++++++++++++++++++++
 gcc/testsuite/ChangeLog | 118 ++++++++++++++++++++++++++++++++++++++++++++++++
 libstdc++-v3/ChangeLog  |  65 ++++++++++++++++++++++++++
 9 files changed, 366 insertions(+), 1 deletion(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 06e6dbeaa5a..e94b2fc0624 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,81 @@
+2021-06-04  Tobias Burnus  <tobias@codesourcery.com>
+
+	PR middle-end/100905
+	* tree-nested.c (convert_nonlocal_omp_clauses,
+	convert_local_omp_clauses): Handle OMP_CLAUSE_BIND.
+
+2021-06-04  Martin Sebor  <msebor@redhat.com>
+
+	PR middle-end/100732
+	* gimple-fold.c (gimple_fold_builtin_sprintf): Avoid folding calls
+	with either source or destination argument of invalid type.
+	* tree-ssa-uninit.c (maybe_warn_pass_by_reference): Avoid checking
+	calls with arguments of invalid type.
+
+2021-06-04  Martin Sebor  <msebor@redhat.com>
+
+	* attribs.c (init_attr_rdwr_indices): Use VLA bounds in the expected
+	order.
+	(attr_access::vla_bounds): Also handle VLA bounds.
+
+2021-06-04  Uroš Bizjak  <ubizjak@gmail.com>
+
+	* config/i386/predicates.md (GOT_memory_operand):
+	Implement using match_code RTXes.
+	(GOT32_symbol_operand): Ditto.
+
+2021-06-04  Uroš Bizjak  <ubizjak@gmail.com>
+
+	PR target/100637
+	* config/i386/i386-expand.c (ix86_expand_vector_init_duplicate):
+	Handle V2HI mode.
+	(ix86_expand_vector_init_general): Ditto.
+	Use SImode instead of word_mode for logic operations
+	when GET_MODE_SIZE (mode) < UNITS_PER_WORD.
+	(expand_vec_perm_even_odd_1): Assert that V2HI mode should be
+	implemented by expand_vec_perm_1.
+	(expand_vec_perm_broadcast_1): Assert that V2HI and V4HI modes
+	should be implemented using standard shuffle patterns.
+	(ix86_vectorize_vec_perm_const): Handle V2HImode.  Add V4HI and
+	V2HI modes to modes, implementable with shuffle for one operand.
+	* config/i386/mmx.md (*punpckwd): New insn_and_split pattern.
+	(*pshufw_1): New insn pattern.
+	(*vec_dupv2hi): Ditto.
+	(vec_initv2hihi): New expander.
+
+2021-06-04  Kewen Lin  <linkw@linux.ibm.com>
+
+	* config/arm/vfp.md (no_literal_pool_df_immediate,
+	no_literal_pool_sf_immediate): Fix empty split condition.
+
+2021-06-04  Kewen Lin  <linkw@linux.ibm.com>
+
+	* config/i386/i386.md (*load_tp_x32_zext, *add_tp_x32_zext,
+	*tls_dynamic_gnu2_combine_32): Fix empty split condition.
+	* config/i386/sse.md (*<sse2_avx2>_pmovmskb_lt,
+	*<sse2_avx2>_pmovmskb_zext_lt, *sse2_pmovmskb_ext_lt,
+	*<sse4_1_avx2>_pblendvb_lt): Likewise.
+
+2021-06-04  Jakub Jelinek  <jakub@redhat.com>
+
+	PR target/100887
+	* config/i386/i386-expand.c (ix86_expand_vector_init): Handle
+	concatenation from half-sized modes with TImode elements.
+
+2021-06-04  Claudiu Zissulescu  <claziss@synopsys.com>
+
+	* config/arc/arc.c (arc_override_options): Disable millicode
+	thunks when RF16 is on.
+
+2021-06-04  Haochen Gui  <guihaoc@gcc.gnu.org>
+
+	* config/rs6000/rs6000.h (PROMOTE_MODE): Remove.
+
+2021-06-04  Haochen Gui  <guihaoc@gcc.gnu.org>
+
+	* config/rs6000/rs6000-call.c (rs6000_promote_function_mode):
+	Replace PROMOTE_MODE marco with its content.
+
 2021-06-03  Kewen Lin  <linkw@linux.ibm.com>
 
 	* config/cris/cris.md (*addi_reload): Fix empty split condition.
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 8da0c6d18af..0098130f31a 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20210604
+20210605
diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index 968322f9411..3938ef10d0f 100644
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,13 @@
+2021-06-04  Martin Sebor  <msebor@redhat.com>
+
+	PR c/100783
+	* c-attribs.c (positional_argument): Bail on erroneous types.
+
+2021-06-04  Martin Sebor  <msebor@redhat.com>
+
+	* c-warn.c (warn_parm_array_mismatch): Check TREE_PURPOSE to test
+	for element presence.
+
 2021-06-03  Eric Botcazou  <ebotcazou@adacore.com>
 
 	* c-ada-spec.c (dump_ada_macros): Minor tweaks.
diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog
index 3a7e3d44d41..747f53fac72 100644
--- a/gcc/c/ChangeLog
+++ b/gcc/c/ChangeLog
@@ -1,3 +1,8 @@
+2021-06-04  Martin Sebor  <msebor@redhat.com>
+
+	PR c/100783
+	* c-objc-common.c (print_type): Handle erroneous types.
+
 2021-06-03  Jakub Jelinek  <jakub@redhat.com>
 
 	PR c++/100859
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 6c0f38ce1be..f1537e53901 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,22 @@
+2021-06-04  Patrick Palka  <ppalka@redhat.com>
+
+	PR c++/100893
+	* pt.c (convert_template_argument): Strip top-level cv-quals
+	on the substituted type of a non-type template parameter.
+
+2021-06-04  Patrick Palka  <ppalka@redhat.com>
+
+	PR c++/100102
+	* pt.c (tsubst_function_decl): Remove old code for reducing
+	args when it has excess levels.
+
+2021-06-04  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/100872
+	* name-lookup.c (maybe_save_operator_binding): Add op_attr after all
+	ATTR_IS_DEPENDENT attributes in the DECL_ATTRIBUTES list rather than
+	to the start.
+
 2021-06-03  Patrick Palka  <ppalka@redhat.com>
 
 	PR c++/100592
diff --git a/gcc/d/ChangeLog b/gcc/d/ChangeLog
index 85176b7cb09..4e9a396a1ad 100644
--- a/gcc/d/ChangeLog
+++ b/gcc/d/ChangeLog
@@ -1,3 +1,14 @@
+2021-06-04  Iain Buclaw  <ibuclaw@gdcproject.org>
+
+	PR d/100882
+	* d-codegen.cc (build_assign): Construct initializations inside
+	TARGET_EXPR_INITIAL.
+	(compound_expr): Remove intermediate expressions that have no
+	side-effects.
+	(return_expr): Construct returns inside TARGET_EXPR_INITIAL.
+	* expr.cc (ExprVisitor::visit (CallExp *)): Remove useless assignment
+	to TARGET_EXPR_SLOT.
+
 2021-05-18  Iain Buclaw  <ibuclaw@gdcproject.org>
 
 	* d-incpath.cc (prefixed_path): Use filename_ncmp instead of strncmp.
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index bab25eb7351..33ab58a083c 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,62 @@
+2021-06-04  Harald Anlauf  <anlauf@gmx.de>
+
+	PR fortran/99839
+	* frontend-passes.c (inline_matmul_assign): Do not inline matmul
+	if the assignment to the resulting array if it is not of canonical
+	type (real/integer/complex/logical).
+
+2021-06-04  Tobias Burnus  <tobias@codesourcery.com>
+
+	* dump-parse-tree.c (show_code_node): Handle
+	EXEC_OMP_(TARGET_)(,PARALLEL_,TEAMS_)LOOP.
+
+2021-06-04  Tobias Burnus  <tobias@codesourcery.com>
+
+	* scanner.c (skip_fixed_omp_sentinel): Set openacc_flag if
+	this is not an (OpenMP) continuation line.
+	(skip_fixed_oacc_sentinel): Likewise for openmp_flag and OpenACC.
+	(gfc_next_char_literal): gfc_error_now to force error for mixed OMP/ACC
+	continuation once per location and return '\n'.
+
+2021-06-04  Tobias Burnus  <tobias@codesourcery.com>
+
+	PR middle-end/99928
+	* openmp.c (gfc_match_omp_clauses): Fix typo in error message.
+
+2021-06-04  Tobias Burnus  <tobias@codesourcery.com>
+
+	PR middle-end/99928
+	* dump-parse-tree.c (show_omp_clauses): Handle bind clause.
+	(show_omp_node): Handle loop directive.
+	* frontend-passes.c (gfc_code_walker): Likewise.
+	* gfortran.h (enum gfc_statement): Add
+	ST_OMP_(END_)(TARGET_)(|PARALLEL_|TEAMS_)LOOP.
+	(enum gfc_omp_bind_type): New.
+	(gfc_omp_clauses): Use it.
+	(enum gfc_exec_op): Add EXEC_OMP_(TARGET_)(|PARALLEL_|TEAMS_)LOOP.
+	* match.h (gfc_match_omp_loop, gfc_match_omp_parallel_loop,
+	gfc_match_omp_target_parallel_loop, gfc_match_omp_target_teams_loop,
+	gfc_match_omp_teams_loop): New.
+	* openmp.c (enum omp_mask1): Add OMP_CLAUSE_BIND.
+	(gfc_match_omp_clauses): Handle it.
+	(OMP_LOOP_CLAUSES, gfc_match_omp_loop, gfc_match_omp_teams_loop,
+	gfc_match_omp_target_teams_loop, gfc_match_omp_parallel_loop,
+	gfc_match_omp_target_parallel_loop): New.
+	(resolve_omp_clauses, resolve_omp_do, omp_code_to_statement,
+	gfc_resolve_omp_directive): Handle omp loop.
+	* parse.c (decode_omp_directive case_exec_markers, gfc_ascii_statement,
+	parse_omp_do, parse_executable): Likewise.
+	(parse_omp_structured_block): Remove ST_ which use parse_omp_do.
+	* resolve.c (gfc_resolve_blocks): Add omp loop.
+	* st.c (gfc_free_statement): Likewise.
+	* trans-openmp.c (gfc_trans_omp_clauses): Handle bind clause.
+	(gfc_trans_omp_do, gfc_trans_omp_parallel_do, gfc_trans_omp_distribute,
+	gfc_trans_omp_teams, gfc_trans_omp_target, gfc_trans_omp_directive):
+	Handle loop directive.
+	(gfc_split_omp_clauses): Likewise; fix firstprivate/lastprivate
+	and (in_)reduction for taskloop.
+	* trans.c (trans_code): Handle omp loop directive.
+
 2021-06-01  Tobias Burnus  <tobias@codesourcery.com>
 
 	PR middle-end/99928
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index ac63a14d554..ba1d2c7e696 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,121 @@
+2021-06-04  Tobias Burnus  <tobias@codesourcery.com>
+
+	PR middle-end/100905
+	* gfortran.dg/gomp/loop-3.f90: New test.
+
+2021-06-04  Iain Buclaw  <ibuclaw@gdcproject.org>
+
+	PR d/100882
+	* gdc.dg/pr100882a.d: New test.
+	* gdc.dg/pr100882b.d: New test.
+	* gdc.dg/pr100882c.d: New test.
+	* gdc.dg/torture/pr100882.d: New test.
+
+2021-06-04  Patrick Palka  <ppalka@redhat.com>
+
+	PR c++/100893
+	* g++.dg/template/param4.C: New test.
+	* g++.dg/template/param5.C: New test.
+	* g++.dg/cpp1z/nontype-auto19.C: New test.
+	* g++.dg/cpp2a/concepts-decltype.C: Don't expect that the
+	deduced type of a decltype(auto) NTTP has top-level cv-quals.
+
+2021-06-04  Patrick Palka  <ppalka@redhat.com>
+
+	PR c++/100102
+	* g++.dg/cpp0x/alias-decl-72.C: New test.
+	* g++.dg/cpp0x/alias-decl-72a.C: New test.
+
+2021-06-04  Harald Anlauf  <anlauf@gmx.de>
+
+	PR fortran/99839
+	* gfortran.dg/inline_matmul_25.f90: New test.
+
+2021-06-04  Martin Sebor  <msebor@redhat.com>
+
+	PR c/100783
+	* gcc.dg/nonnull-6.c: New test.
+
+2021-06-04  Martin Sebor  <msebor@redhat.com>
+
+	PR middle-end/100732
+	* gcc.dg/tree-ssa/builtin-snprintf-11.c: New test.
+	* gcc.dg/tree-ssa/builtin-snprintf-12.c: New test.
+	* gcc.dg/tree-ssa/builtin-sprintf-28.c: New test.
+	* gcc.dg/tree-ssa/builtin-sprintf-29.c: New test.
+	* gcc.dg/uninit-pr100732.c: New test.
+
+2021-06-04  Martin Sebor  <msebor@redhat.com>
+
+	* gcc.dg/Wvla-parameter-10.c: New test.
+	* gcc.dg/Wvla-parameter-11.c: New test.
+
+2021-06-04  Tobias Burnus  <tobias@codesourcery.com>
+
+	* gfortran.dg/goacc/omp-fixed.f: Re-add test item changed in previous
+	commit in addition - add more dg-errors and '... end ...' due to changed
+	parsing.
+	* gfortran.dg/goacc/omp.f95: Likewise.
+	* gfortran.dg/goacc-gomp/mixed-1.f: New test.
+
+2021-06-04  Uroš Bizjak  <ubizjak@gmail.com>
+
+	PR target/100637
+	* gcc.dg/vect/slp-perm-9.c (dg-final): Adjust dumps for vect32 targets.
+
+2021-06-04  Tobias Burnus  <tobias@codesourcery.com>
+
+	* gfortran.dg/gomp/pr99928-5.f90: Really use the
+	proper iteration variable.
+
+2021-06-04  Tobias Burnus  <tobias@codesourcery.com>
+
+	* gfortran.dg/gomp/pr99928-1.f90: Add 'implicit none'.
+	* gfortran.dg/gomp/pr99928-11.f90: Likewise.
+	* gfortran.dg/gomp/pr99928-4.f90: Likewise.
+	* gfortran.dg/gomp/pr99928-6.f90: Likewise.
+	* gfortran.dg/gomp/pr99928-8.f90: Likewise.
+	* gfortran.dg/gomp/pr99928-2.f90: Likewise. Add missing decl.
+	* gfortran.dg/gomp/pr99928-5.f90: Add implicit none;
+	fix loop-variable and remove xfail.
+
+2021-06-04  Tobias Burnus  <tobias@codesourcery.com>
+
+	PR middle-end/99928
+	* gfortran.dg/gomp/loop-2.f90: Update for typo fix.
+
+2021-06-04  Tobias Burnus  <tobias@codesourcery.com>
+
+	PR middle-end/99928
+	* gfortran.dg/gomp/pr99928-3.f90: Add 'default(none)', following
+	C/C++ version of the patch.
+	* gfortran.dg/gomp/loop-1.f90: New test.
+	* gfortran.dg/gomp/loop-2.f90: New test.
+	* gfortran.dg/gomp/pr99928-1.f90: New test; based on C/C++ test.
+	* gfortran.dg/gomp/pr99928-11.f90: Likewise.
+	* gfortran.dg/gomp/pr99928-2.f90: Likewise.
+	* gfortran.dg/gomp/pr99928-4.f90: Likewise.
+	* gfortran.dg/gomp/pr99928-5.f90: Likewise.
+	* gfortran.dg/gomp/pr99928-6.f90: Likewise.
+	* gfortran.dg/gomp/pr99928-8.f90: Likewise.
+	* gfortran.dg/goacc/omp.f95: Use 'acc kernels loops' instead
+	of 'acc loops' to hide unrelated bug for now.
+	* gfortran.dg/goacc/omp-fixed.f: Likewise
+
+2021-06-04  Jakub Jelinek  <jakub@redhat.com>
+
+	PR target/100887
+	* gcc.target/i386/pr100887.c: New test.
+
+2021-06-04  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/100872
+	* g++.dg/gomp/declare-simd-8.C: New test.
+
+2021-06-04  Haochen Gui  <guihaoc@gcc.gnu.org>
+
+	* gcc.target/powerpc/not-promote-mode.c: New.
+
 2021-06-03  Uroš Bizjak  <ubizjak@gmail.com>
 
 	PR target/100637
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 676e53054aa..d87370e5340 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,68 @@
+2021-06-04  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/bits/ranges_base.h (_SSize): Return the result of
+	ranges::size converted to the wider of make-signed-like-t<S> and
+	ptrdiff_t, rather than the ranges different type.
+	* testsuite/std/ranges/access/ssize.cc: Adjust expected result
+	for an iota_view that uses an integer class type for its
+	difference_type.
+
+2021-06-04  Jonathan Wakely  <jwakely@redhat.com>
+
+	PR libstdc++/100824
+	* include/bits/ranges_base.h (__member_data): Use __decay_copy.
+	* testsuite/std/ranges/access/data.cc: Add testcase from PR.
+
+2021-06-04  Jonathan Wakely  <jwakely@redhat.com>
+
+	PR libstdc++/100824
+	* include/bits/iterator_concepts.h (__detail::__decay_copy)
+	(__detail::__member_begin, __detail::__adl_begin): Move to
+	namespace ranges::__cust_access.
+	(__detail::__ranges_begin): Likewise, and rename to __begin.
+	Remove redundant static assertion.
+	* include/bits/ranges_base.h (_Begin, _End, _RBegin, _REnd):
+	Use lvalue in noexcept specifier.
+	(__as_const): Add non-deduced parameter for value category.
+	(_CBegin, _CEnd, _CRBegin, _CREnd, _CData): Adjust uses of
+	__as_const.
+	(__member_size, __adl_size, __member_empty, __size0_empty):
+	(__eq_iter_empty, __adl_data): Use lvalue objects in
+	requirements.
+	(__sentinel_size): Likewise. Add check for conversion to
+	unsigned-like.
+	(__member_data): Allow non-lvalue types to satisfy the concept,
+	but use lvalue object in requirements.
+	(_Size, _SSize): Remove forwarding to always use an lvalue.
+	(_Data): Likewise. Add static assertion for arrays.
+	* testsuite/std/ranges/access/cdata.cc: Adjust expected
+	behaviour for rvalues. Add negative tests for ill-formed
+	expressions.
+	* testsuite/std/ranges/access/data.cc: Likewise.
+	* testsuite/std/ranges/access/empty.cc: Adjust expected
+	behaviour for rvalues.
+	* testsuite/std/ranges/access/size.cc: Likewise.
+
+2021-06-04  Tim Adye  <Tim.Adye@cern.ch>
+
+	* include/std/any (any::_Manager::_S_access): New static
+	function to access the contained value.
+	(any::emplace, __any_caster): Use _S_access member of the
+	manager type.
+
+2021-06-04  Jonathan Wakely  <jwakely@redhat.com>
+
+	* doc/xml/manual/status_cxx2020.xml:
+	* doc/html/*: Regenerate.
+	* include/bits/hashtable.h (__cpp_lib_generic_unordered_lookup):
+	Define.
+	* include/std/version (__cpp_lib_generic_unordered_lookup):
+	Define.
+	* testsuite/23_containers/unordered_map/operations/1.cc: Check
+	feature test macro.
+	* testsuite/23_containers/unordered_set/operations/1.cc:
+	Likewise.
+
 2021-06-03  Patrick Palka  <ppalka@redhat.com>
 
 	* include/bits/ranges_algo.h (__detail::__can_reread_output):