diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2022-07-26 17:17:18 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2022-07-26 17:17:18 -0400 |
| commit | db613e8fa841259f74740665ee9e508bd73ea1c4 (patch) | |
| tree | c7b4d5df87043cd0f9e87eaacd679efd9ad93ed9 /libjava | |
| parent | 0460ba622e833db5cc1cc793201762bbbd30af6b (diff) | |
| download | gcc-db613e8fa841259f74740665ee9e508bd73ea1c4.zip gcc-db613e8fa841259f74740665ee9e508bd73ea1c4.tar.gz gcc-db613e8fa841259f74740665ee9e508bd73ea1c4.tar.bz2 | |
analyzer: fix false +ves from -Wanalyzer-va-arg-type-mismatch on int promotion [PR106319]
gcc/analyzer/ChangeLog:
PR analyzer/106319
* store.cc (store::set_value): Don't strip away casts if the
region has NULL type.
gcc/testsuite/ChangeLog:
PR analyzer/106319
* gcc.dg/analyzer/stdarg-types-3.c: New test.
* gcc.dg/analyzer/stdarg-types-4.c: New test.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'libjava')
0 files changed, 0 insertions, 0 deletions