procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

analyzer: add more uninit test coverage

Browse source 
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>
This commit is contained in:
David Malcolm 2022-06-15 17:39:42 -04:00
parent 90f2a11141
commit 44681d4547
1 changed files with 19 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

19
gcc/testsuite/gcc.dg/analyzer/uninit-1.c
View file

@ -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'" } */
}