From: David Malcolm <dmalcolm@redhat.com>
Date: Wed, 15 Jun 2022 21:39:42 +0000 (-0400)
Subject: analyzer: add more uninit test coverage
X-Git-Tag: basepoints/gcc-14~6091
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=44681d454738837ec04752f2d1189a9a47ddf22d;p=thirdparty%2Fgcc.git

analyzer: add more uninit test coverage

gcc/testsuite/ChangeLog:
	* gcc.dg/analyzer/uninit-1.c: Add test coverage of attempts
	to jump through an uninitialized function pointer, and of attempts
	to pass an uninitialized value to a function call.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>
---

diff --git a/gcc/testsuite/gcc.dg/analyzer/uninit-1.c b/gcc/testsuite/gcc.dg/analyzer/uninit-1.c
index 9a6576e1b0a..3d1021658bc 100644
--- a/gcc/testsuite/gcc.dg/analyzer/uninit-1.c
+++ b/gcc/testsuite/gcc.dg/analyzer/uninit-1.c
@@ -127,3 +127,22 @@ size_t test_builtin_strlen (void)
   const char *ptr; /* { dg-message "region created on stack here" } */
   return __builtin_strlen (ptr); /* { dg-warning "use of uninitialized value 'ptr'" } */
 }
+
+void test_calling_uninit_fn_ptr_1 (void)
+{
+  void (*fn_ptr) (void); /* { dg-message "region created on stack here" } */
+  fn_ptr (); /* { dg-warning "use of uninitialized value 'fn_ptr'" } */
+}
+
+int test_calling_uninit_fn_ptr_2 (void)
+{
+  int (*fn_ptr) (void); /* { dg-message "region created on stack here" } */
+  return fn_ptr (); /* { dg-warning "use of uninitialized value 'fn_ptr'" } */
+}
+
+extern void called_by_uninit_arg (int);
+void test_passing_uninit_arg (void)
+{
+  int i; /* { dg-message "region created on stack here" } */
+  called_by_uninit_arg (i); /* { dg-warning "use of uninitialized value 'i'" } */
+}