diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2020-08-19 13:21:47 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2020-08-19 15:27:09 -0400 |
| commit | 23ebfda0e352fa0a92c6b012458ecb65505a135f (patch) | |
| tree | afc50b41b174d82e50b13475da1fc913fff73626 /gcc/tree-ssa-loop-manip.c | |
| parent | fc02b568e2cd3f6a28d4b7c1063bbf8842c89aad (diff) | |
| download | gcc-23ebfda0e352fa0a92c6b012458ecb65505a135f.zip gcc-23ebfda0e352fa0a92c6b012458ecb65505a135f.tar.gz gcc-23ebfda0e352fa0a92c6b012458ecb65505a135f.tar.bz2 | |
analyzer: fix ICE on deref_rvalue on SK_COMPOUND [PR96643]
gcc/analyzer/ChangeLog:
PR analyzer/96643
* region-model.cc (region_model::deref_rvalue): Rather than
attempting to handle all svalue kinds in the switch, only cover
the special cases, and move symbolic-region handling to after
the switch, thus implicitly handling the missing case SK_COMPOUND.
gcc/testsuite/ChangeLog:
PR analyzer/96643
* g++.dg/analyzer/pr96643.C: New test.
Diffstat (limited to 'gcc/tree-ssa-loop-manip.c')
0 files changed, 0 insertions, 0 deletions