[gcc r13-4222] Daily bump.

[gcc r13-4222] Daily bump.

[GCC Administrator]

https://gcc.gnu.org/g:8b7fee1de9a723ccc24d2de1c89d233f27b16a0a

commit r13-4222-g8b7fee1de9a723ccc24d2de1c89d233f27b16a0a
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Tue Nov 22 00:17:49 2022 +0000

    Daily bump.

Diff:
---
 contrib/ChangeLog       |   8 ++++
 gcc/ChangeLog           |  79 ++++++++++++++++++++++++++++++
 gcc/DATESTAMP           |   2 +-
 gcc/ada/ChangeLog       | 124 ++++++++++++++++++++++++++++++++++++++++++++++++
 gcc/analyzer/ChangeLog  |  24 ++++++++++
 gcc/testsuite/ChangeLog |  84 ++++++++++++++++++++++++++++++++
 libcpp/ChangeLog        |  13 +++++
 libgomp/ChangeLog       |   9 ++++
 libstdc++-v3/ChangeLog  |  21 ++++++++
 9 files changed, 363 insertions(+), 1 deletion(-)

diff --git a/contrib/ChangeLog b/contrib/ChangeLog
index bec3739fb4f..57ea5808120 100644
--- a/contrib/ChangeLog
+++ b/contrib/ChangeLog
@@ -1,3 +1,11 @@
+2022-11-21  Martin Liska  <mliska@suse.cz>
+
+	Revert:
+	2022-11-20  Martin Liska  <mliska@suse.cz>
+
+	* gcc-changelog/git_commit.py: Temporarily disable
+	check_line.start.
+
 2022-11-20  Martin Liska  <mliska@suse.cz>
 
 	* gcc-changelog/git_commit.py: Temporarily disable
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 4f693ab18f2..9d14da72dff 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,82 @@
+2022-11-21  Sebastian Huber  <sebastian.huber@embedded-brains.de>
+
+	* config/rtems.h (SUBTARGET_CC1_SPEC): Undef and define.
+
+2022-11-21  Sebastian Huber  <sebastian.huber@embedded-brains.de>
+
+	* gcc.cc (SUBTARGET_CC1_SPEC): Define if not defined.
+	(cc1_spec): Append SUBTARGET_CC1_SPEC.
+
+2022-11-21  Dimitar Dimitrov  <dimitar@dinux.eu>
+
+	* doc/sourcebuild.texi (sockets): Document new check.
+
+2022-11-21  Andrew Carlotti  <andrew.carlotti@arm.com>
+
+	* tree-ssa-loop.h (tree_niter_desc): Update comment.
+
+2022-11-21  Andrew Carlotti  <andrew.carlotti@arm.com>
+
+	* tree-ssa-loop-niter.cc
+	(number_of_iterations_exit_assumptions): Modify to call...
+	(number_of_iterations_bitcount): ...this new function.
+	(number_of_iterations_popcount): Now called by the above.
+	Refactor, and extract popcount expression builder to...
+	(build_popcount_expr): this new function.
+
+2022-11-21  Andrew Carlotti  <andrew.carlotti@arm.com>
+
+	* tree-ssa-loop-niter.cc (ssa_defined_by_minus_one_stmt_p): Move
+	(number_of_iterations_popcount): Move, and remove separate prototype.
+
+2022-11-21  Andrew Carlotti  <andrew.carlotti@arm.com>
+
+	* tree-ssa-loop-niter.cc (number_of_iterations_exit_assumptions):
+	Move at_stmt assignment.
+
+2022-11-21  Christophe Lyon  <christophe.lyon@arm.com>
+
+	* genmultilib: Fix options and dirnames/osdirnames sanity check.
+
+2022-11-21  Philipp Tomsich  <philipp.tomsich@vrull.eu>
+
+	PR target/107786
+	* config/riscv/riscv.md
+	(*branch<ANYI:mode>_shiftedarith_equals_zero): Wrap ANYI
+	in a subreg, as our branch instructions only supports X.
+
+2022-11-21  Jakub Jelinek  <jakub@redhat.com>
+
+	PR target/107748
+	* config/i386/avx512fp16intrin.h (_mm512_castph512_ph128,
+	_mm512_castph512_ph256, _mm512_castph128_ph512,
+	_mm512_castph256_ph512, _mm512_set1_pch): Uglify names of local
+	variables and union members.
+	* config/i386/avx512fp16vlintrin.h (_mm256_castph256_ph128,
+	_mm256_castph128_ph256, _mm256_set1_pch, _mm_set1_pch): Likewise.
+	* config/i386/smmintrin.h (_mm_extract_ps): Likewise.
+
+2022-11-21  Christophe Lyon  <christophe.lyon@arm.com>
+
+	* genmultilib: Add sanity check.
+
+2022-11-21  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* config/arm/arm.cc (arm_attribute_table) <cmse_nonsecure_call>:
+	Change decl_required field to false.
+	(arm_handle_cmse_nonsecure_call): Deal with a TYPE node.
+
+2022-11-21  Andrew Pinski  <apinski@marvell.com>
+
+	* gimplify.cc (gimplify_modify_expr): If
+	either *from_p or *to_p were error_operand
+	return early.
+
+2022-11-21  liuhongt  <hongtao.liu@intel.com>
+
+	* config/i386/i386-builtins.cc (def_builtin): Handle "shared"
+	avx512bf16vl-avxneconvert builtins.
+
 2022-11-20  Jakub Jelinek  <jakub@redhat.com>
 
 	PR target/107183
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index b4f44f494dc..00ec7aeeb71 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20221121
+20221122
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index d3a7d08ab61..e4adff45f44 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,127 @@
+2022-11-21  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/decl.cc (gnat_to_gnu_entity) <E_Constant>: Revert
+	latest change.
+	* gcc-interface/trans.cc (gnat_to_gnu) <N_Object_Declaration>:
+	Tweak latest change.
+
+2022-11-21  Marc Poulhiès  <poulhies@adacore.com>
+
+	* exp_pakd.adb (Create_Packed_Array_Impl_Type): Do not share PAT
+	if sizes of types differ.
+
+2022-11-21  Ronan Desplanques  <desplanques@adacore.com>
+
+	* doc/gnat_rm/implementation_defined_pragmas.rst: Restore
+	alphabetical ordering.
+	* gnat_rm.texi: Regenerate.
+	* gnat_ugn.texi: Regenerate.
+
+2022-11-21  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* sem_util.adb (Needs_Secondary_Stack): Test Is_Constrained
+	directly instead of Is_Definite_Subtype for an array subtype.
+
+2022-11-21  Steve Baird  <baird@adacore.com>
+
+	* libgnat/s-rident.ads: Define a new restriction,
+	No_Task_Hierarchy_Implicit. This is like the No_Task_Hierarchy
+	restriction, but with the difference that setting this restriction
+	does not mean the H.6(6) post-compilation check is satisified.
+	* exp_ch6.adb (Add_Task_Actuals_To_Build_In_Place_Call): If it is
+	known that the function result cannot have tasks, then pass in a
+	null literal for the activation chain actual parameter. This
+	avoids generating a reference to an entity that
+	Build_Activation_Chain_Entity may have chosen not to generate a
+	declaration for.
+	* gnatbind.adb (List_Applicable_Restrictions): Do not list the
+	No_Task_Hierarchy_Implicit restriction.
+	* restrict.adb: Special treatment for the
+	No_Task_Hierarchy_Implicit restriction in functions
+	Get_Restriction_Id and Restriction_Active. The former is needed to
+	disallow the (unlikely) case that a user tries to explicitly
+	reference the No_Task_Hierarchy_Implicit restriction.
+	* sem_prag.adb (Analyze_Pragma): If a Sequential
+	Partition_Elaboration_Policy is specified (and the
+	No_Task_Hierarchy restriction is not already enabled), then enable
+	the No_Task_Hierarchy_Implicit restriction.
+
+2022-11-21  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* exp_ch3.adb (Expand_N_Object_Declaration): Use Typ local
+	constant throughout, remove Ret_Obj_Typ local constant, rename
+	Ref_Type into Acc_Typ in a couple of places, remove a useless call
+	to Set_Etype, use a consistent checks suppression scheme, adjust
+	comments for the sake of consistencty and alphabetize some local
+	declarations.
+	* exp_ch6.adb (Expand_Simple_Function_Return): Remove a couple of
+	redundant local constants.
+
+2022-11-21  Steve Baird  <baird@adacore.com>
+
+	* libgnat/a-sttebu.adb (Put): Add missing call to Encode.
+	* libgnat/a-strsup.ads: Declare new Put_Image procedure and add
+	Put_Image aspect specification for type Super_String.
+	* libgnat/a-strsup.adb (Put_Image): New procedure.
+	* libgnat/a-stwisu.ads: Declare new Put_Image procedure and add
+	Put_Image aspect specification for type Super_String.
+	* libgnat/a-stwisu.adb (Put_Image): New procedure.
+	* libgnat/a-stzsup.ads: Declare new Put_Image procedure and add
+	Put_Image aspect specification for type Super_String.
+	* libgnat/a-stzsup.adb (Put_Image): New procedure.
+
+2022-11-21  Ghjuvan Lacambre  <lacambre@adacore.com>
+
+	* frontend.adb (Frontend): Disable subprogram call validation.
+
+2022-11-21  Bob Duff  <duff@adacore.com>
+
+	* warnsw.ads, warnsw.adb: Move warning flags here from package
+	Opt. Rename Warning_Record to be Warnings_State. Use an array
+	instead of a record; this simplifies the code. Add renamings of
+	all the array components for easy reference outside this package.
+	Pass the "Family" to Set_Warning_Switch. Use more table-driven
+	code. Misc cleanup and comment fixes.
+	* opt.ads: Move warning switches to Warnsw.
+	* gnat1drv.adb
+	(Adjust_Global_Switches): Expanded names needed.
+	* inline.ads: Rename Warning_Record to be Warnings_State.
+	* sem_ch12.adb: Likewise.
+	* sem_prag.adb: Use new Set_Warning_Switch.
+	* contracts.adb, errout.adb, exp_aggr.adb, exp_ch11.adb: Adjust
+	imports for move to Warnsw.
+	* exp_ch5.adb, exp_prag.adb, exp_util.adb, frontend.adb: Likewise.
+	* layout.adb, lib-xref.adb, restrict.adb, scn.adb, sem_aggr.adb:
+	Likewise.
+	* sem_attr.adb, sem_case.adb, sem_ch10.adb, sem_ch11.adb:
+	Likewise.
+	* sem_ch13.adb, sem_ch3.adb, sem_ch4.adb, sem_ch5.adb: Likewise.
+	* sem_ch6.adb, sem_ch7.adb, sem_ch8.adb, sem_elab.adb: Likewise.
+	* sem_eval.adb, sem_res.adb, sem_util.adb, sem_warn.adb: Likewise.
+	* switch-c.adb: Likewise.
+
+2022-11-21  Steve Baird  <baird@adacore.com>
+
+	* doc/gnat_ugn/building_executable_programs_with_gnat.rst: Improve
+	the description of how the -gnatw.h switch interacts with
+	"partial" record layout specifications (i.e., specifications where
+	the locations of some components are left unspecified).
+	* gnat_ugn.texi: Regenerate.
+
+2022-11-21  Marc Poulhiès  <poulhies@adacore.com>
+
+	* sem_ch13.adb (Check_One_Attr): produce error when Size attribute
+	used on aliased object of elementary types with nonconfirming
+	value.
+
+2022-11-21  Ronan Desplanques  <desplanques@adacore.com>
+
+	* sfn_scan.adb (Scan_SFN_Pragmas): Improve handling of comments.
+
+2022-11-21  Ronan Desplanques  <desplanques@adacore.com>
+
+	* par-ch3.adb (P_Declarative_Item): Tweak handling of with keyword.
+
 2022-11-14  Boris Yakobowski  <yakobowski@adacore.com>
 
 	* sem_case.adb: silence false positive warning emitted by CodePeer
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 684653d7f5c..bc92a132b7b 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,27 @@
+2022-11-22  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/107788
+	* region-model.cc (region_model::update_for_int_cst_return):
+	Require that the return type be an integer type.
+	(region_model::update_for_nonzero_return): Likewise.
+
+2022-11-22  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/107783
+	* region-model-impl-calls.cc (kf_accept::matches_call_types_p):
+	Require that args 1 and 2 be pointers.
+	(kf_bind::matches_call_types_p): Require that arg 1 be a pointer.
+	* region-model.h (call_details::arg_is_pointer_p): New
+
+2022-11-22  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/107777
+	* call-summary.cc
+	(call_summary_replay::convert_region_from_summary_1): Handle
+	RK_THREAD_LOCAL and RK_ERRNO in switch.
+	* region-model.cc (region_model::get_representative_path_var_1):
+	Likewise.
+
 2022-11-19  David Malcolm  <dmalcolm@redhat.com>
 
 	PR analyzer/107582
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 13ef929ae3f..476f4b03032 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,87 @@
+2022-11-22  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/107788
+	* g++.dg/analyzer/fd-bind-pr107783.C: New test.
+
+2022-11-22  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/107783
+	* gcc.dg/analyzer/fd-bind-pr107783.c: New test.
+
+2022-11-22  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/107777
+	* gcc.dg/analyzer/call-summaries-errno.c: New test.
+	* gcc.dg/analyzer/errno-pr107777.c: New test.
+
+2022-11-22  David Malcolm  <dmalcolm@redhat.com>
+
+	* gcc.dg/analyzer/CWE-131-examples.c: New test.
+	* gcc.dg/analyzer/file-CWE-1341-example.c: New test.
+	* gcc.dg/analyzer/malloc-CWE-401-example.c: New test.
+	* gcc.dg/analyzer/malloc-CWE-415-examples.c: New test.
+	* gcc.dg/analyzer/malloc-CWE-416-examples.c: New test.
+	* gcc.dg/analyzer/malloc-CWE-590-examples.c: New test.
+
+2022-11-21  Lewis Hyatt  <lhyatt@gmail.com>
+
+	* c-c++-common/gomp/pragma-omp-unknown.c: New test.
+
+2022-11-21  Dimitar Dimitrov  <dimitar@dinux.eu>
+
+	* gcc.dg/analyzer/fd-accept.c: Require sockets.
+	* gcc.dg/analyzer/fd-bind.c: Ditto.
+	* gcc.dg/analyzer/fd-connect.c: Ditto.
+	* gcc.dg/analyzer/fd-datagram-socket.c: Ditto.
+	* gcc.dg/analyzer/fd-glibc-byte-stream-connection-server.c:
+	Ditto.
+	* gcc.dg/analyzer/fd-glibc-byte-stream-socket.c: Ditto.
+	* gcc.dg/analyzer/fd-glibc-datagram-client.c: Ditto.
+	* gcc.dg/analyzer/fd-glibc-datagram-socket.c: Ditto.
+	* gcc.dg/analyzer/fd-listen.c: Ditto.
+	* gcc.dg/analyzer/fd-manpage-getaddrinfo-client.c: Ditto.
+	* gcc.dg/analyzer/fd-mappage-getaddrinfo-server.c: Ditto.
+	* gcc.dg/analyzer/fd-socket-meaning.c: Ditto.
+	* gcc.dg/analyzer/fd-socket-misuse.c: Ditto.
+	* gcc.dg/analyzer/fd-stream-socket-active-open.c: Ditto.
+	* gcc.dg/analyzer/fd-stream-socket-passive-open.c: Ditto.
+	* gcc.dg/analyzer/fd-stream-socket.c: Ditto.
+	* gcc.dg/analyzer/fd-symbolic-socket.c: Ditto.
+	* lib/target-supports.exp (check_effective_target_sockets): New
+	check.
+
+2022-11-21  Andrew Carlotti  <andrew.carlotti@arm.com>
+
+	* gcc.dg/pr77975.c: Make tests more robust.
+
+2022-11-21  Andrew Carlotti  <andrew.carlotti@arm.com>
+
+	* gcc.dg/tree-ssa/popcount-max.c: New test.
+
+2022-11-21  Torbjörn SVENSSON  <torbjorn.svensson@foss.st.com>
+	    Yvan ROUX  <yvan.roux@foss.st.com>
+
+	* g++.dg/modules/pr99023_b.X: Match Windows paths too.
+
+2022-11-21  Philipp Tomsich  <philipp.tomsich@vrull.eu>
+
+	* gcc.target/riscv/pr107786-2.c: New test.
+	* gcc.target/riscv/pr107786.c: New test.
+
+2022-11-21  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gnat.dg/machine_attr2.ads, gnat.dg/machine_attr2.adb: New test.
+
+2022-11-21  Andrew Pinski  <apinski@marvell.com>
+
+	* gcc.dg/redecl-23.c: New test.
+	* gcc.dg/redecl-24.c: New test.
+	* gcc.dg/redecl-25.c: New test.
+
+2022-11-21  liuhongt  <hongtao.liu@intel.com>
+
+	* gcc.target/i386/avxneconvert-1.c: New test.
+
 2022-11-20  Jakub Jelinek  <jakub@redhat.com>
 
 	PR target/107183
