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

[cvs-commit at gcc dot gnu.org]

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

--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by David Malcolm <dmalcolm@gcc.gnu.org>:

https://gcc.gnu.org/g:ca123e019bb92fd1d6909e8da7f53a4f45922526

commit r13-2053-gca123e019bb92fd1d6909e8da7f53a4f45922526
Author: David Malcolm <dmalcolm@redhat.com>
Date:   Mon Aug 15 14:47:02 2022 -0400

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

    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 <dmalcolm@redhat.com>