https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93288
Bug ID: 93288
Summary: ICE in supergraph.cc:180
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: pmatos at gcc dot gnu.org
Target Milestone: ---
Great work with the analyzer! :)
I am running it on WebKit and I find a few issues. At the moment they all seem
to point to supergraph.cc:180. Here's a reduced example with todays
(16.01.2020) GCC:
$ /home/pmatos/installs/gcc-20200116/bin/g++ -v
Using built-in specs.
COLLECT_GCC=/home/pmatos/installs/gcc-20200116/bin/g++
COLLECT_LTO_WRAPPER=/home/pmatos/installs/gcc-20200116/libexec/gcc/x86_64-pc-linux-gnu/10.0.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ../gcc/configure --prefix=/home/pmatos/installs/gcc-20200116
--enable-languages=c,c++,lto --disable-docs --disable-multilib --disable-nls
--disable-bootstrap
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 10.0.1 20200116 (experimental) (GCC)
Test case:
struct a {
a();
};
class {
a b;
} c;
$ /home/pmatos/installs/gcc-20200116/bin/g++ -std=gnu++17 -fanalyzer -c
AllIsoHeaps.ii
during IPA pass: analyzer
AllIsoHeaps.ii:6:4: internal compiler error: Segmentation fault
6 | } c;
| ^
0x105fbdf crash_signal
../../gcc/gcc/toplev.c:328
0x140d341 supergraph::supergraph(logger*)
../../gcc/gcc/analyzer/supergraph.cc:180
0x13d768f impl_run_checkers(logger*)
../../gcc/gcc/analyzer/engine.cc:3520
0x13d8d73 run_checkers()
../../gcc/gcc/analyzer/engine.cc:3624
0x13cdb28 execute
../../gcc/gcc/analyzer/analyzer-pass.cc:84
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
