[gcc r13-3948] Daily bump.

[gcc r13-3948] Daily bump.

[GCC Administrator]

https://gcc.gnu.org/g:eefbfbc7935806222ad634a44302b2b4c8781bd2

commit r13-3948-geefbfbc7935806222ad634a44302b2b4c8781bd2
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Mon Nov 14 00:17:08 2022 +0000

    Daily bump.

Diff:
---
 ChangeLog               | 11 +++++++++++
 gcc/ChangeLog           | 44 ++++++++++++++++++++++++++++++++++++++++++++
 gcc/DATESTAMP           |  2 +-
 gcc/analyzer/ChangeLog  | 26 ++++++++++++++++++++++++++
 gcc/fortran/ChangeLog   | 10 ++++++++++
 gcc/testsuite/ChangeLog | 41 +++++++++++++++++++++++++++++++++++++++++
 libgomp/ChangeLog       |  6 ++++++
 libiberty/ChangeLog     |  6 ++++++
 libitm/ChangeLog        |  6 ++++++
 libquadmath/ChangeLog   |  6 ++++++
 libstdc++-v3/ChangeLog  | 44 ++++++++++++++++++++++++++++++++++++++++++++
 11 files changed, 201 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index a57f8c7e071..6fedde8af2d 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,14 @@
