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

[dmalcolm at gcc dot gnu.org]

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

David Malcolm <dmalcolm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
            Summary|[13 Regression] ICE:        |[13 Regression] ICE:
                   |Segmentation fault (in      |Segmentation fault on
                   |ana::region_model::deref_rv |__builtin_ms_va_copy with
                   |alue) since                 |-fanalyzer since
                   |r13-514-g2402dc6b982c4dac   |r13-514-g2402dc6b982c4dac

--- Comment #3 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Thanks for filing this bug.

Reproduced on x86_64; looks like -fanalyzer's implementation of
BUILT_IN_VA_COPY makes assumptions about the types that don't hold for the
builtins created for x86_64 by ix86_init_builtins_va_builtins_abi (and
presumably something similar on aarch64?); am investigating.