diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2022-01-25 14:10:46 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2022-01-26 09:43:43 -0500 |
| commit | 9ff3e2368d86c1bf7d1e8876a14e58c0d6617ffe (patch) | |
| tree | 90324c572a9807d18792fae1ee9d8029aa875206 /gcc/builtins.cc | |
| parent | e966a508e03fe28bfca65a1e60e579fa90355ea6 (diff) | |
| download | gcc-9ff3e2368d86c1bf7d1e8876a14e58c0d6617ffe.zip gcc-9ff3e2368d86c1bf7d1e8876a14e58c0d6617ffe.tar.gz gcc-9ff3e2368d86c1bf7d1e8876a14e58c0d6617ffe.tar.bz2 | |
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 <dmalcolm@redhat.com>
Diffstat (limited to 'gcc/builtins.cc')
0 files changed, 0 insertions, 0 deletions