From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2209) id 1B9DE3858D39; Wed, 8 Feb 2023 17:33:52 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 1B9DE3858D39 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sourceware.org; s=default; t=1675877632; bh=ETAxnj4N66LbyBzXCN/e3JJCMgluepueloEUEfl+FMQ=; h=To:Subject:Date:From:From; b=Fwtc5ZYa0S2FRmhUyY7fKxedXqrx+uNj9KOwfTC5ziYcDeo7efjKB+rLklXOgR6AU nxmhUzYWxwJUcimx8uVhCyTVq5iW0Pyr1sX6/mQAVIEmc5C484Stnv9efnoch1iA9K 5z45UZbCru8iwloCT7cuzqV4CyeS6cOiVd9VFdrk= To: gcc-cvs-wwwdocs@gcc.gnu.org Subject: gcc-wwwdocs branch master updated. 98c77c7cd4fc3f1bb1e77e260640cbbe5fd45b46 X-Git-Refname: refs/heads/master X-Git-Reftype: branch X-Git-Oldrev: 34f047589d76fa0e90821068b8a65edd5161b901 X-Git-Newrev: 98c77c7cd4fc3f1bb1e77e260640cbbe5fd45b46 Message-Id: <20230208173352.1B9DE3858D39@sourceware.org> Date: Wed, 8 Feb 2023 17:33:52 +0000 (GMT) From: David Malcolm List-Id: This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "gcc-wwwdocs". The branch, master has been updated via 98c77c7cd4fc3f1bb1e77e260640cbbe5fd45b46 (commit) via 5303f34e2ad6bac39f36ecaed0998e85be7303e3 (commit) via 57dc15273a3e2eb278813d1afd5e717c921ebf26 (commit) via a1f24cfb3e594b326cddce922bee3ba2da15212b (commit) from 34f047589d76fa0e90821068b8a65edd5161b901 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 98c77c7cd4fc3f1bb1e77e260640cbbe5fd45b46 Author: David Malcolm Date: Wed Feb 8 12:32:48 2023 -0500 gcc-13: add analyzer improvements Signed-off-by: David Malcolm diff --git a/htdocs/gcc-13/changes.html b/htdocs/gcc-13/changes.html index d70ac1de..5dbcc229 100644 --- a/htdocs/gcc-13/changes.html +++ b/htdocs/gcc-13/changes.html @@ -50,6 +50,9 @@ a work-in-progress.

