[gcc r13-2576] Daily bump.

[gcc r13-2576] Daily bump.

[GCC Administrator]

https://gcc.gnu.org/g:861d1a11c0a052ddb3851950d3c0db86b320646d

commit r13-2576-g861d1a11c0a052ddb3851950d3c0db86b320646d
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Sat Sep 10 00:17:21 2022 +0000

    Daily bump.

Diff:
---
 gcc/ChangeLog           | 116 ++++++++++++++++++++++++++++++++++++++++++++++++
 gcc/DATESTAMP           |   2 +-
 gcc/analyzer/ChangeLog  |  68 ++++++++++++++++++++++++++++
 gcc/c-family/ChangeLog  |   4 ++
 gcc/testsuite/ChangeLog |  59 ++++++++++++++++++++++++
 libgomp/ChangeLog       |  28 ++++++++++++
 liboffloadmic/ChangeLog |   5 +++
 libstdc++-v3/ChangeLog  |  28 ++++++++++++
 8 files changed, 309 insertions(+), 1 deletion(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 73748ca6913..c27e03a1178 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,119 @@
+2022-09-09  Takayuki 'January June' Suwa  <jjsuwa_sys3175@yahoo.co.jp>
+
+	* config/xtensa/xtensa.md: Rewrite the split pattern that performs
+	the abovementioned process so that insns that overwrite clobbered
+	register no longer need to be contiguous.
+	(DSC): Remove as no longer needed.
+
+2022-09-09  Takayuki 'January June' Suwa  <jjsuwa_sys3175@yahoo.co.jp>
+
+	* config/xtensa/xtensa.cc (machine_function): New boolean member as
+	a flag that controls whether to emit the insns for stack pointer
+	adjustment inside of the pro/epilogue.
+	(xtensa_emit_adjust_stack_ptr): New function to share the common
+	codes and to emit insns if not inhibited.
+	(xtensa_expand_epilogue): Change to use the function mentioned
+	above when using the CALL0 ABI.
+	(xtensa_expand_prologue): Ditto.
+	And also change to set the inhibit flag used by
+	xtensa_emit_adjust_stack_ptr() to true if the stack pointer is only
+	used for its own adjustment.
+
+2022-09-09  David Malcolm  <dmalcolm@redhat.com>
+
+	* doc/invoke.texi (Static Analyzer Options): Add
+	-Wanalyzer-exposure-through-uninit-copy.
+
+2022-09-09  David Malcolm  <dmalcolm@redhat.com>
+
+	* Makefile.in (ANALYZER_OBJS): Add
+	analyzer/known-function-manager.o.
+
+2022-09-09  Tobias Burnus  <tobias@codesourcery.com>
+
+	* config/nvptx/mkoffload.cc (struct id_map): Add 'dim' member.
+	(record_id): Store func name without quotes, store dim separately.
+	(process): For GOMP_REQUIRES_REVERSE_OFFLOAD, check that -march is
+	at least sm_35, create '$offload_func_table' global array and init
+	with reverse-offload function addresses.
+	* config/nvptx/nvptx.cc (write_fn_proto_1, write_fn_proto): New
+	force_public attribute to force .visible.
+	(nvptx_declare_function_name): For "omp target
+	device_ancestor_nohost" attribut, force .visible/TREE_PUBLIC.
+
+2022-09-09  Tobias Burnus  <tobias@codesourcery.com>
+
+	* config/gcn/mkoffload.cc (process_asm): Create .offload_func_table,
+	similar to pre-existing .offload_var_table.
+
+2022-09-09  Joseph Myers  <joseph@codesourcery.com>
+
+	* ginclude/stddef.h [__STDC_VERSION__ > 201710L] (unreachable):
+	New macro.
+
+2022-09-09  Kewen Lin  <linkw@linux.ibm.com>
+
+	PR middle-end/106833
+	* tree.cc (verify_opaque_type): New function.
+	(verify_type): Call verify_opaque_type for OPAQUE_TYPE.
+
+2022-09-09  Kwok Cheung Yeung  <kcy@codesourcery.com>
+
+	* config/gcn/gcn-builtins.def (FABSVF, LDEXPVF, LDEXPV, FREXPVF_EXP,
+	FREXPVF_MANT, FREXPV_EXP, FREXPV_MANT): Add new builtins.
+	* config/gcn/gcn-protos.h (gcn_dconst1over2pi): New prototype.
+	* config/gcn/gcn-valu.md (MATH_UNOP_1OR2REG, MATH_UNOP_1REG,
+	MATH_UNOP_TRIG): New iterators.
+	(math_unop): New attributes.
+	(<math_unop><mode>2, <math_unop><mode>2<exec>,
+	<math_unop><mode>2, <math_unop><mode>2<exec>,
+	*<math_unop><mode>2_insn, *<math_unop><mode>2<exec>_insn,
+	ldexp<mode>3, ldexp<mode>3<exec>,
+	frexp<mode>_exp2, frexp<mode>_mant2,
+	frexp<mode>_exp2<exec>, frexp<mode>_mant2<exec>): New instructions.
+	(<math_unop><mode>2, <math_unop><mode>2<exec>): New expanders.
+	* config/gcn/gcn.cc (init_ext_gcn_constants): Update definition of
+	dconst1over2pi.
+	(gcn_dconst1over2pi): New.
+	(gcn_builtin_type_index): Add entry for v64df type.
+	(v64df_type_node): New.
+	(gcn_init_builtin_types): Initialize v64df_type_node.
+	(gcn_expand_builtin_1): Expand new builtins to instructions.
+	(print_operand): Fix assembler output for 1/(2*PI) constant.
+	* config/gcn/gcn.md (unspec): Add new entries.
+
+2022-09-09  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/106722
+	* tree-predcom.cc (ref_at_iteration): Do not associate the
+	constant part of the offset into the MEM_REF offset
+	operand, across a non-zero offset.
+
+2022-09-09  Kito Cheng  <kito.cheng@sifive.com>
+
+	* common/config/riscv/riscv-common.cc (RISCV_USE_CUSTOMISED_MULTI_LIB):
+	Move forward for cover all all necessary functions for suppress
+	unused function warnings.
+	(riscv_multi_lib_check): Move forward, and tweak message to suppress
+	-Werror=format-diag warning.
+
+2022-09-09  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/106881
+	* gimple-predicate-analysis.cc (simple_control_dep_chain):
+	Add only non-fallthru edges and avoid the same set of edges
+	as compute_control_dep_chain_pdom does.
+
+2022-09-09  Jan-Benedict Glaw  <jbglaw@lug-owl.de>
+
+	* doc/tm.texi.in (TARGET_OVERRIDES_FORMAT_ATTRIBUTES): Document requirement
+	of TARGET_OVERRIDES_FORMAT_ATTRIBUTES_COUNT being defined as well.
+	* doc/tm.texi: Regenerate.
+
+2022-09-09  Martin Liska  <mliska@suse.cz>
+
+	* optc-save-gen.awk: Always compare array option values with memcmp.
+
 2022-09-08  Jonathan Wakely  <jwakely@redhat.com>
 
 	PR c++/106838
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 56639c30a8b..9f94e785b02 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20220909
+20220910
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 7263e741abd..0e3cc72aa6f 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,71 @@
+2022-09-09  David Malcolm  <dmalcolm@redhat.com>
+
+	* analyzer.opt (Wanalyzer-exposure-through-uninit-copy): New.
+	* checker-path.cc (region_creation_event::region_creation_event):
+	Add "capacity" and "kind" params.
+	(region_creation_event::get_desc): Generalize to different kinds
+	of event.
+	(checker_path::add_region_creation_event): Convert to...
+	(checker_path::add_region_creation_events): ...this.
+	* checker-path.h (enum rce_kind): New.
+	(region_creation_event::region_creation_event): Add "capacity" and
+	"kind" params.
+	(region_creation_event::m_capacity): New field.
+	(region_creation_event::m_rce_kind): New field.
+	(checker_path::add_region_creation_event): Convert to...
+	(checker_path::add_region_creation_events): ...this.
+	* diagnostic-manager.cc (diagnostic_manager::build_emission_path):
+	Update for multiple region creation events.
+	(diagnostic_manager::add_event_on_final_node): Likewise.
+	(diagnostic_manager::add_events_for_eedge): Likewise.
+	* region-model-impl-calls.cc (call_details::get_logger): New.
+	* region-model.cc: Define INCLUDE_MEMORY before including
+	"system.h".  Include "gcc-rich-location.h".
+	(class record_layout): New.
+	(class exposure_through_uninit_copy): New.
+	(contains_uninit_p): New.
+	(region_model::maybe_complain_about_infoleak): New.
+	* region-model.h (call_details::get_logger): New decl.
+	(region_model::maybe_complain_about_infoleak): New decl.
+	(region_model::mark_as_tainted): New decl.
+	* sm-taint.cc (region_model::mark_as_tainted): New.
+
+2022-09-09  David Malcolm  <dmalcolm@redhat.com>
+
+	* analyzer.h (class known_function_manager): New forward decl.
+	(class known_function): New.
+	(plugin_analyzer_init_iface::register_known_function): New.
+	* engine.cc: Include "analyzer/known-function-manager.h".
+	(plugin_analyzer_init_impl::plugin_analyzer_init_impl): Add
+	known_fn_mgr param.
+	(plugin_analyzer_init_impl::register_state_machine): Add
+	LOC_SCOPE.
+	(plugin_analyzer_init_impl::register_known_function): New.
+	(plugin_analyzer_init_impl::m_known_fn_mgr): New.
+	(impl_run_checkers): Update plugin callback invocation to use
+	eng's known_function_manager.
+	* known-function-manager.cc: New file.
+	* known-function-manager.h: New file.
+	* region-model-manager.cc
+	(region_model_manager::region_model_manager): Pass logger to
+	m_known_fn_mgr's ctor.
+	* region-model.cc (region_model::update_for_zero_return): New.
+	(region_model::update_for_nonzero_return): New.
+	(maybe_simplify_upper_bound): New.
+	(region_model::maybe_get_copy_bounds): New.
+	(region_model::get_known_function): New.
+	(region_model::on_call_pre): Handle plugin-supplied known
+	functions.
+	* region-model.h: Include "analyzer/known-function-manager.h".
+	(region_model_manager::get_known_function_manager): New.
+	(region_model_manager::m_known_fn_mgr): New.
+	(call_details::get_model): New accessor.
+	(region_model::maybe_get_copy_bounds): New decl.
+	(region_model::update_for_zero_return): New decl.
+	(region_model::update_for_nonzero_return): New decl.
+	(region_model::get_known_function): New decl.
+	(region_model::get_known_function_manager): New.
+
 2022-09-08  Tim Lange  <mail@tim-lange.me>
 
 	PR analyzer/106625
diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index 1d75a63f59d..4144df58138 100644
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,7 @@
+2022-09-09  Jan-Benedict Glaw  <jbglaw@lug-owl.de>
+
+	* c-format.cc (convert_format_name_to_system_name): Fix warning.
+
 2022-09-07  Joseph Myers  <joseph@codesourcery.com>
 
 	* c-common.cc (c_common_reswords): Use D_C2X instead of D_CXXONLY
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index b027c5a5d03..4aac34fabe2 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,62 @@
+2022-09-09  David Malcolm  <dmalcolm@redhat.com>
+
+	* gcc.dg/plugin/analyzer_kernel_plugin.c: New test.
+	* gcc.dg/plugin/copy_from_user-1.c: New test.
+	* gcc.dg/plugin/infoleak-1.c: New test.
+	* gcc.dg/plugin/infoleak-2.c: New test.
+	* gcc.dg/plugin/infoleak-3.c: New test.
+	* gcc.dg/plugin/infoleak-CVE-2011-1078-1.c: New test.
+	* gcc.dg/plugin/infoleak-CVE-2011-1078-2.c: New test.
+	* gcc.dg/plugin/infoleak-CVE-2014-1446-1.c: New test.
+	* gcc.dg/plugin/infoleak-CVE-2017-18549-1.c: New test.
+	* gcc.dg/plugin/infoleak-CVE-2017-18550-1.c: New test.
+	* gcc.dg/plugin/infoleak-antipatterns-1.c: New test.
+	* gcc.dg/plugin/infoleak-fixit-1.c: New test.
+	* gcc.dg/plugin/infoleak-net-ethtool-ioctl.c: New test.
+	* gcc.dg/plugin/infoleak-vfio_iommu_type1.c: New test.
+	* gcc.dg/plugin/plugin.exp (plugin_test_list): Add
+	analyzer_kernel_plugin.c and the new test cases.
+	* gcc.dg/plugin/taint-CVE-2011-0521-1-fixed.c: New test.
+	* gcc.dg/plugin/taint-CVE-2011-0521-1.c: New test.
+	* gcc.dg/plugin/taint-CVE-2011-0521-2-fixed.c: New test.
+	* gcc.dg/plugin/taint-CVE-2011-0521-2.c: New test.
+	* gcc.dg/plugin/taint-CVE-2011-0521-3-fixed.c: New test.
+	* gcc.dg/plugin/taint-CVE-2011-0521-3.c: New test.
+	* gcc.dg/plugin/taint-CVE-2011-0521-4.c: New test.
+	* gcc.dg/plugin/taint-CVE-2011-0521-5-fixed.c: New test.
+	* gcc.dg/plugin/taint-CVE-2011-0521-5.c: New test.
+	* gcc.dg/plugin/taint-CVE-2011-0521-6.c: New test.
+	* gcc.dg/plugin/taint-CVE-2011-0521.h: New test.
+	* gcc.dg/plugin/taint-antipatterns-1.c: New test.
+	* gcc.dg/plugin/test-uaccess.h: New header for tests.
+
+2022-09-09  David Malcolm  <dmalcolm@redhat.com>
+
+	* gcc.dg/plugin/analyzer_known_fns_plugin.c: New test plugin.
+	* gcc.dg/plugin/known-fns-1.c: New test.
+	* gcc.dg/plugin/plugin.exp (plugin_test_list): Add the new plugin
+	and test.
+
+2022-09-09  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/98247
+	* gcc.dg/analyzer/flexible-array-member-1.c: New test.
+
+2022-09-09  Joseph Myers  <joseph@codesourcery.com>
+
+	* gcc.dg/c11-unreachable-1.c, gcc.dg/c2x-unreachable-1.c: New
+	tests.
+
+2022-09-09  Kewen Lin  <linkw@linux.ibm.com>
+
+	PR middle-end/106833
+	* gcc.target/powerpc/pr106833.c: New test.
+
+2022-09-09  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/106722
+	* gcc.dg/torture/pr106892.c: New testcase.
+
 2022-09-08  Tobias Burnus  <tobias@codesourcery.com>
 
 	PR fortran/106670
diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog
index 887c59bd9a0..e78fc38a0ef 100644
--- a/libgomp/ChangeLog
+++ b/libgomp/ChangeLog
@@ -1,3 +1,31 @@
+2022-09-09  Tobias Burnus  <tobias@codesourcery.com>
+
+	* plugin/plugin-nvptx.c (GOMP_OFFLOAD_load_image): Read offload
+	function address table '$offload_func_table' if rev_fn_table
+	is not NULL.
+
+2022-09-09  Tobias Burnus  <tobias@codesourcery.com>
+
+	* plugin/plugin-gcn.c (GOMP_OFFLOAD_load_image): Read
+	.offload_func_table to populate rev_fn_table when requested.
+
+2022-09-09  Tobias Burnus  <tobias@codesourcery.com>
+
+	* libgomp-plugin.h (GOMP_OFFLOAD_load_image): Add
+	'uint64_t **rev_fn_table' argument.
+	* oacc-host.c (host_load_image): Likewise.
+	* plugin/plugin-gcn.c (GOMP_OFFLOAD_load_image): Likewise;
+	currently unused.
+	* plugin/plugin-nvptx.c (GOMP_OFFLOAD_load_image): Likewise.
+	* target.c (gomp_load_image_to_device): Update call but pass
+	NULL for now.
+
+2022-09-09  Jakub Jelinek  <jakub@redhat.com>
+
+	PR libgomp/106894
+	* env.c (initialize_env) <case PARSE_BIND>: Use char ** instead of
+	char * for dest[1] initialization from params[1].  Formatting fixes.
+
 2022-09-08  Tobias Burnus  <tobias@codesourcery.com>
 
 	PR fortran/106670
diff --git a/liboffloadmic/ChangeLog b/liboffloadmic/ChangeLog
index f502750dc89..f33f0168a80 100644
--- a/liboffloadmic/ChangeLog
+++ b/liboffloadmic/ChangeLog
@@ -1,3 +1,8 @@
+2022-09-09  Tobias Burnus  <tobias@codesourcery.com>
+
+	* plugin/libgomp-plugin-intelmic.cpp (GOMP_OFFLOAD_load_image):
+	Add (unused) uint64_t **rev_fn_table argument.
+
 2022-08-25  Martin Liska  <mliska@suse.cz>
 
 	* configure: Regenerate.
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 578173519de..2e15013bd0a 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,31 @@
+2022-09-09  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/bits/atomic_base.h (__atomic_impl::__compare_exchange):
+	Rename __weak to __is_weak.
+	* testsuite/17_intro/names.cc: Add __weak and __strong.
+
+2022-09-09  Patrick Palka  <ppalka@redhat.com>
+
+	PR libstdc++/106803
+	* include/std/ranges (views::_ZipTransform::operator()): Correct
+	return type in the empty case.
+	(views::_AdjacentTransform::operator()): Likewise.
+
+2022-09-09  Patrick Palka  <ppalka@redhat.com>
+
+	PR libstdc++/106798
+	* include/std/ranges (adjacent_view::_Iterator::_Iterator): Fix
+	typo.
+	* testsuite/std/ranges/adaptors/adjacent/1.cc (test04): New test.
+
+2022-09-09  Patrick Palka  <ppalka@redhat.com>
+
+	PR libstdc++/106766
+	* include/std/ranges (zip_view::_Iterator::operator-): Use
+	__to_unsigned_like instead of make_unsigned_t.
+	(zip_view::_Sentinel::operator-): Likewise.
+	* testsuite/std/ranges/zip/1.cc (test04): New test.
+
 2022-09-08  François Dumont  <fdumont@gcc.gnu.org>
 
 	* testsuite/util/testsuite_performance.h (__gnu_test::MallocInfo): New.