diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2020-08-25 09:26:05 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2020-08-25 21:39:32 -0400 |
| commit | d88c8df70342fcd6817e23f243ff38d0fe42fc6b (patch) | |
| tree | bffe72a889c5ed9f48fdfa06fd85b2efe2fa84a8 /gcc/fortran/module.c | |
| parent | db0f6efe7a049744b735d8bc69b205a417236c33 (diff) | |
| download | gcc-d88c8df70342fcd6817e23f243ff38d0fe42fc6b.zip gcc-d88c8df70342fcd6817e23f243ff38d0fe42fc6b.tar.gz gcc-d88c8df70342fcd6817e23f243ff38d0fe42fc6b.tar.bz2 | |
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.
Diffstat (limited to 'gcc/fortran/module.c')
0 files changed, 0 insertions, 0 deletions