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

[cvs-commit at gcc dot gnu.org]

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

--- Comment #2 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:1e19ecd79b45af6df87a6869d1936b857c9f71fc

commit r11-3341-g1e19ecd79b45af6df87a6869d1936b857c9f71fc
Author: David Malcolm <dmalcolm@redhat.com>
Date:   Mon Sep 21 11:59:26 2020 -0400

    analyzer: fix ICE on bogus decl of memset [PR97130]

    Verify that arguments are pointers before calling handling code
    that calls deref_rvalue on them.

    gcc/analyzer/ChangeLog:
            PR analyzer/97130
            * region-model-impl-calls.cc (call_details::get_arg_type): New.
            * region-model.cc (region_model::on_call_pre): Check that the
            initial arg is a pointer before calling impl_call_memset and
            impl_call_strlen.
            * region-model.h (call_details::get_arg_type): New decl.

    gcc/testsuite/ChangeLog:
            PR analyzer/97130
            * gcc.dg/analyzer/pr97130.c: New test.