https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96777
--- Comment #3 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:d88c8df70342fcd6817e23f243ff38d0fe42fc6b commit r11-2854-gd88c8df70342fcd6817e23f243ff38d0fe42fc6b Author: David Malcolm <dmalc...@redhat.com> Date: Tue Aug 25 09:26:05 2020 -0400 analyzer: fix ICE on initializers for unsized array fields [PR96777] gcc/analyzer/ChangeLog: PR analyzer/96777 * region-model.h (class compound_svalue): Document that all keys must be concrete. (compound_svalue::compound_svalue): Move definition to svalue.cc. * store.cc (binding_map::apply_ctor_to_region): Handle initializers for trailing arrays with incomplete size. * svalue.cc (compound_svalue::compound_svalue): Move definition here from region-model.h. Add assertion that all keys are concrete. gcc/testsuite/ChangeLog: PR analyzer/96777 * gcc.dg/analyzer/pr96777.c: New test.