]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c48970f) | patch
analyzer: fix strlen(STRING_CST + OFFSET) [PR123085]
authorDavid Malcolm <dmalcolm@redhat.com>
Mon, 15 Dec 2025 16:48:49 +0000 (11:48 -0500)
committerDavid Malcolm <dmalcolm@redhat.com>
Mon, 15 Dec 2025 16:55:55 +0000 (11:55 -0500)
commit8f84c84e571ae6ef045dd7c510e49e76f6ca1b7d
tree543a65afd8d429cf2109e6f10fbade767f17f0f9tree
parentc48970fc4a4d1747a50e6abd1634757212420c04commit | diff
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 <dmalcolm@redhat.com>
gcc/analyzer/region-model.cc diff | blob | blame | history
gcc/testsuite/c-c++-common/analyzer/strlen-pr123085.c [new file with mode: 0644] blob
Mirror of https://gcc.gnu.org/git/gcc.git