analyzer: add test coverage for fixed ICE [PR94047]
authorDavid Malcolm <dmalcolm@redhat.com>
Tue, 10 Mar 2020 22:50:03 +0000 (18:50 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Wed, 18 Mar 2020 13:59:17 +0000 (09:59 -0400)
commitf665beeba625490bd96a593d23e00726d969cf98
treebf629692dbd6ac5a9feb81faf5bfbb8b9cee4689
parent7d9c107ab1eab331e7011513b11e26b78850d614
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.
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/analyzer/pr94047.c [new file with mode: 0644]