From acb696b792eeab92167f516b5236ed9242e62deb Mon Sep 17 00:00:00 2001 From: Immad Mir Date: Wed, 6 Jul 2022 21:38:27 +0530 Subject: [PATCH] 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 --- 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/analyzer/fd-4.c index c992db6..fcfa616 100644 --- a/gcc/testsuite/gcc.dg/analyzer/fd-4.c +++ b/gcc/testsuite/gcc.dg/analyzer/fd-4.c @@ -1,3 +1,5 @@ +#include + 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 -- 2.7.4