[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 #12 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:f687fc1ff6d4a44db87a35e9e3be7f20425bdacc

commit r14-3549-gf687fc1ff6d4a44db87a35e9e3be7f20425bdacc
Author: David Malcolm <dmalc...@redhat.com>
Date:   Tue Aug 29 10:57:42 2023 -0400

    analyzer: improve strdup handling [PR105899]

    gcc/analyzer/ChangeLog:
            PR analyzer/105899
            * kf.cc (kf_strdup::impl_call_pre): Set size of
            dynamically-allocated buffer.  Simulate copying the string from
            the source region to the new buffer.

    gcc/testsuite/ChangeLog:
            PR analyzer/105899
            * c-c++-common/analyzer/pr99193-2.c: Add
            -Wno-analyzer-too-complex.
            * gcc.dg/analyzer/strdup-1.c: Include "analyzer-decls.h".
            (test_concrete_strlen): New.
            (test_symbolic_strlen): New.

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