diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2024-01-18 12:11:57 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2024-01-18 12:11:57 -0500 |
| commit | d5604febcfb09445eb738dcb8c675a4cb9671519 (patch) | |
| tree | 72591169c0bcfd3f255c3d0b6f3a9895797674b4 /gcc/expr.cc | |
| parent | 84096e665c5f7d7ffb07f18a5fd5e804a94b237b (diff) | |
| download | gcc-d5604febcfb09445eb738dcb8c675a4cb9671519.zip gcc-d5604febcfb09445eb738dcb8c675a4cb9671519.tar.gz gcc-d5604febcfb09445eb738dcb8c675a4cb9671519.tar.bz2 | |
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 <dmalcolm@redhat.com>
Diffstat (limited to 'gcc/expr.cc')
0 files changed, 0 insertions, 0 deletions