[Bug analyzer/111361] [14 Regression] ICE: in has_null_terminator, at analyzer/region-model.cc:3410 with -fanalyzer

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

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

--- Comment #1 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:d5604febcfb09445eb738dcb8c675a4cb9671519

commit r14-8257-gd5604febcfb09445eb738dcb8c675a4cb9671519
Author: David Malcolm <dmalc...@redhat.com>
Date:   Thu Jan 18 12:11:57 2024 -0500

    analyzer: fix ICE on strlen ((char *)&VECTOR_CST) [PR111361]

    gcc/analyzer/ChangeLog:
            PR analyzer/111361
            * region-model.cc (svalue_byte_range_has_null_terminator_1): The
            initial byte of an all-zeroes SVAL is a zero byte.  Remove
            gcc_unreachable from SK_CONSTANT for constants that aren't
            STRING_CST or INTEGER_CST.

    gcc/testsuite/ChangeLog:
            PR analyzer/111361
            * c-c++-common/analyzer/strlen-pr111361.c: New test.
            * c-c++-common/analyzer/strncpy-1.c (test_zero_fill): Remove fixed
            xfail.
            * c-c++-common/analyzer/strncpy-pr111361.c: New test.

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