[Bug analyzer/93350] ICE in make_region_for_type, at analyzer/region-model.cc:5975, or in get_lvalue_1, at analyzer/region-model.cc:4609

[cvs-commit at gcc dot gnu.org]

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

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by David Malcolm <dmalcolm@gcc.gnu.org>:

https://gcc.gnu.org/g:e87deb37649cfe480217fc83c8d56fe925600f93

commit r10-6567-ge87deb37649cfe480217fc83c8d56fe925600f93
Author: David Malcolm <dmalcolm@redhat.com>
Date:   Fri Feb 7 05:49:24 2020 -0500

    analyzer: handle vector types (PR 93350)

    gcc/analyzer/ChangeLog:
        PR analyzer/93350
        * region-model.cc (region_model::get_lvalue_1):
        Handle BIT_FIELD_REF.
        (make_region_for_type): Handle VECTOR_TYPE.

    gcc/testsuite/ChangeLog:
        PR analyzer/93350
        * gcc.dg/analyzer/torture/pr93350.c: New test.