[Bug analyzer/96894] State explosion on gdb's fibheap.c

2021-03-12 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96894 David Malcolm changed: What|Removed |Added Blocks||99390 --- Comment #4 from David Malcolm

[Bug analyzer/96894] State explosion on gdb's fibheap.c

2021-03-03 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96894 David Malcolm changed: What|Removed |Added Summary|Analyzer assumes pointer is |State explosion on gdb's