https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125246
Bug ID: 125246
Summary: Internal compiler error using fanalyzer at
supergraph-simplify.
Product: gcc
Version: 16.1.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: patrick.pelissier at gmail dot com
Target Milestone: ---
When running fanalyzer on my project, I get the following error:
during IPA pass: analyzer
test-mtry.c.c:668:1: internal compiler error: in remove_edge, at
analyzer/supergraph-simplify.cc:121
668 | }
| ^
0x21b533f internal_error(char const*, ...)
../../gcc/diagnostic-global-context.cc:787
0x7c0517 fancy_abort(char const*, int, char const*)
../../gcc/diagnostics/context.cc:1813
0x7ab84b remove_edge
../../gcc/analyzer/supergraph-simplify.cc:121
0x7ab84b remove_edge
../../gcc/analyzer/supergraph-simplify.cc:115
0x1374c73 remove_node
../../gcc/analyzer/supergraph-simplify.cc:109
0x1374c73 consider_node
../../gcc/analyzer/supergraph-simplify.cc:154
0x1374c73 ana::supergraph::simplify(ana::logger*)
../../gcc/analyzer/supergraph-simplify.cc:308
0x12e41f2 ana::impl_run_checkers(ana::logger*)
../../gcc/analyzer/engine.cc:5228
0x12e4c16 ana::run_checkers()
../../gcc/analyzer/engine.cc:5367
0x12d51a8 execute
../../gcc/analyzer/analyzer-pass.cc:81
/home/opt/gcc16/bin/../libexec/gcc/x86_64-pc-linux-gnu/16.1.0/cc1 -quiet -I ..
-imultiarch x86_64-linux-gnu -iprefix
/home/opt/gcc16/bin/../lib/gcc/x86_64-pc-linux-gnu/16.1.0/ -D_REENTRANT
test-mtry.c.c -quiet -dumpbase test-mtry.c.c -dumpbase-ext .c -mtune=generic
-march=x86-64 -g -O2 -Wall -Wextra -Wno-analyzer-malloc-leak
-Wno-stringop-truncation -std=c99 -fanalyzer -o /tmp/ccQX3v6g.s
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
System is "Linux debianhp 6.1.0-44-amd64 #1 SMP PREEMPT_DYNAMIC Debian
6.1.164-1 (2026-03-09) x86_64 GNU/Linux"
gcc (GCC) 16.1.0
Copyright (C) 2026 Free Software Foundation, Inc.
This is free software; see the source for copying conditions. There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
Steps to reproduce:
$ git clone [email protected]:P-p-H-d/mlib.git
$ cd mlib/tests/
$ make test-mtry.analyzer
$ cat test-mtry.analyzer
