diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2022-10-06 15:46:49 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2022-10-06 15:46:49 -0400 |
| commit | 629b4813e91aba0a8fc9b18434ec1808776a4b3d (patch) | |
| tree | d37f1e060492fa031abf1dab55e2463db7a79924 /gcc/value-range.cc | |
| parent | 30d6356773a838366f6272f7e9900bacb31c44de (diff) | |
| download | gcc-629b4813e91aba0a8fc9b18434ec1808776a4b3d.zip gcc-629b4813e91aba0a8fc9b18434ec1808776a4b3d.tar.gz gcc-629b4813e91aba0a8fc9b18434ec1808776a4b3d.tar.bz2 | |
analyzer: fix another ICE in PR 107158
I overreduced PR analyzer/107158 in r13-3096-gef878564140cbc, and there
was another ICE in the original reproducer, which this patch fixes.
gcc/analyzer/ChangeLog:
PR analyzer/107158
* store.cc (store::replay_call_summary_cluster): Eliminate
special-casing of RK_HEAP_ALLOCATED in favor of sharing code with
RK_DECL, avoiding an ICE due to attempting to bind a
compound_svalue into a binding_cluster when an svalue in the
summary cluster converts to a compound_svalue in the caller.
gcc/testsuite/ChangeLog:
PR analyzer/107158
* gcc.dg/analyzer/call-summaries-pr107158-2.c: New test.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'gcc/value-range.cc')
0 files changed, 0 insertions, 0 deletions