[Bug analyzer/94047] ICE: SIGSEGV in ana::region_model::get_lvalue_1() with -fanalyzer

[cvs-commit at gcc dot gnu.org]

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

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

commit r10-7250-gf665beeba625490bd96a593d23e00726d969cf98
Author: David Malcolm <dmalcolm@redhat.com>
Date:   Tue Mar 10 18:50:03 2020 -0400

    analyzer: add test coverage for fixed ICE [PR94047]

    PR analyzer/94047 reports an ICE, which turned out to be caused
    by the erroneous use of TREE_TYPE on the view region's type
    in region_model::get_representative_path_var that I introduced
    in r10-7024-ge516294a1acb28aaaad44cfd583cc6a80354044e and
    fixed in g:787477a226033e36be3f6d16b71be13dd917e982.

    This patch adds a regression test for the ICE.

    gcc/testsuite/ChangeLog:
            PR analyzer/94047
            * gcc.dg/analyzer/pr94047.c: New test.