[Bug analyzer/105899] RFE: -fanalyzer could complain about misuses of standard C string APIs

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

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

--- Comment #10 from CVS 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:2bad0eeb5573e52c4b7b51546ecffcb17f46eda3

commit r14-3468-g2bad0eeb5573e52c4b7b51546ecffcb17f46eda3
Author: David Malcolm <dmalc...@redhat.com>
Date:   Thu Aug 24 10:24:40 2023 -0400

    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 <dmalc...@redhat.com>