[Bug analyzer/93777] ICE in maybe_cast_1, at analyzer/region-model.cc:5064

[cvs-commit at gcc dot gnu.org]

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

--- Comment #5 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:4f40164a9322105012e9070eebd57ba80c69b873

commit r10-6696-g4f40164a9322105012e9070eebd57ba80c69b873
Author: David Malcolm <dmalcolm@redhat.com>
Date:   Mon Feb 17 17:37:52 2020 -0500

    analyzer: fix ICE on failed casts [PR 93777]

    PR analyzer/93777 reports ICEs in a Fortran and C++ case involving
    a cast of a NULL pointer to a REFERENCE_TYPE.

    In both cases the call to build_cast fails and returns a NULL type, but
    region_model::maybe_cast_1 asserts that a non-NULL type was returned.

    This patch fixes the ICEs by converting the assertion to a conditional.

    gcc/analyzer/ChangeLog:
        PR analyzer/93777
        * region-model.cc (region_model::maybe_cast_1): Replace assertion
        that build_cast returns non-NULL with a conditional, falling
        through to the logic which returns a new unknown value of the
        desired type if it fails.

    gcc/testsuite/ChangeLog:
        PR analyzer/93777
        * g++.dg/analyzer/pr93777.C: New test.
        * gfortran.dg/analyzer/pr93777.f90: New test.