From eefbfbc7935806222ad634a44302b2b4c8781bd2 Mon Sep 17 00:00:00 2001 From: GCC Administrator Date: Mon, 14 Nov 2022 00:17:08 +0000 Subject: Daily bump. --- gcc/ChangeLog | 44 ++++++++++++++++++++++++++++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/analyzer/ChangeLog | 26 ++++++++++++++++++++++++++ gcc/fortran/ChangeLog | 10 ++++++++++ gcc/testsuite/ChangeLog | 41 +++++++++++++++++++++++++++++++++++++++++ 5 files changed, 122 insertions(+), 1 deletion(-) (limited to 'gcc') diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 96125c1..3b4d139 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,47 @@ +2022-11-13 David Malcolm + + 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 + + * config/riscv/bitmanip.md: New define_split. + +2022-11-13 Philipp Tomsich + + * 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 + + PR other/107620 + * configure: Regenerate. + * configure.ac: Always set sphinx-build. + +2022-11-13 Joseph Myers + + * 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 + + * doc/install/testing.rst: Remove anachronism about separate + source tarballs. + 2022-11-12 Joseph Myers * dfp.cc (decimal_from_binary): Convert a canonical NaN to a diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index f963473..9da330f 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20221113 +20221114 diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 39dbe82..9b0d3c2 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,29 @@ +2022-11-13 David Malcolm + + 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 * sm-fd.dot: Fix typo in comment. diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 73cdb00..3aa7b92 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,13 @@ +2022-11-13 José Rui Faustino de Sousa + + PR fortran/94104 + * interface.cc (gfc_compare_actual_formal): Improve error message + dependent on Fortran standard level. + +2021-11-06 Bernhard Reutner-Fischer + + * gfortran.h (gfc_check_include): Remove declaration. + 2022-11-12 Harald Anlauf PR fortran/107444 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index a3178e5..56e479d 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,44 @@ +2022-11-13 David Malcolm + + 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 + + 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 + + * 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 + + * gcc.target/riscv/zbb-srai-andn.c: New test. + +2022-11-13 Philipp Tomsich + + * gcc.target/riscv/zba-shNadd-07.c: New test. + +2022-11-13 Joseph Myers + + * 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 PR fortran/107444 -- cgit v1.1