]> git.ipfire.org Git - thirdparty/gcc.git/commit
analyzer: fix another ICE in PR 107158
authorDavid Malcolm <dmalcolm@redhat.com>
Thu, 6 Oct 2022 19:46:49 +0000 (15:46 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Thu, 6 Oct 2022 19:46:49 +0000 (15:46 -0400)
commit629b4813e91aba0a8fc9b18434ec1808776a4b3d
treed37f1e060492fa031abf1dab55e2463db7a79924
parent30d6356773a838366f6272f7e9900bacb31c44de
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>
gcc/analyzer/store.cc
gcc/testsuite/gcc.dg/analyzer/call-summaries-pr107158-2.c [new file with mode: 0644]