[gcc r13-4422] Daily bump.

[gcc r13-4422] Daily bump.

[GCC Administrator]

https://gcc.gnu.org/g:6eea85a95eecce38d194408fa4ce139b8bce1b28

commit r13-4422-g6eea85a95eecce38d194408fa4ce139b8bce1b28
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Thu Dec 1 00:17:51 2022 +0000

    Daily bump.

Diff:
---
 gcc/ChangeLog                | 103 +++++++++++++++++++++++++++++++++++++++++++
 gcc/DATESTAMP                |   2 +-
 gcc/analyzer/ChangeLog       |  56 +++++++++++++++++++++++
 gcc/c-family/ChangeLog       |   8 ++++
 gcc/cp/ChangeLog             |   6 +++
 gcc/d/ChangeLog              |  28 ++++++++++++
 gcc/fortran/ChangeLog        |   4 ++
 gcc/testsuite/ChangeLog      |  76 +++++++++++++++++++++++++++++++
 libgomp/ChangeLog            |  14 ++++++
 maintainer-scripts/ChangeLog |   5 +++
 10 files changed, 301 insertions(+), 1 deletion(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 90f6649e4ef..33e0e3eb585 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,106 @@
+2022-11-30  John David Anglin  <danglin@gcc.gnu.org>
+
+	* config/pa/pa.md (addvdi3): Force operand 2 to a register.
+	Remove "addi,tsv,*" instruction from unamed pattern.
+	(subvdi3): Force operand 1 to a register.
+	Remove "subi,tsv" instruction from from unamed pattern.
+
+2022-11-30  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>
+
+	* config/aarch64/aarch64.md (aarch64_cpymemdi): Specify clobber of CC reg.
+	(*aarch64_cpymemdi): Likewise.
+	(aarch64_movmemdi): Likewise.
+	(aarch64_setmemdi): Likewise.
+	(*aarch64_setmemdi): Likewise.
+
+2022-11-30  Martin Liska  <mliska@suse.cz>
+
+	* tree-switch-conversion.cc (bit_test_cluster::emit): Remove
+	dead variable bt_range.
+
+2022-11-30  Iskander Shakirzyanov  <iskander@ispras.ru>
+	    Franz Sirl  <Franz.Sirl-kernel@lauterbach.com>
+
+	PR driver/107787
+	* common.opt (Warray-bounds): Turn into alias of
+	-Warray-bounds=1.
+	* builtins.cc (c_strlen): Use OPT_Warray_bounds_
+	instead of OPT_Warray_bounds.
+	* diagnostic-spec.cc (nowarn_spec_t::nowarn_spec_t): Ditto.
+	* gimple-array-bounds.cc (array_bounds_checker::check_array_ref,
+	array_bounds_checker::check_mem_ref,
+	array_bounds_checker::check_addr_expr,
+	array_bounds_checker::check_array_bounds): Ditto.
+	* gimple-ssa-warn-restrict.cc (maybe_diag_access_bounds): Ditto.
+
+2022-11-30  Martin Liska  <mliska@suse.cz>
+
+	PR tree-optimization/101301
+	PR tree-optimization/103680
+	* tree-switch-conversion.cc (bit_test_cluster::emit):
+	Handle correctly remaining probability.
+	(switch_decision_tree::try_switch_expansion): Fix BB's count
+	where a cluster expansion happens.
+	(switch_decision_tree::emit_cmp_and_jump_insns): Fill up also
+	BB count.
+	(switch_decision_tree::do_jump_if_equal): Likewise.
+	(switch_decision_tree::emit_case_nodes): Handle special case
+	for BT expansion which can also fallback to a default BB.
+	* tree-switch-conversion.h (cluster::cluster): Add
+	m_default_prob probability.
+
+2022-11-30  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/107919
+	* gimple-predicate-analysis.cc (simplify_1): Rename to ...
+	(simplify_1a): .. this.
+	(simplify_1b): New.
+	(predicate::simplify): Call both simplify_1a and simplify_1b.
+
+2022-11-30  Richard Biener  <rguenther@suse.de>
+
+	* tree-ssa-uninit.cc (find_uninit_use): Dump the edge for a
+	PHI node.
+
+2022-11-30  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/107919
+	* gimple-predicate-analysis.cc (predicate::simplify_2):
+	Handle predicates of arbitrary length.
+
+2022-11-30  Jakub Jelinek  <jakub@redhat.com>
+
+	PR tree-optimization/107835
+	* tree-chrec.cc (chrec_apply): Don't handle "{a, +, a} (x-1)"
+	as "a*x" if type is a pointer type.
+
+2022-11-30  Paul-Antoine Arras  <pa@codesourcery.com>
+
+	* config/gcn/gcn.cc (gcn_omp_device_kind_arch_isa): Add gfx803.
+	* config/gcn/t-omp-device: Add gfx803.
+
+2022-11-30  Lulu Cheng  <chenglulu@loongson.cn>
+
+	* config/loongarch/linux.h (STACK_CHECK_MOVING_SP):
+	Define this macro to 1.
+	* config/loongarch/loongarch.cc (STACK_CLASH_PROTECTION_GUARD_SIZE):
+	Size of guard page.
+	(loongarch_first_stack_step): Return the size of the first drop stack
+	according to whether stack checking is performed.
+	(loongarch_emit_probe_stack_range): Adjust the method of stack checking in prologue.
+	(loongarch_output_probe_stack_range): Delete useless code.
+	(loongarch_expand_prologue): Adjust the method of stack checking in prologue.
+	(loongarch_option_override_internal): Enforce that interval is the same
+	size as size so the mid-end does the right thing.
+	* config/loongarch/loongarch.h (STACK_CLASH_MAX_UNROLL_PAGES):
+	New macro decide whether to loop stack detection.
+
+2022-11-30  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/103546
+	* doc/invoke.texi (Static Analyzer Options): Add isatty, ferror,
+	fileno, and getc to the list of functions known to the analyzer.
+
 2022-11-29  Richard Biener  <rguenther@suse.de>
 
 	PR tree-optimization/107852
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index e6a7597e85b..f0a26d37c16 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20221130
+20221201
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index aa7ce88cdf6..a7724cd1f45 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,59 @@
+2022-11-30  David Malcolm  <dmalcolm@redhat.com>
+
+	* region-model-impl-calls.cc (class kf_fgets): Move to sm-file.cc.
+	(kf_fgets::impl_call_pre): Likewise.
+	(class kf_fread): Likewise.
+	(kf_fread::impl_call_pre): Likewise.
+	(class kf_getchar): Likewise.
+	(class kf_stdio_output_fn): Likewise.
+	(register_known_functions): Move registration of
+	BUILT_IN_FPRINTF, BUILT_IN_FPRINTF_UNLOCKED, BUILT_IN_FPUTC,
+	BUILT_IN_FPUTC_UNLOCKED, BUILT_IN_FPUTS, BUILT_IN_FPUTS_UNLOCKED,
+	BUILT_IN_FWRITE, BUILT_IN_FWRITE_UNLOCKED, BUILT_IN_PRINTF,
+	BUILT_IN_PRINTF_UNLOCKED, BUILT_IN_PUTC, BUILT_IN_PUTCHAR,
+	BUILT_IN_PUTCHAR_UNLOCKED, BUILT_IN_PUTC_UNLOCKED, BUILT_IN_PUTS,
+	BUILT_IN_PUTS_UNLOCKED, BUILT_IN_VFPRINTF, BUILT_IN_VPRINTF,
+	"getchar", "fgets", "fgets_unlocked", and "fread" to
+	register_known_file_functions.
+	* sm-file.cc (class kf_stdio_output_fn): Move here from
+	region-model-impl-calls.cc.
+	(class kf_fgets): Likewise.
+	(class kf_fread): Likewise.
+	(class kf_getchar): Likewise.
+	(register_known_file_functions): Move registration of
+	BUILT_IN_FPRINTF, BUILT_IN_FPRINTF_UNLOCKED, BUILT_IN_FPUTC,
+	BUILT_IN_FPUTC_UNLOCKED, BUILT_IN_FPUTS, BUILT_IN_FPUTS_UNLOCKED,
+	BUILT_IN_FWRITE, BUILT_IN_FWRITE_UNLOCKED, BUILT_IN_PRINTF,
+	BUILT_IN_PRINTF_UNLOCKED, BUILT_IN_PUTC, BUILT_IN_PUTCHAR,
+	BUILT_IN_PUTCHAR_UNLOCKED, BUILT_IN_PUTC_UNLOCKED, BUILT_IN_PUTS,
+	BUILT_IN_PUTS_UNLOCKED, BUILT_IN_VFPRINTF, BUILT_IN_VPRINTF,
+	"fgets", "fgets_unlocked", "fread", and "getchar" to here from
+	register_known_functions.
+
+2022-11-30  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/103546
+	* analyzer.h (register_known_file_functions): New decl.
+	* program-state.cc (sm_state_map::replay_call_summary): Rejct
+	attempts to store sm-state for caller_sval that can't have
+	associated state.
+	* region-model-impl-calls.cc (register_known_functions): Call
+	register_known_file_functions.
+	* sm-fd.cc (class kf_isatty): New.
+	(register_known_fd_functions): Register it.
+	* sm-file.cc (class kf_ferror): New.
+	(class kf_fileno): New.
+	(class kf_getc): New.
+	(register_known_file_functions): New.
+
+2022-11-30  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/105784
+	* region-model-manager.cc
+	(region_model_manager::maybe_fold_binop): For POINTER_PLUS_EXPR,
+	PLUS_EXPR and MINUS_EXPR, eliminate requirement that the final
+	type matches that of arg0 in favor of a cast.
+
 2022-11-24  Martin Liska  <mliska@suse.cz>
 
 	* varargs.cc: Fix Clang warnings.
diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index e53acbd0518..008b26efc07 100644
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,11 @@
+2022-11-30  Iskander Shakirzyanov  <iskander@ispras.ru>
+	    Franz Sirl  <Franz.Sirl-kernel@lauterbach.com>
+
+	PR driver/107787
+	* c-common.cc (fold_offsetof,
+	convert_vector_to_array_for_subscript): Use OPT_Warray_bounds_
+	instead of OPT_Warray_bounds.
+
 2022-11-24  Jakub Jelinek  <jakub@redhat.com>
 
 	* c.opt (fcontract-role=, fcontract-semantic=): Terminate descriptions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 02274f6e412..0cc1897e243 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2022-11-30  Patrick Palka  <ppalka@redhat.com>
+
+	PR c++/107542
+	* typeck.cc (cp_build_binary_op): In the SPACESHIP_EXPR case,
+	handle an error_mark_node result type.
+
 2022-11-29  Patrick Palka  <ppalka@redhat.com>
 
 	PR c++/107864
diff --git a/gcc/d/ChangeLog b/gcc/d/ChangeLog
index 6691a43b11e..74346eab2ef 100644
--- a/gcc/d/ChangeLog
+++ b/gcc/d/ChangeLog
@@ -1,3 +1,31 @@
+2022-11-30  Iain Buclaw  <ibuclaw@gdcproject.org>
+
+	* Make-lang.in (D_TEXI_FILES): Add d/implement-d.texi.
+	* gdc.texi: Adjust introduction, include implement-d.texi.
+	* implement-d.texi: New file.
+
+2022-11-30  Iain Buclaw  <ibuclaw@gdcproject.org>
+
+	* Make-lang.in: Only include doc/include when building documentation.
+	(d.html): Rename html directory to $(build_htmldir)/gdc.
+
+2022-11-30  Iain Buclaw  <ibuclaw@gdcproject.org>
+
+	* gdc.texi: Separate indices into options and keywords.
+
+2022-11-30  Iain Buclaw  <ibuclaw@gdcproject.org>
+
+	* gdc.texi: Update gdc option documentation.
+	* lang.opt (frevert=intpromote): Correct documentation.
+
+2022-11-30  Iain Buclaw  <ibuclaw@gdcproject.org>
+
+	PR d/107592
+	* toir.cc (IRVisitor::push_unrolled_continue_label): New method.
+	(IRVisitor::pop_unrolled_continue_label): New method.
+	(IRVisitor::visit (UnrolledLoopStatement *)): Use them instead of
+	push_continue_label and pop_continue_label.
+
 2022-11-23  Martin Liska  <mliska@suse.cz>
 
 	* Make-lang.in: Use it as $DO_LINK_MUTEX.
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index e3d66848fa4..fbb7ed559ce 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,7 @@
+2022-11-30  Martin Liska  <mliska@suse.cz>
+
+	* parse.cc (parse_omp_structured_block): Remove extra semicolon.
+
 2022-11-29  Harald Anlauf  <anlauf@gmx.de>
 	    Steven G. Kargl  <kargl@gcc.gnu.org>
 
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 0660d5688b6..fdcc303fdeb 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,79 @@
+2022-11-30  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>
+
+	* gcc.target/aarch64/mops_5.c: New test.
+	* gcc.target/aarch64/mops_6.c: Likewise.
+	* gcc.target/aarch64/mops_7.c: Likewise.
+
+2022-11-30  Iain Buclaw  <ibuclaw@gdcproject.org>
+
+	PR d/107592
+	* gdc.dg/pr107592.d: New test.
+
+2022-11-30  Iskander Shakirzyanov  <iskander@ispras.ru>
+	    Franz Sirl  <Franz.Sirl-kernel@lauterbach.com>
+
+	PR driver/107787
+	* gcc.dg/Warray-bounds-34.c: Correct the regular expression
+	for -Warray-bounds=.
+	* gcc.dg/Warray-bounds-43.c: Likewise.
+	* gcc.dg/pr107787.c: New test.
+
+2022-11-30  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/107919
+	* g++.dg/warn/Wuninitialized-pr107919-1.C: New testcase.
+
+2022-11-30  Jakub Jelinek  <jakub@redhat.com>
+
+	PR tree-optimization/107835
+	* gcc.c-torture/compile/pr107835.c: New test.
+
+2022-11-30  Alexandre Oliva  <oliva@adacore.com>
+
+	PR target/107304
+	* gcc.target/i386/pr107304.c: dg-require ifunc support.
+
+2022-11-30  Lulu Cheng  <chenglulu@loongson.cn>
+
+	* lib/target-supports.exp:
+	* gcc.target/loongarch/stack-check-alloca-1.c: New test.
+	* gcc.target/loongarch/stack-check-alloca-2.c: New test.
+	* gcc.target/loongarch/stack-check-alloca-3.c: New test.
+	* gcc.target/loongarch/stack-check-alloca-4.c: New test.
+	* gcc.target/loongarch/stack-check-alloca-5.c: New test.
+	* gcc.target/loongarch/stack-check-alloca-6.c: New test.
+	* gcc.target/loongarch/stack-check-alloca.h: New test.
+	* gcc.target/loongarch/stack-check-cfa-1.c: New test.
+	* gcc.target/loongarch/stack-check-cfa-2.c: New test.
+	* gcc.target/loongarch/stack-check-prologue-1.c: New test.
+	* gcc.target/loongarch/stack-check-prologue-2.c: New test.
+	* gcc.target/loongarch/stack-check-prologue-3.c: New test.
+	* gcc.target/loongarch/stack-check-prologue-4.c: New test.
+	* gcc.target/loongarch/stack-check-prologue-5.c: New test.
+	* gcc.target/loongarch/stack-check-prologue-6.c: New test.
+	* gcc.target/loongarch/stack-check-prologue-7.c: New test.
+	* gcc.target/loongarch/stack-check-prologue.h: New test.
+
+2022-11-30  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/103546
+	* gcc.dg/analyzer/ferror-1.c: New test.
+	* gcc.dg/analyzer/fileno-1.c: New test.
+	* gcc.dg/analyzer/flex-with-call-summaries.c: New test.
+	* gcc.dg/analyzer/flex-without-call-summaries.c: New test.
+	* gcc.dg/analyzer/getc-1.c: New test.
+	* gcc.dg/analyzer/isatty-1.c: New test.
+
+2022-11-30  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/105784
+	* gcc.dg/analyzer/torture/fold-ptr-arith-pr105784.c: New test.
+
+2022-11-30  Patrick Palka  <ppalka@redhat.com>
+
+	PR c++/107542
+	* g++.dg/cpp2a/spaceship-sfinae2.C: New test.
+
 2022-11-29  Harald Anlauf  <anlauf@gmx.de>
 	    Steven G. Kargl  <kargl@gcc.gnu.org>
 
diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog
index f29085ad6dc..7fd11535f54 100644
--- a/libgomp/ChangeLog
+++ b/libgomp/ChangeLog
@@ -1,3 +1,17 @@
+2022-11-30  Tobias Burnus  <tobias@codesourcery.com>
+
+	* libgomp.texi (OpenMP Context Selectors): Add 'gfx803' to gcn's isa.
+
+2022-11-30  Paul-Antoine Arras  <pa@codesourcery.com>
+
+	* testsuite/libgomp.c/declare-variant-4-fiji.c: New test.
+	* testsuite/libgomp.c/declare-variant-4-gfx803.c: New test.
+	* testsuite/libgomp.c/declare-variant-4-gfx900.c: New test.
+	* testsuite/libgomp.c/declare-variant-4-gfx906.c: New test.
+	* testsuite/libgomp.c/declare-variant-4-gfx908.c: New test.
+	* testsuite/libgomp.c/declare-variant-4-gfx90a.c: New test.
+	* testsuite/libgomp.c/declare-variant-4.h: New header file.
+
 2022-11-28  Tobias Burnus  <tobias@codesourcery.com>
 
 	* libgomp.texi (OpenMP 5.2): Mark end-directive as Y.
diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog
index 125dd995ccf..6dbe4ba30d8 100644
--- a/maintainer-scripts/ChangeLog
+++ b/maintainer-scripts/ChangeLog
@@ -1,3 +1,8 @@
+2022-11-30  Iain Buclaw  <ibuclaw@gdcproject.org>
+
+	PR web/107749
+	* update_web_docs_git: Add gdc to MANUALS.
+
 2022-11-23  Sam James  <sam@gentoo.org>
 
 	* gcc_release (XZ): Add -T0.