[Bug analyzer/110387] [14 Regression] ICE: in key_t, at analyzer/region.h:1110 with -fanalyzer

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

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

--- 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:5a0aff76a9980488a760ece72323e7ed1f2c0e5e

commit r14-2688-g5a0aff76a9980488a760ece72323e7ed1f2c0e5e
Author: David Malcolm <dmalc...@redhat.com>
Date:   Thu Jul 20 20:24:01 2023 -0400

    analyzer: fix ICE on certain pointer subtractions [PR110387]

    gcc/analyzer/ChangeLog:
            PR analyzer/110387
            * region.h (struct cast_region::key_t): Support "m_type" being
            null by using "m_original_region" for empty/deleted slots.

    gcc/testsuite/ChangeLog:
            PR analyzer/110387
            * gcc.dg/analyzer/out-of-bounds-pr110387.c: New test.

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