[Bug analyzer/93457] ICE in make_region_for_type, at analyzer/region-model.cc:5983

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by David Malcolm <dmalcolm@gcc.gnu.org>:

https://gcc.gnu.org/g:6775172431a8e6f0d20ac0c4946d6b5db2f46450

commit r10-6386-g6775172431a8e6f0d20ac0c4946d6b5db2f46450
Author: David Malcolm <dmalcolm@redhat.com>
Date:   Fri Jan 31 14:05:17 2020 -0500

    analyzer: fix ICE with 'const void *' (PR 93457)

    gcc/analyzer/ChangeLog:
        PR analyzer/93457
        * region-model.cc (make_region_for_type): Use VOID_TYPE_P rather
        than checking against void_type_node.

    gcc/testsuite/ChangeLog:
        PR analyzer/93457
        * gcc.dg/analyzer/pr93457.c: New test.