diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2020-10-13 18:49:11 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2020-10-14 16:38:25 -0400 |
| commit | 61a43de58cb6de7212a622060500ad0a0fd94fae (patch) | |
| tree | b4e27b67acbfab4227c1a16fd00460db4c98910d /gcc/config.gcc | |
| parent | 12b267cc606a48a2fef809189c35573c4a51d3a5 (diff) | |
| download | gcc-61a43de58cb6de7212a622060500ad0a0fd94fae.zip gcc-61a43de58cb6de7212a622060500ad0a0fd94fae.tar.gz gcc-61a43de58cb6de7212a622060500ad0a0fd94fae.tar.bz2 | |
analyzer: fix ICE on globals with unknown size [PR93388]
This patch fixes an ICE seen when attempting to build various existing
tests in our testsuite with -fanalyzer, including
gcc.c-torture/compile/980816-1.c.
gcc/analyzer/ChangeLog:
PR analyzer/93388
* region-model.cc (region_model::get_initial_value_for_global):
Fall back to returning an initial_svalue if
decl_region::get_svalue_for_initializer fails.
* region.cc (decl_region::get_svalue_for_initializer): Don't
attempt to create a compound_svalue if the region has an unknown
size.
gcc/testsuite/ChangeLog:
PR analyzer/93388
* gcc.dg/analyzer/data-model-21.c: New test.
Diffstat (limited to 'gcc/config.gcc')
0 files changed, 0 insertions, 0 deletions