analyzer: add more uninit test coverage
authorDavid Malcolm <dmalcolm@redhat.com>
Wed, 15 Jun 2022 21:39:42 +0000 (17:39 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Wed, 15 Jun 2022 21:39:42 +0000 (17:39 -0400)
commit44681d454738837ec04752f2d1189a9a47ddf22d
tree7d60e21760b59ab0790211d6465e18bf9e222d24
parent90f2a111413a6d4264335046d68ffa19725864b6
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>
gcc/testsuite/gcc.dg/analyzer/uninit-1.c