[Bug analyzer/93647] ICE in get_lvalue_1, at analyzer/region-model.cc:4613

[cvs-commit at gcc dot gnu.org]

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

--- 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:e953f9588d4a7ea4183d14914f915329cc37941f

commit r10-6566-ge953f9588d4a7ea4183d14914f915329cc37941f
Author: David Malcolm <dmalc...@redhat.com>
Date:   Mon Feb 10 10:01:46 2020 -0500

    analyzer: fix ICE reporting NULL dereference (PR 93647)

    gcc/analyzer/ChangeLog:
        PR analyzer/93647
        * diagnostic-manager.cc
        (diagnostic_manager::prune_for_sm_diagnostic): Bulletproof against
        VAR being constant.
        * region-model.cc (region_model::get_lvalue_1): Provide a better
        error message when encountering an unhandled tree code.

    gcc/testsuite/ChangeLog:
        PR analyzer/93647
        * gcc.dg/analyzer/torture/pr93647.c: New test.