[Bug analyzer/106319] False positives from -Wanalyzer-va-arg-type-mismatch on int promotion

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

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

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

commit r13-1848-gdb613e8fa841259f74740665ee9e508bd73ea1c4
Author: David Malcolm <dmalc...@redhat.com>
Date:   Tue Jul 26 17:17:18 2022 -0400

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