From patchwork Wed Feb 8 17:37:11 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: David Malcolm X-Patchwork-Id: 54545 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:adf:eb09:0:0:0:0:0 with SMTP id s9csp3590070wrn; Wed, 8 Feb 2023 09:38:37 -0800 (PST) X-Google-Smtp-Source: AK7set8rOUTEuYdjgpBNp+Xn9l/46eRjd12RA+EhLCQWQYP7DjgNyLRbfE1SVkDoujOPR5B+Nob8 X-Received: by 2002:a50:d0d8:0:b0:4a2:2e8a:14c0 with SMTP id g24-20020a50d0d8000000b004a22e8a14c0mr9561793edf.9.1675877917038; Wed, 08 Feb 2023 09:38:37 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1675877917; cv=none; d=google.com; s=arc-20160816; b=kIympACTVk52Pzdo1YA/0C+AaiwknOlJAVlqZbuVxof8J45vw6fgQsK1twFKWBMCP3 taWft4yV+1UvHAuCqjahKQcDA3i61egR2j6HxKpGpdaX9MtHtgTqBcMBTTHbteA+YhHn NZ9yNzzPkOFINCtRjD+hj8wzC+prJ8+FRYerYXCO/J65Xz3ZpEHiAeicYGPV2aRM/JfJ GMMFRleABloJ9ir7GG8ZaE5rzzOXwfFFMN2Dwh6nQl/H8iYxt1IsRI3ZGjC3pfaGUp2L eSbh9LDUOsfK00XsKH+hO2wNUrCNjz1ntKVyAkUPGsBCPS2QMbn7EjfL1PJEqBdchUyl vg3Q== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=sender:errors-to:reply-to:from:list-subscribe:list-help:list-post :list-archive:list-unsubscribe:list-id:precedence :content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:dmarc-filter:delivered-to :dkim-signature:dkim-filter; bh=l1kYk57E9z5BDu0CSWk3774o7dOBSt/f0LPrAKaAHQ4=; b=QVvne125Yc7gnX64YxYavBKhDkBwMzHtRv/kGwCUnklGHA8XskYGb4RQICyNmmqvL7 CfFqxLmOaTQ9iM+G6phq7wXXZNOiSomouhLPaPENMy4aGoadjIFjoDb26dQXZZYqR2SP 4FpPHmyjAptN5XkWhJdmATqGyfpgu8IuJA0pZmkad2+UYGvNBzG74YXnUikoXCAsH3nC /3MiZG6MX+5eBjauL4kLsynxcOVuEmoQ0zU0+Yc/HYLWql3tt0bt1Ets7PQSa7vv1l6G V6Iz5PVOBl/4v5cV+PneD4tb/LVyhFC5rp1pDOTieNM5JDbIvo4C4098gvUnSMz/+5bj wihA== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gcc.gnu.org header.s=default header.b=Okur+mzs; spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gnu.org Received: from sourceware.org (ip-8-43-85-97.sourceware.org. [8.43.85.97]) by mx.google.com with ESMTPS id en24-20020a056402529800b004a22d79dce1si21081050edb.329.2023.02.08.09.38.36 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 08 Feb 2023 09:38:37 -0800 (PST) Received-SPF: pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) client-ip=8.43.85.97; Authentication-Results: mx.google.com; dkim=pass header.i=@gcc.gnu.org header.s=default header.b=Okur+mzs; spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gnu.org Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id A95D338582B0 for ; Wed, 8 Feb 2023 17:38:06 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org A95D338582B0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1675877886; bh=l1kYk57E9z5BDu0CSWk3774o7dOBSt/f0LPrAKaAHQ4=; h=To:Cc:Subject:Date:In-Reply-To:References:List-Id: List-Unsubscribe:List-Archive:List-Post:List-Help:List-Subscribe: From:Reply-To:From; b=Okur+mzshQg6y9uhWkO9FqRSYqCaucPR+PaXjrcSNCbSNeCiE3HT3z2THwzxbTMbt AkvmhRPxpK6CrkazQXhlzrxwXAG+RkWGZy5juPWhwNea/cuaJWNnwCgL51HmN4Jf3e fhIOjBRKv3lidDilkKBn17cC70SrqMPNhnpJ60kc= X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.133.124]) by sourceware.org (Postfix) with ESMTPS id E3B2D385842D for ; Wed, 8 Feb 2023 17:37:19 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org E3B2D385842D Received: from mimecast-mx02.redhat.com (mimecast-mx02.redhat.com [66.187.233.88]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id us-mta-154-y5P60qbOPKObDYsw6heVmA-1; Wed, 08 Feb 2023 12:37:18 -0500 X-MC-Unique: y5P60qbOPKObDYsw6heVmA-1 Received: from smtp.corp.redhat.com (int-mx09.intmail.prod.int.rdu2.redhat.com [10.11.54.9]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by mimecast-mx02.redhat.com (Postfix) with ESMTPS id 5848C1C3A06B for ; Wed, 8 Feb 2023 17:37:18 +0000 (UTC) Received: from t14s.localdomain.com (unknown [10.2.16.227]) by smtp.corp.redhat.com (Postfix) with ESMTP id 31627492C3F; Wed, 8 Feb 2023 17:37:18 +0000 (UTC) To: gcc-patches@gcc.gnu.org Cc: David Malcolm Subject: [pushed, wwwdocs] gcc-13: add analyzer improvements Date: Wed, 8 Feb 2023 12:37:11 -0500 Message-Id: <20230208173711.1278104-4-dmalcolm@redhat.com> In-Reply-To: <20230208173711.1278104-1-dmalcolm@redhat.com> References: <20230208173711.1278104-1-dmalcolm@redhat.com> MIME-Version: 1.0 X-Scanned-By: MIMEDefang 3.1 on 10.11.54.9 X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com X-Spam-Status: No, score=-11.5 required=5.0 tests=BAYES_00, DKIMWL_WL_HIGH, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, KAM_SHORT, RCVD_IN_DNSWL_NONE, RCVD_IN_MSPIKE_H2, SPF_HELO_NONE, SPF_NONE, TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-Patchwork-Original-From: David Malcolm via Gcc-patches From: David Malcolm Reply-To: David Malcolm Errors-To: gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org Sender: "Gcc-patches" X-getmail-retrieved-from-mailbox: =?utf-8?q?INBOX?= X-GMAIL-THRID: =?utf-8?q?1757285362625993834?= X-GMAIL-MSGID: =?utf-8?q?1757285362625993834?= --- htdocs/gcc-13/changes.html | 58 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 58 insertions(+) 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