diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2023-12-07 19:42:45 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2023-12-07 19:42:45 -0500 |
| commit | 775aeabcb870b74e4d0986341c7a39add9bbb06d (patch) | |
| tree | dc7678c952305a946b2bd5675b5f4399d8686856 /gcc/tree-vect-loop.cc | |
| parent | 08f89e5e7f466cf18387293c6a9d1d5b8308b83d (diff) | |
| download | gcc-775aeabcb870b74e4d0986341c7a39add9bbb06d.zip gcc-775aeabcb870b74e4d0986341c7a39add9bbb06d.tar.gz gcc-775aeabcb870b74e4d0986341c7a39add9bbb06d.tar.bz2 | |
analyzer: fix ICE for 2 bits before the start of base region [PR112889]
Cncrete bindings were using -1 and -2 in the offset field to signify
deleted and empty hash slots, but these are valid values, leading to
assertion failures inside hash_map::put on a debug build, and probable
bugs in a release build.
(gdb) call k.dump(true)
start: -2, size: 1, next: -1
(gdb) p k.is_empty()
$6 = true
Fix by using the size field rather than the offset.
gcc/analyzer/ChangeLog:
PR analyzer/112889
* store.h (concrete_binding::concrete_binding): Strengthen
assertion to require size to be be positive, rather than just
non-zero.
(concrete_binding::mark_deleted): Use size rather than start bit
offset.
(concrete_binding::mark_empty): Likewise.
(concrete_binding::is_deleted): Likewise.
(concrete_binding::is_empty): Likewise.
gcc/testsuite/ChangeLog:
PR analyzer/112889
* c-c++-common/analyzer/ice-pr112889.c: New test.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'gcc/tree-vect-loop.cc')
0 files changed, 0 insertions, 0 deletions