diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2020-02-17 17:37:52 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2020-02-18 08:17:43 -0500 |
| commit | 4f40164a9322105012e9070eebd57ba80c69b873 (patch) | |
| tree | 79427a7450ddd0c840b14ea072e7f7818459067e /libgcc/libgcov-merge.c | |
| parent | 2e6233935c77b56a68e939c629702f960b8e6fb2 (diff) | |
| download | gcc-4f40164a9322105012e9070eebd57ba80c69b873.zip gcc-4f40164a9322105012e9070eebd57ba80c69b873.tar.gz gcc-4f40164a9322105012e9070eebd57ba80c69b873.tar.bz2 | |
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.
Diffstat (limited to 'libgcc/libgcov-merge.c')
0 files changed, 0 insertions, 0 deletions