From: Ridham Khurana <khurana.ridham222@gmail.com>
Date: Sat, 21 Mar 2026 19:37:40 +0000 (+0530)
Subject: analyzer: add test_passthrough for getenv
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=7367e7335bfefe9e881af302621e7d37fe00a4c0;p=thirdparty%2Fgcc.git

analyzer: add test_passthrough for getenv

Add a test_passthrough case for getenv to ensure the known_function
correctly handles purely symbolic arguments.

gcc/testsuite/ChangeLog:
	* gcc.dg/analyzer/getenv-1.c (test_passthrough): New test.

Signed-off-by: Ridham Khurana <khurana.ridham222@gmail.com>
---

diff --git a/gcc/testsuite/gcc.dg/analyzer/getenv-1.c b/gcc/testsuite/gcc.dg/analyzer/getenv-1.c
index 43afdf1f115..61e87e8db3d 100644
--- a/gcc/testsuite/gcc.dg/analyzer/getenv-1.c
+++ b/gcc/testsuite/gcc.dg/analyzer/getenv-1.c
@@ -41,6 +41,11 @@ void test_getenv_returns_nonnull (void)
   __analyzer_eval (p != NULL); /* { dg-warning "TRUE" } */
 }
 
+char *test_passthrough (const char *name)
+{
+  return getenv (name);
+}
+
 void test_unterminated (void)
 {
   char buf[3] = "abc";