[Bug analyzer/114473] [13/14 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 #2 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by David Malcolm <dmalc...@gcc.gnu.org>:

https://gcc.gnu.org/g:fdd59818e2abf6043f4d45aeb157e95956c71088

commit r14-9697-gfdd59818e2abf6043f4d45aeb157e95956c71088
Author: David Malcolm <dmalc...@redhat.com>
Date:   Wed Mar 27 18:26:51 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.

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