[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 #9 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:46cb27e56f36f23cb277f8a5beae05235af05768

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

    analyzer: handle INIT_VAL(ELEMENT_REG(STRING_REG), CONSTANT_SVAL)
[PR105899]

    gcc/analyzer/ChangeLog:
            PR analyzer/105899
            * region-model-manager.cc
            (region_model_manager::get_or_create_initial_value): Simplify
            INIT_VAL(ELEMENT_REG(STRING_REG), CONSTANT_SVAL) to
            CONSTANT_SVAL(STRING[N]).

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