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 43afdf1f115cf8b82f931a18f904854e7f34f65a..61e87e8db3dfd12313a9345753501a600a1c41cb 100644 (file)
--- 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";