[Bug analyzer/93373] ICE: Segmentation fault (in tree_class_check)

[cvs-commit at gcc dot gnu.org]

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

--- 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:09bea5845a50189b093e7fa8d5b840da702197d4

commit r10-6385-g09bea5845a50189b093e7fa8d5b840da702197d4
Author: David Malcolm <dmalc...@redhat.com>
Date:   Wed Jan 22 13:08:26 2020 -0500

    analyzer: fix ICE handling void-type (PR 93373)

    gcc/analyzer/ChangeLog:
        PR analyzer/93373
        * region-model.cc (ASSERT_COMPAT_TYPES): Convert to...
        (assert_compat_types): ...this, and bail when either type is NULL,
        or when VOID_TYPE_P (dst_type).
        (region_model::get_lvalue): Update for above conversion.
        (region_model::get_rvalue): Likewise.

    gcc/testsuite/ChangeLog:
        PR analyzer/93373
        * gcc.dg/analyzer/torture/pr93373.c: New test.