Commit: eefbfbc7935806222ad634a44302b2b4c8781bd2 - gcc (git)

Commit MetaInfo

• Revisión: eefbfbc7935806222ad634a44302b2b4c8781bd2 (tree)
• Tiempo: 2022-11-14 09:17:08
• Autor: GCC Administrator <gccadmin@gcc....>
• Commiter: GCC Administrator

Log Message

Daily bump.

Cambiar Resumen

• modified: ChangeLog
• modified: gcc/ChangeLog
• modified: gcc/DATESTAMP
• modified: gcc/analyzer/ChangeLog
• modified: gcc/fortran/ChangeLog
• modified: gcc/testsuite/ChangeLog
• modified: libgomp/ChangeLog
• modified: libiberty/ChangeLog
• modified: libitm/ChangeLog
• modified: libquadmath/ChangeLog
• modified: libstdc++-v3/ChangeLog

Diferencia incremental

--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,14 @@
[phone]  Philipp Tomsich  <[e-mail]>
+
+	* doc/contrib.rst: Update Jeff Law's email address.
+
[phone]  Martin Liska  <[e-mail]>
+
+	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  <[e-mail]>
 
 	* doc/indices-and-tables.rst: Rename Indexes to Indices.

--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,47 @@
[phone]  David Malcolm  <[e-mail]>
+
+	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.
+
[phone]  Philipp Tomsich  <[e-mail]>
+
+	* config/riscv/bitmanip.md: New define_split.
+
[phone]  Philipp Tomsich  <[e-mail]>
+
+	* 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.
+
[phone]  Martin Liska  <[e-mail]>
+
+	PR other/107620
+	* configure: Regenerate.
+	* configure.ac: Always set sphinx-build.
+
[phone]  Joseph Myers  <[e-mail]>
+
+	* 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.
+
[phone]  Jonathan Wakely  <[e-mail]>
+
+	* doc/install/testing.rst: Remove anachronism about separate
+	source tarballs.
+
 2022-11-12  Joseph Myers  <[e-mail]>
 
 	* dfp.cc (decimal_from_binary): Convert a canonical NaN to a

--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20221113
[phone]

--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,29 @@
[phone]  David Malcolm  <[e-mail]>
+
+	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  <[e-mail]>
 
 	* sm-fd.dot: Fix typo in comment.

--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,13 @@
[phone]  José Rui Faustino de Sousa  <[e-mail]>
+
+	PR fortran/94104
+	* interface.cc (gfc_compare_actual_formal): Improve error message
+	dependent on Fortran standard level.
+
[phone]  Bernhard Reutner-Fischer  <[e-mail]>
+
+	* gfortran.h (gfc_check_include): Remove declaration.
+
 2022-11-12  Harald Anlauf  <[e-mail]>
 
 	PR fortran/107444

--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,44 @@
[phone]  David Malcolm  <[e-mail]>
+
+	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.
+
[phone]  José Rui Faustino de Sousa  <[e-mail]>
+
+	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.
+
[phone]  John David Anglin  <[e-mail]>
+
+	* g++.dg/guality/guality.exp: Skip on hppa*-*-hpux*.
+	* gcc.dg/guality/guality.exp: Likewise.
+	* gfortran.dg/guality/guality.exp: Likewise.
+
[phone]  Philipp Tomsich  <[e-mail]>
+
+	* gcc.target/riscv/zbb-srai-andn.c: New test.
+
[phone]  Philipp Tomsich  <[e-mail]>
+
+	* gcc.target/riscv/zba-shNadd-07.c: New test.
+
[phone]  Joseph Myers  <[e-mail]>
+
+	* 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  <[e-mail]>
 
 	PR fortran/107444

--- a/libgomp/ChangeLog
+++ b/libgomp/ChangeLog
@@ -1,3 +1,9 @@
[phone]  Martin Liska  <[e-mail]>
+
+	PR other/107620
+	* configure: Regenerate.
+	* configure.ac: Always set sphinx-build.
+
 2022-11-12  Jakub Jelinek  <[e-mail]>
 
 	PR libgomp/107641

--- a/libiberty/ChangeLog
+++ b/libiberty/ChangeLog
@@ -1,3 +1,9 @@
[phone]  Martin Liska  <[e-mail]>
+
+	PR other/107620
+	* configure: Regenerate.
+	* configure.ac: Always set sphinx-build.
+
 2022-11-10  Martin Liska  <[e-mail]>
 
 	* doc/conf.py: Add newline at last line.

--- a/libitm/ChangeLog
+++ b/libitm/ChangeLog
@@ -1,3 +1,9 @@
[phone]  Martin Liska  <[e-mail]>
+
+	PR other/107620
+	* configure: Regenerate.
+	* configure.ac: Always set sphinx-build.
+
 2022-11-10  Martin Liska  <[e-mail]>
 
 	* doc/conf.py: Add newline at last line.

--- a/libquadmath/ChangeLog
+++ b/libquadmath/ChangeLog
@@ -1,3 +1,9 @@
[phone]  Martin Liska  <[e-mail]>
+
+	PR other/107620
+	* configure: Regenerate.
+	* configure.ac: Always set sphinx-build.
+
 2022-11-10  Martin Liska  <[e-mail]>
 
 	* doc/conf.py: Add newline at last line.

--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,47 @@
[phone]  Jonathan Wakely  <[e-mail]>
+
+	* 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.
+
[phone]  Jonathan Wakely  <[e-mail]>
+
+	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.
+
[phone]  Jonathan Wakely  <[e-mail]>
+
+	* 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  <[e-mail]>
 
 	PR libstdc++/107636