+2022-11-13  Philipp Tomsich  <philipp.tomsich@vrull.eu>
+
+	* doc/contrib.rst: Update Jeff Law's email address.
+
+2022-11-13  Martin Liska  <mliska@suse.cz>
+
+	PR web/107643
+	* doc/baseconf.py: Set include_todo tag if INCLUDE_TODO env
+	is set.
+	* doc/indices-and-tables.rst: Use include_todo tag.
+
 2022-11-11  Martin Liska  <mliska@suse.cz>
 
 	* doc/indices-and-tables.rst: Rename Indexes to Indices.
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 96125c18e43..3b4d1399c32 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,47 @@
+2022-11-13  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/106235
+	* doc/gcc/gcc-command-options/option-summary.rst: Add
+	-Wno-analyzer-tainted-assertion.
+	* doc/gcc/gcc-command-options/options-that-control-static-analysis.rst:
+	Add -Wno-analyzer-tainted-assertion.
+
+2022-11-13  Philipp Tomsich  <philipp.tomsich@vrull.eu>
+
+	* config/riscv/bitmanip.md: New define_split.
+
+2022-11-13  Philipp Tomsich  <philipp.tomsich@vrull.eu>
+
+	* config/riscv/riscv.cc (riscv_rtx_costs): Recognize shNadd,
+	if expressed as a plus and multiplication with a power-of-2.
+	Split costing for MINUS from PLUS.
+
+2022-11-13  Martin Liska  <mliska@suse.cz>
+
+	PR other/107620
+	* configure: Regenerate.
+	* configure.ac: Always set sphinx-build.
+
+2022-11-13  Joseph Myers  <joseph@codesourcery.com>
+
+	* ginclude/float.h [__STDC_VERSION__ > 201710L]
+	(__STDC_VERSION_FLOAT_H__): New macro.
+	* ginclude/stdarg.h [__STDC_VERSION__ > 201710L]
+	(__STDC_VERSION_STDARG_H__): New macro.
+	* ginclude/stdatomic.h [__STDC_VERSION__ > 201710L]
+	(__STDC_VERSION_STDATOMIC_H__): New macro.
+	* ginclude/stddef.h [__STDC_VERSION__ > 201710L]
+	(__STDC_VERSION_STDDEF_H__): New macro.
+	* ginclude/stdint-gcc.h [__STDC_VERSION__ > 201710L]
+	(__STDC_VERSION_STDINT_H__): New macro.
+	* glimits.h [__STDC_VERSION__ > 201710L]
+	(__STDC_VERSION_LIMITS_H__): New macro.
+
+2022-11-13  Jonathan Wakely  <jwakely@redhat.com>
+
+	* doc/install/testing.rst: Remove anachronism about separate
+	source tarballs.
+
 2022-11-12  Joseph Myers  <joseph@codesourcery.com>
 
 	* dfp.cc (decimal_from_binary): Convert a canonical NaN to a
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index f9634730802..9da330f584e 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20221113
+20221114
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 39dbe829b64..9b0d3c257a5 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,29 @@
+2022-11-13  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/106235
+	* analyzer.opt (Wanalyzer-tainted-assertion): New.
+	* checker-path.cc (checker_path::fixup_locations): Pass false to
+	pending_diagnostic::fixup_location.
+	* diagnostic-manager.cc (get_emission_location): Pass true to
+	pending_diagnostic::fixup_location.
+	* pending-diagnostic.cc (pending_diagnostic::fixup_location): Add
+	bool param.
+	* pending-diagnostic.h (pending_diagnostic::fixup_location): Add
+	bool param to decl.
+	* sm-taint.cc (taint_state_machine::m_tainted_control_flow): New.
+	(taint_diagnostic::describe_state_change): Drop "final".
+	(class tainted_assertion): New.
+	(taint_state_machine::taint_state_machine): Initialize
+	m_tainted_control_flow.
+	(taint_state_machine::alt_get_inherited_state): Support
+	comparisons being tainted, based on their arguments.
+	(is_assertion_failure_handler_p): New.
+	(taint_state_machine::on_stmt): Complain about calls to assertion
+	failure handlers guarded by an attacker-controller conditional.
+	Detect attacker-controlled gcond conditionals and gswitch index
+	values.
+	(taint_state_machine::check_control_flow_arg_for_taint): New.
+
 2022-11-11  David Malcolm  <dmalcolm@redhat.com>
 
 	* sm-fd.dot: Fix typo in comment.
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 73cdb00da69..3aa7b925808 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,13 @@
+2022-11-13  José Rui Faustino de Sousa  <jrfsousa@gmail.com>
+
+	PR fortran/94104
+	* interface.cc (gfc_compare_actual_formal): Improve error message
+	dependent on Fortran standard level.
+
+2021-11-06  Bernhard Reutner-Fischer  <aldot@gcc.gnu.org>
+
+	* gfortran.h (gfc_check_include): Remove declaration.
+
 2022-11-12  Harald Anlauf  <anlauf@gmx.de>
 
 	PR fortran/107444
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index a3178e59080..56e479d6803 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,44 @@
+2022-11-13  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/106235
+	* gcc.dg/analyzer/taint-assert-BUG_ON.c: New test.
+	* gcc.dg/analyzer/taint-assert-macro-expansion.c: New test.
+	* gcc.dg/analyzer/taint-assert.c: New test.
+	* gcc.dg/analyzer/taint-assert-system-header.c: New test.
+	* gcc.dg/analyzer/test-assert.h: New header.
+	* gcc.dg/plugin/analyzer_gil_plugin.c
+	(gil_diagnostic::fixup_location): Add bool param.
+
+2022-11-13  José Rui Faustino de Sousa  <jrfsousa@gmail.com>
+
+	PR fortran/94104
+	* gfortran.dg/parens_2.f90: Adjust to improved error message.
+	* gfortran.dg/PR94104a.f90: New test.
+	* gfortran.dg/PR94104b.f90: New test.
+
+2022-11-13  John David Anglin  <danglin@gcc.gnu.org>
+
+	* g++.dg/guality/guality.exp: Skip on hppa*-*-hpux*.
+	* gcc.dg/guality/guality.exp: Likewise.
+	* gfortran.dg/guality/guality.exp: Likewise.
+
+2022-11-13  Philipp Tomsich  <philipp.tomsich@vrull.eu>
+
+	* gcc.target/riscv/zbb-srai-andn.c: New test.
+
+2022-11-13  Philipp Tomsich  <philipp.tomsich@vrull.eu>
+
+	* gcc.target/riscv/zba-shNadd-07.c: New test.
+
+2022-11-13  Joseph Myers  <joseph@codesourcery.com>
+
+	* gcc.dg/c11-float-8.c, gcc.dg/c11-limits-1.c,
+	gcc.dg/c11-stdarg-4.c, gcc.dg/c11-stdatomic-3.c,
+	gcc.dg/c11-stddef-1.c, gcc.dg/c11-stdint-1.c,
+	gcc.dg/c2x-float-13.c, gcc.dg/c2x-limits-1.c,
+	gcc.dg/c2x-stdarg-5.c, gcc.dg/c2x-stdatomic-1.c,
+	gcc.dg/c2x-stddef-1.c, gcc.dg/c2x-stdint-1.c: New tests.
+
 2022-11-12  Harald Anlauf  <anlauf@gmx.de>
 
 	PR fortran/107444
diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog
index b69ca7590fd..2dff3b50b8c 100644
--- a/libgomp/ChangeLog
+++ b/libgomp/ChangeLog
@@ -1,3 +1,9 @@
+2022-11-13  Martin Liska  <mliska@suse.cz>
+
+	PR other/107620
+	* configure: Regenerate.
+	* configure.ac: Always set sphinx-build.
+
 2022-11-12  Jakub Jelinek  <jakub@redhat.com>
 
 	PR libgomp/107641
diff --git a/libiberty/ChangeLog b/libiberty/ChangeLog
index 81f28e4ce3c..c3a6afbcee5 100644
--- a/libiberty/ChangeLog
+++ b/libiberty/ChangeLog
@@ -1,3 +1,9 @@
+2022-11-13  Martin Liska  <mliska@suse.cz>
+
+	PR other/107620
+	* configure: Regenerate.
+	* configure.ac: Always set sphinx-build.
+
 2022-11-10  Martin Liska  <mliska@suse.cz>
 
 	* doc/conf.py: Add newline at last line.
diff --git a/libitm/ChangeLog b/libitm/ChangeLog
index 1c381140c11..077d3ca2ebf 100644
--- a/libitm/ChangeLog
+++ b/libitm/ChangeLog
@@ -1,3 +1,9 @@
+2022-11-13  Martin Liska  <mliska@suse.cz>
+
+	PR other/107620
+	* configure: Regenerate.
+	* configure.ac: Always set sphinx-build.
+
 2022-11-10  Martin Liska  <mliska@suse.cz>
 
 	* doc/conf.py: Add newline at last line.
diff --git a/libquadmath/ChangeLog b/libquadmath/ChangeLog
index 25cf7101ee8..60be967055b 100644
--- a/libquadmath/ChangeLog
+++ b/libquadmath/ChangeLog
@@ -1,3 +1,9 @@
+2022-11-13  Martin Liska  <mliska@suse.cz>
+
+	PR other/107620
+	* configure: Regenerate.
+	* configure.ac: Always set sphinx-build.
+
 2022-11-10  Martin Liska  <mliska@suse.cz>
 
 	* doc/conf.py: Add newline at last line.
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 85ff5c9a1d8..159e6f34509 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,47 @@
+2022-11-13  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/std/chrono (utc_clock, tai_clock, gps_clock): Define.
+	(clock_time_conversion, clock_cast): Define.
+	(sys_info, local_info): Define structs for timezone information.
+	(nonexistent_local_time, ambiguous_local_time): Define
+	exceptions for invalid times.
+	(time_zone, time_zone_link, leap_second, zoned_traits, tzdb)
+	(tzdb_list): Define classes representing time zones.
+	(get_leap_second_info): Define new function returning leap
+	second offset for a given time point.
+	* testsuite/std/time/clock/gps/1.cc: New test.
+	* testsuite/std/time/clock/tai/1.cc: New test.
+	* testsuite/std/time/clock/utc/1.cc: New test.
+
+2022-11-13  Jonathan Wakely  <jwakely@redhat.com>
+
+	PR libstdc++/104166
+	* include/Makefile.am (std_headers): Add <format>.
+	* include/Makefile.in: Regenerate.
+	* include/precompiled/stdc++.h: Add <format>.
+	* include/std/format: New file.
+	* python/libstdcxx/v6/printers.py (StdFormatArgsPrinter): New
+	printer for std::format_args.
+	* testsuite/std/format/arguments/args.cc: New test.
+	* testsuite/std/format/error.cc: New test.
+	* testsuite/std/format/formatter.cc: New test.
+	* testsuite/std/format/functions/format.cc: New test.
+	* testsuite/std/format/functions/format_to_n.cc: New test.
+	* testsuite/std/format/functions/size.cc: New test.
+	* testsuite/std/format/functions/vformat_to.cc: New test.
+	* testsuite/std/format/parse_ctx.cc: New test.
+	* testsuite/std/format/string.cc: New test.
+	* testsuite/std/format/string_neg.cc: New test.
+
+2022-11-13  Jonathan Wakely  <jwakely@redhat.com>
+
+	* include/bits/charconv.h (__integer_to_chars_is_unsigned):
+	New variable template.
+	(__to_chars_len, __to_chars_10_impl): Use variable template in
+	assertions to allow unsigned __int128 in strict mode.
+	* include/std/charconv (__to_chars, __to_chars_16)
+	(__to_chars_10, __to_chars_8, __to_chars_2): Likewise.
+
 2022-11-12  Jakub Jelinek  <jakub@redhat.com>
 
 	PR libstdc++/107636