[Bug analyzer/97029] [11 Regression] ICE in wide_int_to_tree_1, at tree.c:1612

[cvs-commit at gcc dot gnu.org]

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

--- Comment #2 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:35e3f0829d8e9cdc7ea19917c9f3a7add3f14847

commit r11-3188-g35e3f0829d8e9cdc7ea19917c9f3a7add3f14847
Author: David Malcolm <dmalc...@redhat.com>
Date:   Sat Sep 12 09:28:05 2020 -0400

    analyzer: fix ICE on setjmp with non-pointer-type [PR97029]

    gcc/analyzer/ChangeLog:
            PR analyzer/97029
            * analyzer.cc (is_setjmp_call_p): Require the initial arg to be a
            pointer.
            * region-model.cc (region_model::deref_rvalue): Assert that the
            svalue is of pointer type.

    gcc/testsuite/ChangeLog:
            * gcc.dg/analyzer/pr97029.c: New test.