https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123085
--- Comment #3 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-15 branch has been updated by David Malcolm <[email protected]>: https://gcc.gnu.org/g:004e2f3cc5a6c895c62b991c696cff1a58744da4 commit r15-10674-g004e2f3cc5a6c895c62b991c696cff1a58744da4 Author: David Malcolm <[email protected]> Date: Mon Dec 15 11:48:49 2025 -0500 analyzer: fix strlen(STRING_CST + OFFSET) [PR123085] gcc/analyzer/ChangeLog: PR analyzer/123085 * region-model.cc (region_model::scan_for_null_terminator_1): Use byte offset when accessing string constant. gcc/testsuite/ChangeLog: PR analyzer/123085 * c-c++-common/analyzer/strlen-pr123085.c: New test. Signed-off-by: David Malcolm <[email protected]> (cherry picked from commit 8f84c84e571ae6ef045dd7c510e49e76f6ca1b7d)
