[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 #5 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:5ef89c5c2f52a2c47fd26845d1f73e20b9081fc9

commit r14-3462-g5ef89c5c2f52a2c47fd26845d1f73e20b9081fc9
Author: David Malcolm <dmalc...@redhat.com>
Date:   Thu Aug 24 10:24:38 2023 -0400

    analyzer: handle symbolic bindings in scan_for_null_terminator [PR105899]

    gcc/analyzer/ChangeLog:
            PR analyzer/105899
            * region-model.cc (iterable_cluster::iterable_cluster): Add
            symbolic binding keys to m_symbolic_bindings.
            (iterable_cluster::has_symbolic_bindings_p): New.
            (iterable_cluster::m_symbolic_bindings): New field.
            (region_model::scan_for_null_terminator): Treat clusters with
            symbolic bindings as having unknown strlen.

    gcc/testsuite/ChangeLog:
            PR analyzer/105899
            * gcc.dg/analyzer/sprintf-1.c: Include "analyzer-decls.h".
            (test_strlen_1): New.

    Signed-off-by: David Malcolm <dmalc...@redhat.com>