From 07325229d8b50a451fb02e18a72dd7d0fdd0cf0f Mon Sep 17 00:00:00 2001 From: David Malcolm Date: Tue, 27 Jun 2023 17:21:13 -0400 Subject: [PATCH 90/98] FIXME: add gcc/testsuite/c-c++-common/analyzer/strerror-1.c --- gcc/testsuite/c-c++-common/analyzer/strerror-1.c | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 gcc/testsuite/c-c++-common/analyzer/strerror-1.c diff --git a/gcc/testsuite/c-c++-common/analyzer/strerror-1.c b/gcc/testsuite/c-c++-common/analyzer/strerror-1.c new file mode 100644 index 000000000000..b351894365c6 --- /dev/null +++ b/gcc/testsuite/c-c++-common/analyzer/strerror-1.c @@ -0,0 +1,15 @@ +/* See e.g. https://en.cppreference.com/w/c/string/byte/strerror */ + +extern char* strerror (int errnum); + +char* +test_passthrough (int errnum) +{ + return strerror (int errnum); +} + +/* TODO + - complain if program writes to the buffer + - verify that result is nul-terminated + - "Implementations may be returning different pointers to static read-only string literals or may be returning the same pointer over and over, pointing at a static buffer in which strerror places the string." +*/ -- 2.49.0