[Bug analyzer/114473] [13 Regression] ICE: in deref_rvalue, at analyzer/region-model.cc:2780 with -fanalyzer -fanalyzer-call-summaries

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #4 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-13 branch has been updated by David Malcolm
<dmalc...@gcc.gnu.org>:

https://gcc.gnu.org/g:810d35a7e054bcbb5b66d2e5924428e445f5fba9

commit r13-8757-g810d35a7e054bcbb5b66d2e5924428e445f5fba9
Author: David Malcolm <dmalc...@redhat.com>
Date:   Thu May 9 13:09:31 2024 -0400

    analyzer: fix ICE due to type mismatch when replaying call summary
[PR114473]

    gcc/analyzer/ChangeLog:
            PR analyzer/114473
            * call-summary.cc
            (call_summary_replay::convert_svalue_from_summary): Assert that
            the types match.
            (call_summary_replay::convert_region_from_summary): Likewise.
            (call_summary_replay::convert_region_from_summary_1): Add missing
            cast for the deref of RK_SYMBOLIC case.

    gcc/testsuite/ChangeLog:
            PR analyzer/114473
            * gcc.dg/analyzer/call-summaries-pr114473.c: New test.

    (cherry picked from commit r14-9697-gfdd59818e2abf6)

    Signed-off-by: David Malcolm <dmalc...@redhat.com>