From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from NAM12-BN8-obe.outbound.protection.outlook.com (mail-bn8nam12olkn2042.outbound.protection.outlook.com [40.92.21.42]) by sourceware.org (Postfix) with ESMTPS id BD09D3858408 for ; Wed, 6 Jul 2022 14:26:21 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org BD09D3858408 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=jyO8xbCDP3VzzqpdLjkJ7abMGsSme8JvX/Yqg4ggR+LN0nAcRKe/IrrSyS45RaL8V9mBPZNKpxj6Mk6v62IBoWNJZVkoKomXbWgK6uG0l9ozvj/ppPYzRCiHNZWnHB9YJYygiOjfhewUfTRfo+gT9pp5Grw7FUWJSJa9Ps2JNFRFFhEoFGOVnfhN5l4YMBLVdKKUKsoJz/KSstw8OeXRt7+9ZWpZ/lwopd1PJnYIZAUpk4W03+xHEx/Ey/Fgom8Xq+9jalF76KezqBUsOu5u/Q+Y8N3IzX2Nq00SvC92w7E8xIYpbPmBbcJiwuUHIXC/pYU+/BaCBwYiSryEoFK92Q== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=SBYZKxsgc6G8cDniHFThNSNl2/YunTw0yWR0qNcWnRg=; b=jc54eUYw+xxcTuu1gU6xtHE5QbZkQ4P6ID40XcbAvIISWO/ALtSX9R5wqOdqPy1nGr2Q/JCeJ9LA/HWz1HtIV7I7m2fSC2b1E/BeXujXS/x6jdGeyIS5Xvaxy0p156oxfpyL9F3hRsNazni8jWz4MaEljqpJe3BMIG5u0iIUA25c8l6+89nMZgl+1Q/5i4r1dTwyP+QAwgeQzABpn2H6VCP9W6HFDtgxKUc3DdWglvSh+ruzrPpuK50M0DAozy2fYagxujMovzsKXzIdq5sxtSZ8Tzi5iGRP2mlYNWZPouEyOITU1z8d27QCtj4KPOeUO4YiCojFCvaRTkivmWuDHA== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=none; dmarc=none; dkim=none; arc=none Received: from CY4PR1801MB1910.namprd18.prod.outlook.com (2603:10b6:910:79::14) by DM4PR18MB5098.namprd18.prod.outlook.com (2603:10b6:8:41::17) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5395.21; Wed, 6 Jul 2022 14:26:20 +0000 Received: from CY4PR1801MB1910.namprd18.prod.outlook.com ([fe80::b99f:e237:735f:8806]) by CY4PR1801MB1910.namprd18.prod.outlook.com ([fe80::b99f:e237:735f:8806%6]) with mapi id 15.20.5395.021; Wed, 6 Jul 2022 14:26:20 +0000 From: Immad Mir To: gcc-patches@gcc.gnu.org Cc: dmalcolm@redhat.com, mirimnan017@gmail.com, Immad Mir Subject: [PATCH 3/3] analyzer: add a new testcase to demonstrate passsing of a file descriptor to a function that does not emit any warning Date: Wed, 6 Jul 2022 19:55:43 +0530 Message-ID: X-Mailer: git-send-email 2.25.1 In-Reply-To: <20220706142543.3790-1-mirimmad@outlook.com> References: <20220706142543.3790-1-mirimmad@outlook.com> Reply-To: mirimnan017@gmail.com Content-Transfer-Encoding: quoted-printable Content-Type: text/plain X-TMN: [90Vzu1oM9R6Ac/Ixywc38GSllf3cw6b+sf7Z98MWnlGeEmRYH7I4j/7rM8W7JRVB] X-ClientProxiedBy: BM1P287CA0006.INDP287.PROD.OUTLOOK.COM (2603:1096:b00:40::34) To CY4PR1801MB1910.namprd18.prod.outlook.com (2603:10b6:910:79::14) X-Microsoft-Original-Message-ID: <20220706142543.3790-3-mirimmad@outlook.com> MIME-Version: 1.0 X-MS-Exchange-MessageSentRepresentingType: 1 X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id: 8bee9b3d-a76d-4f8a-5fc9-08da5f5b7efb X-MS-Exchange-SLBlob-MailProps: vKxeIzzER/PJ+P2h8D2GJuQ3+u+q+BtTmug8GU7+oWvDQhPpwU3Y3n/1obNNWyi5vzoS2cdkY8vYwihH6g/Kjnl0EUYLeElxkCDck99pqBv2MPXvDWBhdg26vg8mfXXG4UYllgOpRkqoGpxtCl9vqzd/iid7SKMrS+ojJdatasFDIyFMKKITNfzihdV7Fz2mfuuCuePvFkcD8sUCd6bduB4AeXhzyIAFmjutwjuB/EyLI1vvPMbg0ZiVflXePqgvfXxhXSI5AXYK+BpVKhCIWC1FWM4jzEvdjci7SxlV92MESQZhhiNW+e5rLeZ/sVDntW/qnATkhJlJKeJ9DSxCFhuHkx6TnYE8YizTnVwWBCNK170wJ03BaktZbMSAjlFL9mJGTqKuOFwT8ZjsmfoVqPQdguFYWe3AFt89BCr3Z+bnLKwsrJBB651Zfi8AmoE9zoSRUIiCnSLIVLS4vL7/9Jbn+LeYt/KrVpgv4CHoKXdm5EkvYwddPQnEsLkVYhzAqmc/Oxrc0p0CcQuGzcyK5AS7ob4g9GhAc59B7Z4Y2gCNfYQzCUdCBSGbFTVtuytv8J3K5HloTSRJ7Cj0UgUl9b5qlp5D3Z/xrIIOHeahTdjBDG4XyfelNi7jXPaxd9377XGwtcAmev/iyZ/Dgv/xaJh4hxiZXVSlPoVHV03jGgV9RXmJkaeEKAXIpX1VSgj3Jodvb3ue0FTdXtESyO8vw8DbS/R/WMcQqH5zURhc/vaNv/XcZHa0gypEfTI9wjJr X-MS-TrafficTypeDiagnostic: DM4PR18MB5098:EE_ X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: F3Hq8oHs+hokifUDYtTJA9q3Xx3lsCK5JZIEFp4WyQxZHoy5N0hu0xnj2PbLM5Go9kHyjcA+41xfCuqdaPQjA2XY17W5il+FQGJei6svOWmdmtG06wRBFCNtQ1RZVn0Q+7Q11vylxj5Ryji15AbW22LmchERBxzc/+rFs4PEPZByIKMD0zxKKjKCzo7yRIoCawmJIxenDyIEosuUUpvBh9c5aBLwJRz2buJ1hG9XE/2idJh+Te0OVQxiWBUoYGEL7WuL4mPvRlkHb1CEwWzKiQNROeGzNX5Bz44W9vbuYI1FNLL1A2V0UQucVJAxYNPn9DvsTzG4WQb4jtif0FUjDV7FrZijnT8W4zGy5PDRdH1ePxlOCe1J9aD8BetPmVsX/bvB8S589qtMpaUI/sdz16KTqktyeRY3uIy9o32fZh52NW1FPZ7weyctXCmKWuEu9kVNL91LFZ00jFBdCZdvsMCpxX+teZwKnoGFYS9eeaHfwv3ezsF4KFDv5LWVEMcMvI1Nee/Tq26upwOzU8PX/L8u3dlFryuKAL09Ymibug7/bYEOZxmzD4++2RZbBsZvrIHb6GU/f1ibC8B4PAXQ17lajaZ0cbM2kfGaE/A8IR/5Bkcev5e1Y6BNmm8+riks X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?us-ascii?Q?AXGHm1fojPL24tzJd6fdFrC5KSlQIQ14xxr8pdxQMBxdmjcFLRxxKy9EBcNZ?= =?us-ascii?Q?zWRt1+GoEUMUziJhjoLU9fGl/0Q2xN1nCHFjDgBdZNDgO3VjPIx/jkKZgBTw?= =?us-ascii?Q?YfRXgOmGwvECF/aroOc8bwER8u3C/yvf6cI21qeWCPH+qaVcTV4YO2GTgu6y?= =?us-ascii?Q?0BMG/2jK6cZxtUtfn1OHTUmjz6LZIm+qVIT8oAc99CBfZbuPjKbQMGugAJ1f?= =?us-ascii?Q?eK7wqxhBHrnj03/mhFiHxEB1bjYR454A5hpCld6m6+oaP8BuF3H0i3FpUl6H?= =?us-ascii?Q?SSR4/XfUl+33tIuFjDm4GBtnN4yNp8d8Ub3D1IrB7hOcN48DfCdWK2aEudqc?= =?us-ascii?Q?xCcGV4umBSOrCN6ZU2+WF9/Ak6MNKOWIk3e/tVHNtZwOS8tvheqGYav++Mkd?= =?us-ascii?Q?BuYmG72jSlgrtT2mcFzNZGh8LsD3BthFrEubscmdIIOIbufTXrjpzqmN0D43?= =?us-ascii?Q?RQZ+K40VxCV+zXLReBp+s1qFzlioUTDxZOFMOdgdjHwMuFD7eKlj5KpiXNJs?= =?us-ascii?Q?bLhBCbRD5GMUZ4eXxQxztzi4Uk/o5oSumZk2zan1Ai8t77U4hUZ2k+AYTcq7?= =?us-ascii?Q?RB3kUsiBb8QC9zn/zM2+LIpg2aV+fOYhqrFgNCavOJD15iufcHro/t67UZNK?= =?us-ascii?Q?5HC3dqQMzPmmr6sFXPJTJaouBhaNr2q84akoseztWccHzRvSyQ1ifQ/CEghX?= =?us-ascii?Q?TnpWGY7FchabbjVn3JjUyuFLeUuHUu1steK8V/1+DQTFBggh7vTTZLdlSnbK?= =?us-ascii?Q?HlzG8gxHnhd2yxcLj+E7VHHiMoUbrt2m3D2028QeG4n8DGPeqy379jk+tpX1?= =?us-ascii?Q?bodcfblLDEQgwgm9tru3sCvXp/80LYANsfXkqXiOgJYBULKb+HK9QDz0nTWf?= =?us-ascii?Q?mj4Fn7uMVP1XFcR61v+F1emJPh9SofOEiEpBqByh5v6XdyIMGF+qDJbdemYy?= =?us-ascii?Q?L7tePOzSK16B9wyLqrI72p8nVd/9csGMRwNycZ/fx2j9+oOnwtYgjycwm/nE?= =?us-ascii?Q?kGTFRRs+WzHvKnw4zRVnd4uyF3sZ4sL9737BzUJRwLkNaWzSvgshfU+XiD8C?= =?us-ascii?Q?xdWsGEUCl3qJKiah+QDKNWHu685KXiUIZFhyBDTTi1JeDzCc8DRnZaLNIZss?= =?us-ascii?Q?46eGdQWBK4hwspS1kcysyhEJMFiq+Hz09jIXVLWLQL3mjMdgIe9TiKyHPsNM?= =?us-ascii?Q?lzjr44q/go7VFhVYFj7RK0ENdMJwAE7QzDbVP6rnv0zL22Np1wrrBv3kzmRF?= =?us-ascii?Q?nrJ1q9HzKk38b2FAYgjMeIl9uG7xjAmU+nN2VyN3pcwjhhEZDVNRfZT+5Haj?= =?us-ascii?Q?zD3WtBr/CreaxCuMQ2UMBgelDVNnuJwxxYZL78gIyVRCzg=3D=3D?= X-OriginatorOrg: outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: 8bee9b3d-a76d-4f8a-5fc9-08da5f5b7efb X-MS-Exchange-CrossTenant-AuthSource: CY4PR1801MB1910.namprd18.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 06 Jul 2022 14:26:20.8412 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 84df9e7f-e9f6-40af-b435-aaaaaaaaaaaa X-MS-Exchange-CrossTenant-RMS-PersistedConsumerOrg: 00000000-0000-0000-0000-000000000000 X-MS-Exchange-Transport-CrossTenantHeadersStamped: DM4PR18MB5098 X-Spam-Status: No, score=-11.6 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, FREEMAIL_FROM, FREEMAIL_REPLYTO, FREEMAIL_REPLYTO_END_DIGIT, GIT_PATCH_0, RCVD_IN_DNSWL_NONE, SPF_HELO_PASS, 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 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-List-Received-Date: Wed, 06 Jul 2022 14:26:23 -0000 gcc/testsuite/ChangeLog: * gcc.dg/analyzer/fd-4.c: Add a new testcase to demonstrate passsing of a file descriptor to a function that does not emit any warning. Signed-off-by: Immad Mir --- gcc/testsuite/gcc.dg/analyzer/fd-4.c | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/gcc/testsuite/gcc.dg/analyzer/fd-4.c b/gcc/testsuite/gcc.dg/an= alyzer/fd-4.c index c992db619e7..fcfa6168efa 100644 --- a/gcc/testsuite/gcc.dg/analyzer/fd-4.c +++ b/gcc/testsuite/gcc.dg/analyzer/fd-4.c @@ -1,3 +1,5 @@ +#include =0D +=0D int open(const char *, int mode);=0D void close(int fd);=0D int write (int fd, void *buf, int nbytes);=0D @@ -60,3 +62,11 @@ test_4 (const char *path, void *buf) /* {dg-message "\\(3\\) 'write' on closed file descriptor 'fd'; 'c= lose' was at \\(2\\)" "" {target *-*-*} .-1 } */=0D }=0D }=0D +=0D +void=0D +test_5 (const char *path)=0D +{=0D + int fd =3D open (path, O_RDWR);=0D + close(fd);=0D + printf("%d", fd); /* { dg-bogus "'printf' on a closed file descriptor = 'fd'" } */=0D +} \ No newline at end of file --=20 2.25.1