]> git.ipfire.org Git - thirdparty/gcc.git/commit
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
treef89e830add28a5bf0b4ef036c96513a7cba0eea4
parent46cb27e56f36f23cb277f8a5beae05235af05768
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