[Bug analyzer/113505] [14 Regression] ICE: SIGSEGV in tree_class_check (tree.h:3766) with -O -fdump-analyzer -fanalyzer since r14-6239

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

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

--- Comment #6 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:c87f1f3d660f4103c91c72a4d3e1d19ff2858671

commit r14-9555-gc87f1f3d660f4103c91c72a4d3e1d19ff2858671
Author: Jakub Jelinek <ja...@redhat.com>
Date:   Tue Mar 19 16:06:13 2024 -0400

    analyzer: fix ICE due to corrupt MEM_REFs [PR113505]

    gcc/analyzer/ChangeLog
            PR analyzer/113505
            * region-model.cc (get_tree_for_byte_offset,
            region_model::get_representative_path_var_1,
            test_mem_ref, test_POINTER_PLUS_EXPR_then_MEM_REF): Use
            char __attribute__((may_alias)) * as type of MEM_REF second
argument.

    gcc/testsuite/ChangeLog
            PR analyzer/113505
            * gcc.dg/analyzer/pr113505.c: New test.

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