diff --git a/libcpp/ChangeLog b/libcpp/ChangeLog
index 9236b440703..a2db376314f 100644
--- a/libcpp/ChangeLog
+++ b/libcpp/ChangeLog
@@ -1,3 +1,16 @@
+2022-11-21  Lewis Hyatt  <lhyatt@gmail.com>
+
+	* directives.cc (do_pragma): Fix memory leak in token buffer.  Fix
+	unwanted paste between two tokens.
+
+2022-11-21  Torbjörn SVENSSON  <torbjorn.svensson@foss.st.com>
+
+	* files.cc: Ensure pattern matches before use.
+
+2022-11-21  Martin Liska  <mliska@suse.cz>
+
+	* config.in: Re-configure.
+
 2022-11-19  Bernhard Reutner-Fischer  <aldot@gcc.gnu.org>
 
 	PR preprocessor/107691
diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog
index d8e849ccbba..490f093dbce 100644
--- a/libgomp/ChangeLog
+++ b/libgomp/ChangeLog
@@ -1,3 +1,12 @@
+2022-11-21  Tobias Burnus  <tobias@codesourcery.com>
+
+	* config/gcn/libgomp-gcn.h (struct output):
+	Remove 'msg_u64' from the union, change
+	value_u64[2] to value_u64[6].
+	* config/gcn/target.c (GOMP_target_ext): Update accordingly.
+	* plugin/plugin-gcn.c (process_reverse_offload, console_output):
+	Likewise.
+
 2022-11-19  Tobias Burnus  <tobias@codesourcery.com>
 
 	* config/gcn/libgomp-gcn.h: New file; contains
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 98dbad742f1..7a0a6f3dbdc 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,24 @@
+2022-11-21  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/std/functional (_Bind_front0): New class template.
+	(_Bind_front_t): Use _Bind_front0 when there are no bound
+	arguments.
+	* testsuite/20_util/function_objects/bind_front/107784.cc:
+	New test.
+
+2022-11-21  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/bits/chrono.h (duration): Check preconditions on
+	template arguments before using them.
+
+2022-11-21  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/std/tuple: Add better Doxygen comments.
+
+2022-11-21  Martin Liska  <mliska@suse.cz>
+
+	* src/experimental/Makefile.in: Re-configure.
+
 2022-11-20  François Dumont  <fdumont@gcc.gnu.org>
 
 	* include/std/format: Add std qualification on isxdigit calls.