[Bug analyzer/97233] [11 Regression] ICE in deref_rvalue, at analyzer/region-model.cc:1465

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

--- 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:01eabbeadb645959d5dcb0f00f41c3565a8f54f1

commit r11-3512-g01eabbeadb645959d5dcb0f00f41c3565a8f54f1
Author: David Malcolm <dmalc...@redhat.com>
Date:   Mon Sep 28 15:42:31 2020 -0400

    analyzer: fix ICE on non-pointer longjmp [PR97233]

    gcc/analyzer/ChangeLog:
            PR analyzer/97233
            * analyzer.cc (is_longjmp_call_p): Require the initial argument
            to be a pointer.
            * engine.cc (exploded_node::on_longjmp): Likewise.

    gcc/testsuite/ChangeLog:
            PR analyzer/97233
            * gcc.dg/analyzer/pr97233.c: New test.