]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 46cb27e) | patch
analyzer: handle strlen(BITS_WITHIN) [PR105899]
authorDavid Malcolm <dmalcolm@redhat.com>
Thu, 24 Aug 2023 14:24:40 +0000 (10:24 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Thu, 24 Aug 2023 14:24:40 +0000 (10:24 -0400)
commit2bad0eeb5573e52c4b7b51546ecffcb17f46eda3
treef89e830add28a5bf0b4ef036c96513a7cba0eea4tree | snapshot
parent46cb27e56f36f23cb277f8a5beae05235af05768commit | diff
analyzer: handle strlen(BITS_WITHIN) [PR105899]

gcc/analyzer/ChangeLog:
PR analyzer/105899
* region-model.cc (fragment::has_null_terminator): Handle
SK_BITS_WITHIN.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>
gcc/analyzer/region-model.cc diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git