From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <mirimnan017@gmail.com>
Received: from mail-pf1-x42c.google.com (mail-pf1-x42c.google.com
 [IPv6:2607:f8b0:4864:20::42c])
 by sourceware.org (Postfix) with ESMTPS id F1F0F3858C74
 for <gcc@gcc.gnu.org>; Tue, 21 Jun 2022 16:31:04 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org F1F0F3858C74
Received: by mail-pf1-x42c.google.com with SMTP id t21so7309045pfq.1
 for <gcc@gcc.gnu.org>; Tue, 21 Jun 2022 09:31:04 -0700 (PDT)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20210112;
 h=x-gm-message-state:mime-version:references:in-reply-to:from:date
 :message-id:subject:to;
 bh=KBzfhwagZQvxmcY8MpWUs4DgRGJEo9xQ0jBjWTEi+hA=;
 b=lvkkVOb7rtZl4UP0CVNUxUT2CS56Pv2VE1TxdOGw+uEIUMjNzCyptbwBI39H/OtZl+
 E1356Nzy69TGAgidaO+9SYoAu4eROCJlEitw3wJ51kD2TxaqGphCESaEjnjGSBIHTRHm
 10GFqnZhK0mZG+qLZ4Kn9KJxY454Se7+922FYc9y/LHrBR9zW5219llfz1ExU5NKWQae
 gSp34utaNNoB+OOyv5BdxodJl9YcWJemLnTZ3BaSwVmg/sVTdxqhUHBxeMuv7Uc5o0GE
 svvZqdxOj/RgoHGnNU90XCFMENKFp/MFAuXGeC/GKnZzKPl7TNp54rGZPjLOvoeOWOrS
 KlRw==
X-Gm-Message-State: AJIora+zSxWfUiTEif5OH3sGYzNXdRpqLu4qSQSE5RKhZ/DNG36nZxZL
 JeZy8dPsD+jsrJDqBXw1g7BdLGkdgX7xPDnnOkBBZltSrxI=
X-Google-Smtp-Source: AGRyM1sAhaXkAbzEW3QAz2Zlfp6rtZ1djiFjlqhP3rwlF3uiqb3WZw1Dq+AjM2DOR5PXXOZA7wah3vqk+JgAmrAdUKI=
X-Received: by 2002:a05:6a00:ad0:b0:4f7:a357:6899 with SMTP id
 c16-20020a056a000ad000b004f7a3576899mr30641661pfl.80.1655829063674; Tue, 21
 Jun 2022 09:31:03 -0700 (PDT)
MIME-Version: 1.0
References: <CAE1-7oz4Oi+p3+iKf+H0+OGEL+vfAHvT17fYM-0Vz-r0-f5R5Q@mail.gmail.com>
In-Reply-To: <CAE1-7oz4Oi+p3+iKf+H0+OGEL+vfAHvT17fYM-0Vz-r0-f5R5Q@mail.gmail.com>
From: Mir Immad <mirimnan017@gmail.com>
Date: Tue, 21 Jun 2022 22:00:52 +0530
Message-ID: <CAE1-7owbonq4uLfwrVEiTHvCnMzsFXC9WMOQsM9JcfrMJfa6tg@mail.gmail.com>
Subject: Re: [PATCH] static analysis support for posix file desccriptor APIs
To: gcc@gcc.gnu.org, David Malcolm <dmalcolm@redhat.com>
X-Spam-Status: No, score=-1.0 required=5.0 tests=BAYES_00, DKIM_SIGNED,
 DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, FREEMAIL_ENVFROM_END_DIGIT,
 FREEMAIL_FROM, HTML_MESSAGE, RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, SPF_PASS,
 TXREP, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
 server2.sourceware.org
Content-Type: text/plain; charset="UTF-8"
X-Content-Filtered-By: Mailman/MimeDel 2.1.29
X-BeenThere: gcc@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc mailing list <gcc.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc>,
 <mailto:gcc-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc/>
List-Post: <mailto:gcc@gcc.gnu.org>
List-Help: <mailto:gcc-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc>,
 <mailto:gcc-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Tue, 21 Jun 2022 16:31:06 -0000

 This is a patch for extending static analysis support for posix file
descriptor APIs which is a part of my GSoC project. I've written a few
testcases, which are all passing. There are a few TODOs like adding the
copyright header and adding docs to gcc/doc/invoke.texi.

I'm looking for suggestions for whether the names of warnings I have chosen
are appropriate, and configuring my vsocde editor to follow the GNU coding
conventions.

- Immad