diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2020-09-07 18:31:28 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2020-09-08 10:51:22 -0400 |
| commit | 34d926dba097c4965917d09a3eedec11242c5457 (patch) | |
| tree | a81e90bd2416094f975e846aa022e38bd847491e /gcc/genoutput.c | |
| parent | af656c401e97f9de2a8478f18278e8efb2a6cf23 (diff) | |
| download | gcc-34d926dba097c4965917d09a3eedec11242c5457.zip gcc-34d926dba097c4965917d09a3eedec11242c5457.tar.gz gcc-34d926dba097c4965917d09a3eedec11242c5457.tar.bz2 | |
analyzer: fix another ICE in constructor-handling [PR96949]
PR analyzer/96949 reports an ICE with
--param analyzer-max-svalue-depth=0, where the param value leads
to INTEGER_CST values in a RANGE_EXPR being treated as unknown
symbolic values.
This patch replaces implicit assumptions that these values are
concrete (and thus have concrete bit offsets), adding
error-handling for symbolic cases instead of assertions.
gcc/analyzer/ChangeLog:
PR analyzer/96949
* store.cc (binding_map::apply_ctor_val_to_range): Add
error-handling for the cases where we have symbolic offsets.
gcc/testsuite/ChangeLog:
PR analyzer/96949
* gfortran.dg/analyzer/pr96949.f90: New test.
Diffstat (limited to 'gcc/genoutput.c')
0 files changed, 0 insertions, 0 deletions