https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106573
--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-12 branch has been updated by David Malcolm <dmalc...@gcc.gnu.org>: https://gcc.gnu.org/g:62a565e56763c65ec9e134735aa780cf2b1c3cfa commit r12-9354-g62a565e56763c65ec9e134735aa780cf2b1c3cfa Author: David Malcolm <dmalc...@redhat.com> Date: Wed Mar 29 14:16:46 2023 -0400 analyzer: fix missing -Wanalyzer-use-of-uninitialized-value on special-cased functions [PR106573] We were missing checks for uninitialized params on calls to functions that the analyzer has hardcoded knowledge of - both for those that are handled just by state machines, and for those that are handled in region-model-impl-calls.cc (for those arguments for which the svalue wasn't accessed in handling the call). Fixed thusly. Backported from r13-2007-gbddd8d86e3036e, dropping the test case fd-uninit-1.c. gcc/analyzer/ChangeLog: PR analyzer/106573 * region-model.cc (region_model::on_call_pre): Ensure that we call get_arg_svalue on all arguments. gcc/testsuite/ChangeLog: PR analyzer/106573 * gcc.dg/analyzer/error-uninit.c: New test. * gcc.dg/analyzer/file-uninit-1.c: New test. Signed-off-by: David Malcolm <dmalc...@redhat.com>
