From: Immad Mir <mirimmad@outlook.com>
Date: Wed, 6 Jul 2022 16:08:27 +0000 (+0530)
Subject: analyzer: add testcase of using closed fd without warning.
X-Git-Tag: basepoints/gcc-14~5666
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=acb696b792eeab92167f516b5236ed9242e62deb;p=thirdparty%2Fgcc.git

analyzer: add testcase of using closed fd without warning.

This patch adds a testcase for passing a closed fd to a function
that does not emit any warning.

gcc/testsuite/ChangeLog:
	* gcc.dg/analyzer/fd-4.c: Add a new testcase to demonstrate
	passsing of a closed file descriptor to a function that does
	not emit any warning.

Signed-off-by: Immad Mir <mirimmad@outlook.com>
---

diff --git a/gcc/testsuite/gcc.dg/analyzer/fd-4.c b/gcc/testsuite/gcc.dg/analyzer/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 <stdio.h>
+
 int open(const char *, int mode);
 void close(int fd);
 int write (int fd, void *buf, int nbytes);
@@ -60,3 +62,11 @@ test_4 (const char *path, void *buf)
         /* {dg-message "\\(3\\) 'write' on closed file descriptor 'fd'; 'close' was at \\(2\\)" "" {target *-*-*} .-1 } */
     }
 }
+
+void
+test_5 (const char *path)
+{
+    int fd = open (path, O_RDWR);
+    close(fd);
+    printf("%d", fd); /* { dg-bogus "'printf' on a closed file descriptor 'fd'" } */
+}
\ No newline at end of file