[Bug analyzer/107777] [13 Regression] ICE in get_representative_path_var_1, at analyzer/region-model.cc:4750 since r13-3770-g3d2d04cda493fb55

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

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

--- Comment #2 from CVS 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:358dab90186b30a5d287710f13625c327210218d

commit r13-4219-g358dab90186b30a5d287710f13625c327210218d
Author: David Malcolm <dmalc...@redhat.com>
Date:   Mon Nov 21 19:08:17 2022 -0500

    analyzer: fix ICE on writes to errno [PR107777]

    gcc/analyzer/ChangeLog:
            PR analyzer/107777
            * call-summary.cc
            (call_summary_replay::convert_region_from_summary_1): Handle
            RK_THREAD_LOCAL and RK_ERRNO in switch.
            * region-model.cc (region_model::get_representative_path_var_1):
            Likewise.

    gcc/testsuite/ChangeLog:
            PR analyzer/107777
            * gcc.dg/analyzer/call-summaries-errno.c: New test.
            * gcc.dg/analyzer/errno-pr107777.c: New test.

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