analyzer: better fix for -Wanalyzer-use-of-uninitialized-value [PR106573]
authorDavid Malcolm <dmalcolm@redhat.com>
Mon, 15 Aug 2022 18:47:02 +0000 (14:47 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Mon, 15 Aug 2022 18:47:02 +0000 (14:47 -0400)
commitca123e019bb92fd1d6909e8da7f53a4f45922526
treed693be1d5951c7badfa127b51f11dcac8a3a1af7
parent265cdd067afd56293137ecb3057c5ba28a7c9480
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>
gcc/analyzer/region-model.cc