[Bug analyzer/108003] [13 Regression] ICE in bitmap_check_index, at sbitmap.h:105

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

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

--- 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:7dc0ecafe60b224b3343667f55eaaa501f390925

commit r13-4578-g7dc0ecafe60b224b3343667f55eaaa501f390925
Author: David Malcolm <dmalc...@redhat.com>
Date:   Thu Dec 8 21:19:23 2022 -0500

    analyzer: fix ICE on region creation during get_referenced_base_regions
[PR108003]

    gcc/analyzer/ChangeLog:
            PR analyzer/108003
            * call-summary.cc
            (call_summary_replay::convert_region_from_summary_1): Convert
            heap_regs_in_use from auto_sbitmap to auto_bitmap.
            * region-model-manager.cc
            (region_model_manager::get_or_create_region_for_heap_alloc):
            Convert from sbitmap to bitmap.
            * region-model-manager.h: Likewise.
            * region-model.cc
            (region_model::get_or_create_region_for_heap_alloc): Convert from
            auto_sbitmap to auto_bitmap.
            (region_model::get_referenced_base_regions): Likewise.
            * region-model.h: Include "bitmap.h" rather than "sbitmap.h".
            (region_model::get_referenced_base_regions): Convert from
            auto_sbitmap to auto_bitmap.

    gcc/testsuite/ChangeLog:
            PR analyzer/108003
            * g++.dg/analyzer/pr108003.C: New test.

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