[Bug analyzer/111289] [13 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 #8 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-13 branch has been updated by David Malcolm
<dmalc...@gcc.gnu.org>:

https://gcc.gnu.org/g:67d104f3a032ee64bae335269bf1b8434785cc63

commit r13-8755-g67d104f3a032ee64bae335269bf1b8434785cc63
Author: David Malcolm <dmalc...@redhat.com>
Date:   Thu May 9 13:09:31 2024 -0400

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

    Backported from commit r14-9076-g5651ad62b08096 (moving new tests from
    c-c++-common to gcc.dg).

    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
            * gcc.dg/analyzer/stdarg-pr111289-int.c: New test.
            * gcc.dg/analyzer/stdarg-pr111289-ptr.c: New test.

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