diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2022-07-22 19:50:54 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2022-07-22 19:50:54 -0400 |
| commit | 6d5194a10dc103031b9c8a03091ca70f6db33c8b (patch) | |
| tree | 13312753ee87ece630b4ec85ad46a70a0e58731d /libsanitizer | |
| parent | 0fb35a45a28c674d5d420528f7dec629e42b4850 (diff) | |
| download | gcc-6d5194a10dc103031b9c8a03091ca70f6db33c8b.zip gcc-6d5194a10dc103031b9c8a03091ca70f6db33c8b.tar.gz gcc-6d5194a10dc103031b9c8a03091ca70f6db33c8b.tar.bz2 | |
analyzer: fix state explosion on va_arg [PR106413]
Fix state explosion on va_arg when the call to va_start is in the
top-level function of the analysis.
gcc/analyzer/ChangeLog:
PR analyzer/106413
* varargs.cc (region_model::impl_call_va_start): Avoid iterating
through non-existant variadic arguments by initializing the
impl_region to "UNKNOWN" if the va_start occurs in the top-level
function to the analysis.
gcc/testsuite/ChangeLog:
PR analyzer/106413
* gcc.dg/analyzer/torture/stdarg-4.c: New test.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'libsanitizer')
0 files changed, 0 insertions, 0 deletions