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

[cvs-commit at gcc dot gnu.org]

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

--- 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:23ebfda0e352fa0a92c6b012458ecb65505a135f

commit r11-2772-g23ebfda0e352fa0a92c6b012458ecb65505a135f
Author: David Malcolm <dmalc...@redhat.com>
Date:   Wed Aug 19 13:21:47 2020 -0400

    analyzer: fix ICE on deref_rvalue on SK_COMPOUND [PR96643]

    gcc/analyzer/ChangeLog:
            PR analyzer/96643
            * region-model.cc (region_model::deref_rvalue): Rather than
            attempting to handle all svalue kinds in the switch, only cover
            the special cases, and move symbolic-region handling to after
            the switch, thus implicitly handling the missing case SK_COMPOUND.

    gcc/testsuite/ChangeLog:
            PR analyzer/96643
            * g++.dg/analyzer/pr96643.C: New test.