[Bug analyzer/123085] -Wanalyzer-out-of-bounds: false positive after pointer arithmetic in relation with strlen()

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

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

--- 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:8f84c84e571ae6ef045dd7c510e49e76f6ca1b7d

commit r16-6137-g8f84c84e571ae6ef045dd7c510e49e76f6ca1b7d
Author: David Malcolm <dmalc...@redhat.com>
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 <dmalc...@redhat.com>