https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104224
--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by David Malcolm <dmalc...@gcc.gnu.org>: https://gcc.gnu.org/g:9ff3e2368d86c1bf7d1e8876a14e58c0d6617ffe commit r12-6876-g9ff3e2368d86c1bf7d1e8876a14e58c0d6617ffe Author: David Malcolm <dmalc...@redhat.com> Date: Tue Jan 25 14:10:46 2022 -0500 analyzer: fix missing uninit warning on args to stdio builtins [PR104224] We were failing to check for uninitialized arguments to stdio builtins, such as when passing local "go" to the call to "printf" in "main" in the testcase. gcc/analyzer/ChangeLog: PR analyzer/104224 * region-model.cc (region_model::check_call_args): New. (region_model::on_call_pre): Call it when ignoring stdio builtins. * region-model.h (region_model::check_call_args): New decl gcc/testsuite/ChangeLog: PR analyzer/104224 * gcc.dg/analyzer/pr104224.c: New test. Signed-off-by: David Malcolm <dmalc...@redhat.com>
