[Bug analyzer/113222] ICE with -fanalyzer seen on Linux kernel kernel/sched/core.c

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

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

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

commit r14-6917-gdb5b01d282a0e3ddcac737e55f9758c8b081cf4b
Author: David Malcolm <dmalc...@redhat.com>
Date:   Thu Jan 4 09:12:40 2024 -0500

    analyzer: handle arrays of unknown size in access diagrams [PR113222]

    gcc/analyzer/ChangeLog:
            PR analyzer/113222
            * access-diagram.cc (valid_region_spatial_item::add_boundaries):
            Handle TYPE_DOMAIN being null.
            (valid_region_spatial_item::add_array_elements_to_table):
            Likewise.

    gcc/testsuite/ChangeLog:
            PR analyzer/113222
            * gcc.dg/analyzer/out-of-bounds-diagram-pr113222.c: New test.

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