[Bug analyzer/96777] [11 Regression] ICE in bind_compound_sval with initializer for incomplete array type

[cvs-commit at gcc dot gnu.org]

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 <dmalcolm@gcc.gnu.org>:

https://gcc.gnu.org/g:d88c8df70342fcd6817e23f243ff38d0fe42fc6b

commit r11-2854-gd88c8df70342fcd6817e23f243ff38d0fe42fc6b
Author: David Malcolm <dmalcolm@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.