[Bug analyzer/106573] Missing -Wanalyzer-use-of-uninitialized-value on calls handled by state machines

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106573

--- Comment #6 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:c63e5a234d0193e1f41024cf0eee840998e04c7f

commit r12-9355-gc63e5a234d0193e1f41024cf0eee840998e04c7f
Author: David Malcolm <dmalc...@redhat.com>
Date:   Wed Mar 29 14:16:46 2023 -0400

    analyzer: better fix for -Wanalyzer-use-of-uninitialized-value [PR106573]

    Cherrypicked from r13-2053-gca123e019bb92f.

    gcc/analyzer/ChangeLog:
            PR analyzer/106573
            * region-model.cc (region_model::on_call_pre): Use check_call_args
            when ensuring that we call get_arg_svalue on all args.  Remove
            redundant call from handling for stdio builtins.

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