From 6fa48f7fec418899fc8626a378ba901b320f836d Mon Sep 17 00:00:00 2001 From: Ridham Khurana Date: Sun, 22 Mar 2026 01:07:40 +0530 Subject: [PATCH 17/98] 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 --- gcc/testsuite/gcc.dg/analyzer/getenv-1.c | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/gcc/testsuite/gcc.dg/analyzer/getenv-1.c b/gcc/testsuite/gcc.dg/analyzer/getenv-1.c index 43afdf1f115c..61e87e8db3df 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"; -- 2.49.0