[gcc r13-2827] Daily bump.

[GCC Administrator <gccadmin@gcc.gnu.org>]

https://gcc.gnu.org/g:4afaeaab52dc9bdb7b24fc08b77dddf8432bc19b

commit r13-2827-g4afaeaab52dc9bdb7b24fc08b77dddf8432bc19b
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Sat Sep 24 00:16:37 2022 +0000

    Daily bump.

Diff:
---
 ChangeLog               |   4 ++
 gcc/ChangeLog           | 124 ++++++++++++++++++++++++++++++++++++++++++++++++
 gcc/DATESTAMP           |   2 +-
 gcc/c-family/ChangeLog  |   8 ++++
 gcc/cp/ChangeLog        |  27 +++++++++++
 gcc/testsuite/ChangeLog |  60 +++++++++++++++++++++++
 libstdc++-v3/ChangeLog  |  48 +++++++++++++++++++
 7 files changed, 272 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 721297837d4..652b0690112 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2022-09-23  Paul-Antoine Arras  <pa@codesourcery.com>
+
+	* MAINTAINERS (Write After Approval): Add myself.
+
 2022-09-15  Torbjörn SVENSSON  <torbjorn.svensson@foss.st.com>
 
 	* MAINTAINERS (Write After Approval): Add myself.
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 6986721ee61..4ff50c3d2f3 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,127 @@
+2022-09-23  Vineet Gupta  <vineetg@rivosinc.com>
+
+	* config/riscv/riscv.h (LOCAL_SYM_P): New.
+	(USE_LOAD_ADDRESS_MACRO): Simplify by calling LOCAL_SYM_P.
+
+2022-09-23  zhongjuzhe  <juzhe.zhong@rivai.ai>
+
+	* config/riscv/riscv-modes.def (VECTOR_BOOL_MODE): Add RVV mask modes.
+	(ADJUST_NUNITS): Adjust nunits using riscv_vector_chunks.
+	(ADJUST_ALIGNMENT): Adjust alignment.
+	(ADJUST_BYTESIZE): Adjust bytesize using riscv_vector_chunks.
+	(RVV_MODES): New macro.
+	(VECTOR_MODE_WITH_PREFIX): Add RVV vector modes.
+	(VECTOR_MODES_WITH_PREFIX): Add RVV vector modes.
+
+2022-09-23  zhongjuzhe  <juzhe.zhong@rivai.ai>
+
+	* common/config/riscv/riscv-common.cc: Change "static void" to "void".
+	* config.gcc: Add riscv-selftests.o
+	* config/riscv/predicates.md: Allow const_poly_int.
+	* config/riscv/riscv-protos.h (riscv_reinit): New function.
+	(riscv_parse_arch_string): change as exten function.
+	(riscv_run_selftests): New function.
+	* config/riscv/riscv.cc (riscv_cannot_force_const_mem): Don't allow poly
+	into const pool.
+	(riscv_report_v_required): New function.
+	(riscv_expand_op): New function.
+	(riscv_expand_mult_with_const_int): New function.
+	(riscv_legitimize_poly_move): Ditto.
+	(riscv_legitimize_move): New function.
+	(riscv_hard_regno_mode_ok): Add VL/VTYPE register allocation and fix
+	vector RA.
+	(riscv_convert_vector_bits): Fix riscv_vector_chunks configuration for
+	-marh no 'v'.
+	(riscv_reinit): New function.
+	(TARGET_RUN_TARGET_SELFTESTS): New target hook support.
+	* config/riscv/t-riscv: Add riscv-selftests.o.
+	* config/riscv/riscv-selftests.cc: New file.
+
+2022-09-23  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/106922
+	* tree-ssa-sccvn.cc (vn_reference_lookup_3): Allow
+	an arbitrary number of same valued skipped stores.
+
+2022-09-23  Aldy Hernandez  <aldyh@redhat.com>
+
+	* value-range.cc (frange::set): Swap setters such that the one
+	accepting REAL_VALUE_TYPE does all the work.
+
+2022-09-23  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>
+
+	* config/aarch64/aarch64-cores.def (neoverse-v2): New entry.
+	(demeter): Update tunings to neoversev2.
+	* config/aarch64/aarch64-tune.md: Regenerate.
+	* config/aarch64/aarch64.cc (demeter_addrcost_table): Rename to
+	neoversev2_addrcost_table.
+	(demeter_regmove_cost): Rename to neoversev2_addrcost_table.
+	(demeter_advsimd_vector_cost): Rename to neoversev2_advsimd_vector_cost.
+	(demeter_sve_vector_cost): Rename to neoversev2_sve_vector_cost.
+	(demeter_scalar_issue_info): Rename to neoversev2_scalar_issue_info.
+	(demeter_advsimd_issue_info): Rename to neoversev2_advsimd_issue_info.
+	(demeter_sve_issue_info): Rename to neoversev2_sve_issue_info.
+	(demeter_vec_issue_info): Rename to neoversev2_vec_issue_info.
+	Update references to above.
+	(demeter_vector_cost): Rename to neoversev2_vector_cost.
+	(demeter_tunings): Rename to neoversev2_tunings.
+	(aarch64_vec_op_count::rename_cycles_per_iter): Use
+	neoversev2_sve_issue_info instead of demeter_sve_issue_info.
+	* doc/invoke.texi (AArch64 Options): Document neoverse-v2.
+
+2022-09-23  Aldy Hernandez  <aldyh@redhat.com>
+
+	* range-op-float.cc (build_le): Use vrp_val_*.
+	(build_lt): Same.
+	(build_ge): Same.
+	(build_gt): Same.
+	* value-range.cc (frange::set): Chop ranges outside of the
+	representable numbers for -ffinite-math-only.
+	(frange::normalize_kind): Use vrp_val*.
+	(frange::verify_range): Same.
+	(frange::set_nonnegative): Same.
+	(range_tests_floats): Remove tests that depend on -INF and +INF.
+	* value-range.h (real_max_representable): Add prototype.
+	(real_min_representable): Same.
+	(vrp_val_max): Set max representable number for
+	-ffinite-math-only.
+	(vrp_val_min): Same but for min.
+	(frange::set_varying): Use vrp_val*.
+
+2022-09-23  Aldy Hernandez  <aldyh@redhat.com>
+
+	* real.cc (debug): New.
+
+2022-09-23  Aldy Hernandez  <aldyh@redhat.com>
+
+	* value-range-pretty-print.cc (vrange_printer::print_real_value): New.
+	(vrange_printer::visit): Call print_real_value.
+	* value-range-pretty-print.h: New print_real_value.
+
+2022-09-23  Martin Liska  <mliska@suse.cz>
+
+	* common.opt: Update -flto-compression-level documentation.
+	* opts.cc (print_filtered_help): Do not append range to an
+	  option that uses \t syntax.
+
+2022-09-23  Jakub Jelinek  <jakub@redhat.com>
+
+	* attribs.cc (decl_attributes): Improve diagnostics, instead of
+	saying expected between 1 and 1, found 2 just say expected 1, found 2.
+
+2022-09-23  Hu, Lin1  <lin1.hu@intel.com>
+
+	PR target/94962
+	* config/i386/constraints.md (BH): New define_constraint.
+	* config/i386/i386.cc (standard_sse_constant_p): Add return
+	3/4 when operand matches new predicate.
+	(standard_sse_constant_opcode): Add new alternative branch to
+	return "vpcmpeqd".
+	* config/i386/predicates.md
+	(vector_all_ones_zero_extend_half_operand): New define_predicate.
+	(vector_all_ones_zero_extend_quarter_operand): Ditto.
+	* config/i386/sse.md: Add constraint to insn "mov<mode>_internal".
+
 2022-09-22  Andrew MacLeod  <amacleod@redhat.com>
 
 	* gimple-range-fold.cc (range_of_range_op): Handle no operands.
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 44f77519800..c0c32de0371 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20220923
+20220924
diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index 248490e9f19..415c4cf7954 100644
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,11 @@
+2022-09-23  Marek Polacek  <polacek@redhat.com>
+
+	PR c++/106784
+	* c-common.cc (c_common_reswords): Add __is_convertible and
+	__is_nothrow_convertible.
+	* c-common.h (enum rid): Add RID_IS_CONVERTIBLE and
+	RID_IS_NOTHROW_CONVERTIBLE.
+
 2022-09-22  David Malcolm  <dmalcolm@redhat.com>
 
 	PR c/106830
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index f2af297b68b..b9b27291ff9 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,30 @@
+2022-09-23  Marek Polacek  <polacek@redhat.com>
+
+	PR c++/106784
+	* constraint.cc (diagnose_trait_expr): Handle CPTK_IS_CONVERTIBLE
+	and CPTK_IS_NOTHROW_CONVERTIBLE.
+	* cp-objcp-common.cc (names_builtin_p): Handle RID_IS_CONVERTIBLE
+	RID_IS_NOTHROW_CONVERTIBLE.
+	* cp-tree.h (enum cp_trait_kind): Add CPTK_IS_CONVERTIBLE and
+	CPTK_IS_NOTHROW_CONVERTIBLE.
+	(is_convertible): Declare.
+	(is_nothrow_convertible): Likewise.
+	* cxx-pretty-print.cc (pp_cxx_trait_expression): Handle
+	CPTK_IS_CONVERTIBLE and CPTK_IS_NOTHROW_CONVERTIBLE.
+	* method.cc (is_convertible): New.
+	(is_nothrow_convertible): Likewise.
+	* parser.cc (cp_parser_primary_expression): Handle RID_IS_CONVERTIBLE
+	and RID_IS_NOTHROW_CONVERTIBLE.
+	(cp_parser_trait_expr): Likewise.
+	* semantics.cc (trait_expr_value): Handle CPTK_IS_CONVERTIBLE and
+	CPTK_IS_NOTHROW_CONVERTIBLE.
+	(finish_trait_expr): Likewise.
+
+2022-09-23  Marek Polacek  <polacek@redhat.com>
+
+	PR c++/106983
+	* typeck2.cc (split_nonconstant_init_1): Check TYPE_P.
+
 2022-09-22  Patrick Palka  <ppalka@redhat.com>
 
 	PR c++/106826
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 7430fa9b32d..d37e19949fe 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,63 @@
+2022-09-23  Joseph Myers  <joseph@codesourcery.com>
+
+	* gcc.dg/c2x-complit-1.c, gcc.dg/c2x-concat-1.c,
+	gcc.dg/cpp/c2x-ucn-1.c: New tests.
+
+2022-09-23  Torbjörn SVENSSON  <torbjorn.svensson@foss.st.com>
+	    Yvan ROUX   <yvan.roux@foss.st.com>
+
+	* gcc.target/aarch64/advsimd-intrinsics/vld1x2.c: Replace
+	dg-xfail-if with dg-skip-if.
+	* gcc.target/aarch64/advsimd-intrinsics/vld1x3.c: Likewise.
+	* gcc.target/aarch64/advsimd-intrinsics/vld1x4.c: Likewise.
+
+2022-09-23  Marek Polacek  <polacek@redhat.com>
+
+	PR c++/106784
+	* g++.dg/ext/has-builtin-1.C: Enhance to test __is_convertible and
+	__is_nothrow_convertible.
+	* g++.dg/ext/is_convertible1.C: New test.
+	* g++.dg/ext/is_convertible2.C: New test.
+	* g++.dg/ext/is_nothrow_convertible1.C: New test.
+	* g++.dg/ext/is_nothrow_convertible2.C: New test.
+
+2022-09-23  zhongjuzhe  <juzhe.zhong@rivai.ai>
+
+	* selftests/riscv/empty-func.rtl: New test.
+
+2022-09-23  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/106922
+	* g++.dg/torture/pr106922.C: New testcase.
+
+2022-09-23  Tamar Christina  <tamar.christina@arm.com>
+
+	* lib/scanasm.exp (check_function_body): Add debug output to verbose log
+	on failure.
+
+2022-09-23  Jakub Jelinek  <jakub@redhat.com>
+
+	PR tree-optimization/106922
+	* g++.dg/tree-ssa/pr106922.C: Scan in cddce3 dump rather than
+	dce3.  Remove -fdump-tree-pre-details from dg-options.
+
+2022-09-23  Hu, Lin1  <lin1.hu@intel.com>
+
+	PR target/94962
+	* gcc.target/i386/avx256-unaligned-load-1.c: Modify test.
+	* gcc.target/i386/avx256-unaligned-store-1.c: Ditto.
+	* gcc.target/i386/avx256-unaligned-store-2.c: Ditto.
+	* gcc.target/i386/avx256-unaligned-store-3.c: Ditto.
+	* gcc.target/i386/pr94962-1.c: New test.
+	* gcc.target/i386/pr94962-2.c: Ditto.
+	* gcc.target/i386/pr94962-3.c: Ditto.
+	* gcc.target/i386/pr94962-4.c: Ditto.
+
+2022-09-23  Marek Polacek  <polacek@redhat.com>
+
+	PR c++/106983
+	* g++.dg/other/error36.C: New test.
+
 2022-09-22  José Rui Faustino de Sousa  <jrfsousa@gmail.com>
 
 	PR fortran/100103
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 3890e53de64..7908837b7ae 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,51 @@
+2022-09-23  Jonathan Wakely  <jwakely@redhat.com>
+
+	* testsuite/20_util/is_assignable/requirements/access.cc:
+	New test.
+
+2022-09-23  Jonathan Wakely  <jwakely@redhat.com>
+
+	PR libstdc++/91456
+	* include/std/type_traits (__is_nothrow_invocable_lib): Remove.
+	(__is_invocable_impl::__nothrow_type): New member type which
+	checks if the conversion can throw.
+	(__is_nt_invocable_impl): Replace class template with alias
+	template to __is_nt_invocable_impl::__nothrow_type.
+	* testsuite/20_util/is_nothrow_invocable/91456.cc: New test.
+	* testsuite/20_util/is_nothrow_convertible/value.cc: Remove
+	macro used by value_ext.cc test.
+	* testsuite/20_util/is_nothrow_convertible/value_ext.cc: Remove
+	test for non-standard __is_nothrow_invocable_lib trait.
+
+2022-09-23  Marek Polacek  <polacek@redhat.com>
+
+	PR c++/106784
+	* include/std/type_traits: Rename __is_nothrow_convertible to
+	__is_nothrow_convertible_lib.
+	* testsuite/20_util/is_nothrow_convertible/value_ext.cc: Likewise.
+
+2022-09-23  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/std/bitset (operator>>): Do not copy for N==0.
+	* testsuite/20_util/bitset/io/input.cc: Add comment.
+
+2022-09-23  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/debug/bitset (__debug::bitset): Add constexpr to all
+	member functions.
+	(operator&, operator|, operator^): Add inline and constexpr.
+	(operator>>, operator<<): Add inline.
+	* testsuite/20_util/bitset/access/constexpr.cc: Only check using
+	constexpr std::string for the cxx11 ABI.
+	* testsuite/20_util/bitset/cons/constexpr_c++23.cc: Likewise.
+	* testsuite/20_util/headers/bitset/synopsis.cc: Check constexpr
+	for C++23.
+
+2022-09-23  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/std/bitset (bitset::_M_copy_to_string): Find set bits
+	instead of iterating over individual bits.
+
 2022-09-22  Jonathan Wakely  <jwakely@redhat.com>
 
 	* include/std/bitset (bitset): Add constexpr for C++23. Guard