bounds accesses to trailing struct members of one-element array type anymore. Instead it diagnoses accesses to trailing arrays according to -fstrict-flex-arrays. +
  • -fanalyzer + is still only suitable for analyzing C code. + In particular, using it on C++ is unlikely to give meaningful output. @@ -163,6 +166,16 @@ a work-in-progress.

    (PR90885)
    • +
  • Three new function attributes for documenting int arguments that are file descriptors: + + These are used by + -fanalyzer + to detect misuses of file descriptors. +

    • C

    @@ -479,6 +492,51 @@ a work-in-progress.

    +

    Improvements to Static Analyzer

    + +

    Improvements for plugin authors

    commit 5303f34e2ad6bac39f36ecaed0998e85be7303e3 Author: David Malcolm Date: Wed Feb 8 12:32:48 2023 -0500 gcc-13: add -Wxor-used-as-pow Signed-off-by: David Malcolm diff --git a/htdocs/gcc-13/changes.html b/htdocs/gcc-13/changes.html index 8c0201f2..d70ac1de 100644 --- a/htdocs/gcc-13/changes.html +++ b/htdocs/gcc-13/changes.html @@ -153,7 +153,17 @@ a work-in-progress.

    - +

    C family

    +
      +
    • New warnings: +
        +
      • -Wxor-used-as-pow + warns about uses of ^, the exclusive or operator, + where it appears the user meant exponentiation + (PR90885)
        • +
      +
      • +

    C

      commit 57dc15273a3e2eb278813d1afd5e717c921ebf26 Author: David Malcolm Date: Wed Feb 8 12:32:48 2023 -0500 gcc-13: add SARIF and other diagnostics improvements Signed-off-by: David Malcolm diff --git a/htdocs/gcc-13/changes.html b/htdocs/gcc-13/changes.html index a48ac220..8c0201f2 100644 --- a/htdocs/gcc-13/changes.html +++ b/htdocs/gcc-13/changes.html @@ -128,6 +128,23 @@ a work-in-progress.

      will no longer add startup code to alter the floating-point environment when producing a shared object with -shared. +
    • + GCC can now emit its diagnostics using SARIF. + This is a JSON-based format suited for capturing the results of static + analysis tools (like GCC's -fanalyzer), + but it can also be used to capture other GCC warnings and errors in a + machine-readable format. + Specifically, the -fdiagnostics-format= + option has been extended to support these new values: +
        +
      • -fdiagnostics-format=sarif-stderr
        • +
      • -fdiagnostics-format=sarif-file
        • +
      • -fdiagnostics-format=json-stderr, a synonym for the + existing -fdiagnostics-format=json
        • +
      • -fdiagnostics-format=json-file
        • +
      + where the json-prefixed variants refer to GCC's own JSON diagnostic format. +
    @@ -453,7 +470,18 @@ a work-in-progress.

    - +

    Improvements for plugin authors

    + +
      +
    • GCC diagnostics can now be + associated with rules + such as from coding standards documents, or specifications. + Such rules have a code name and can have a URL, which GCC can print + in text form or capture in its + SARIF + output when emitting diagnostics. +
      • +

    Other significant improvements

    commit a1f24cfb3e594b326cddce922bee3ba2da15212b Author: David Malcolm Date: Wed Feb 8 12:32:48 2023 -0500 gcc-13: linkify some options Signed-off-by: David Malcolm diff --git a/htdocs/gcc-13/changes.html b/htdocs/gcc-13/changes.html index 9ecd115c..a48ac220 100644 --- a/htdocs/gcc-13/changes.html +++ b/htdocs/gcc-13/changes.html @@ -45,7 +45,8 @@ a work-in-progress.

    supported, either.)
  • Legacy debug info compression option -gz=zlib-gnu was removed and the option is ignored right now.
    • -
  • -Warray-bounds=2 will no longer issue warnings for out of +
  • -Warray-bounds=2 + will no longer issue warnings for out of bounds accesses to trailing struct members of one-element array type anymore. Instead it diagnoses accesses to trailing arrays according to -fstrict-flex-arrays.
    • @@ -169,7 +170,7 @@ a work-in-progress.

  • Removal of trigraphs
  • Removal of unprototyped functions
  • printf and scanf format checking - with -Wformat for %wN + with -Wformat for %wN and %wfN format length modifiers
  • N2836, Identifier Syntax using Unicode Standard Annex 31
    • @@ -180,8 +181,8 @@ a work-in-progress.

    with -std=c2x -Wpedantic.
  • New warnings:
      -
    • -Wenum-int-mismatch warns about mismatches between an - enumerated type and an integer type +
    • -Wenum-int-mismatch + warns about mismatches between an enumerated type and an integer type (PR105131)
    • @@ -232,16 +233,18 @@ a work-in-progress.

  • New warnings:
      -
    • -Wself-move warns when a value is moved to itself with - std::move - (PR81159)
      • -
    • -Wdangling-reference warns when a reference is bound to - a temporary whose lifetime has ended +
    • -Wself-move + warns when a value is moved to itself with std::move + (PR81159)
      • +
    • -Wdangling-reference + warns when a reference is bound to a temporary whose lifetime + has ended (PR106393)
    • -
  • The -Wpessimizing-move and -Wredundant-move - warnings have been extended to warn in more contexts.
    • +
  • The -Wpessimizing-move + and -Wredundant-move + warnings have been extended to warn in more contexts.

    • Runtime Library (libstdc++)

    @@ -463,8 +466,8 @@ a work-in-progress.

    flexible array member for the purpose of accessing the elements of such an array. By default, all trailing arrays in aggregates are treated as flexible array members. Use the new command-line option - -fstrict-flex-arrays to control which array members are - treated as flexible arrays. + -fstrict-flex-arrays + to control which array members are treated as flexible arrays. ----------------------------------------------------------------------- Summary of changes: htdocs/gcc-13/changes.html | 129 +++++++++++++++++++++++++++++++++++++++------ 1 file changed, 114 insertions(+), 15 deletions(-) hooks/post-receive -- gcc-wwwdocs