[Bug analyzer/111289] [13/14 Regression] Unwarranted -Wanalyzer-va-arg-type-mismatch warning

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

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

--- Comment #2 from GCC 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:5651ad62b08096a155a7e394c7494f5ff1c04f4f

commit r14-9076-g5651ad62b08096a155a7e394c7494f5ff1c04f4f
Author: David Malcolm <dmalc...@redhat.com>
Date:   Mon Feb 19 18:08:05 2024 -0500

    analyzer: fix -Wanalyzer-va-arg-type-mismatch false +ve on int types
[PR111289]

    gcc/analyzer/ChangeLog:
            PR analyzer/111289
            * varargs.cc (representable_in_integral_type_p): New.
            (va_arg_compatible_types_p): Add "arg_sval" param.  Handle integer
            types.
            (kf_va_arg::impl_call_pre): Pass arg_sval to
            va_arg_compatible_types_p.

    gcc/testsuite/ChangeLog:
            PR analyzer/111289
            * c-c++-common/analyzer/stdarg-pr111289-int.c: New test.
            * c-c++-common/analyzer/stdarg-pr111289-ptr.c: New test.

    Signed-off-by: David Malcolm <dmalc...@redhat.com>