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>