[Bug analyzer/105765] [13 Regression] ICE: Segmentation fault on __builtin_ms_va_copy with -fanalyzer since r13-514-g2402dc6b982c4dac

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

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

--- Comment #4 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:ebe87edadc4a3f15a6a0d0c1d4a198e0ea37d8b5

commit r13-3390-gebe87edadc4a3f15a6a0d0c1d4a198e0ea37d8b5
Author: David Malcolm <dmalc...@redhat.com>
Date:   Wed Oct 19 16:49:38 2022 -0400

    analyzer: fix ICE on __builtin_ms_va_copy [PR105765]

    gcc/analyzer/ChangeLog:
            PR analyzer/105765
            * varargs.cc (get_BT_VALIST_ARG): Rename to...
            (get_va_copy_arg): ...this, and update logic for determining level
            of indirection of va_copy's argument to use type of argument,
            rather than looking at va_list_type_node, to correctly handle
            __builtin_ms_va_copy.
            (get_stateful_BT_VALIST_ARG): Rename to...
            (get_stateful_va_copy_arg): ...this.
            (va_list_state_machine::on_va_copy): Update for renaming.
            (region_model::impl_call_va_copy): Likewise.

    gcc/testsuite/ChangeLog:
            PR analyzer/105765
            * gcc.dg/analyzer/stdarg-1-ms_abi.c: New test, based on stdarg-1.c.
            * gcc.dg/analyzer/stdarg-1-sysv_abi.c: Likewise.

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