[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 #8 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:d99d73c77d1e9cca5938134b4e6e068945cf50b1

commit r14-3466-gd99d73c77d1e9cca5938134b4e6e068945cf50b1
Author: David Malcolm <dmalc...@redhat.com>
Date:   Thu Aug 24 10:24:39 2023 -0400

    analyzer: handle strlen(INIT_VAL(STRING_REG)) [PR105899]

    gcc/analyzer/ChangeLog:
            PR analyzer/105899
            * region-model.cc (fragment::has_null_terminator): Move STRING_CST
            handling to fragment::string_cst_has_null_terminator; also use it
to
            handle INIT_VAL(STRING_REG).
            (fragment::string_cst_has_null_terminator): New, from above.

    gcc/testsuite/ChangeLog:
            PR analyzer/105899
            * gcc.dg/analyzer/strcpy-3.c (test_2): New.

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