https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109027
Bug ID: 109027
Summary: [13 Regression] ICE: SIGSEGV (infinite recursion in
ana::constraint_manager::eval_condition /
ana::constraint_manager::impossible_derived_conditions
_p) with -fanalyzer
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: zsojka at seznam dot cz
Target Milestone: ---
Host: x86_64-pc-linux-gnu
Target: x86_64-pc-linux-gnu
Created attachment 54587
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54587&action=edit
auto-reduced testcase
Compiler output:
$ x86_64-pc-linux-gnu-gcc -fanalyzer testcase.C -wrapper gdb,--args
...
Program received signal SIGSEGV, Segmentation fault.
0x000000000114d104 in ggc_internal_alloc (size=size@entry=32, f=f@entry=0x0,
s=s@entry=0, n=n@entry=1) at /repo/gcc-trunk/gcc/ggc-page.cc:1278
1278 {
(gdb) bt
#0 0x000000000114d104 in ggc_internal_alloc (size=size@entry=32,
f=f@entry=0x0, s=s@entry=0, n=n@entry=1)
at /repo/gcc-trunk/gcc/ggc-page.cc:1278
#1 0x0000000001349489 in ggc_internal_cleared_alloc (size=size@entry=32,
f=f@entry=0x0, s=s@entry=0, n=n@entry=1)
at /repo/gcc-trunk/gcc/ggc-common.cc:114
...
#19 0x00000000028f2826 in ana::constraint_manager::eval_condition
(this=0x4041780, lhs=0x39d8160, op=EQ_EXPR, rhs=0x3ac1c10)
at /repo/gcc-trunk/gcc/analyzer/constraint-manager.cc:2591
#20 0x00000000028f5025 in
ana::constraint_manager::impossible_derived_conditions_p (this=0x4041780,
lhs=0x3ac7600,
rhs=0x3a2b5a0) at /repo/gcc-trunk/gcc/analyzer/constraint-manager.cc:2525
#21 0x00000000028f2826 in ana::constraint_manager::eval_condition
(this=0x4041780, lhs=0x3ac7600, op=EQ_EXPR, rhs=0x3a2b5a0)
at /repo/gcc-trunk/gcc/analyzer/constraint-manager.cc:2591
...
$ x86_64-pc-linux-gnu-gcc -v
Using built-in specs.
COLLECT_GCC=/repo/gcc-trunk/binary-latest-amd64/bin/x86_64-pc-linux-gnu-gcc
COLLECT_LTO_WRAPPER=/repo/gcc-trunk/binary-trunk-r13-6471-20230304015539-g53940eee089-checking-yes-rtl-df-extra-amd64/bin/../libexec/gcc/x86_64-pc-linux-gnu/13.0.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /repo/gcc-trunk//configure --enable-languages=c,c++
--enable-valgrind-annotations --disable-nls --enable-checking=yes,rtl,df,extra
--with-cloog --with-ppl --with-isl --build=x86_64-pc-linux-gnu
--host=x86_64-pc-linux-gnu --target=x86_64-pc-linux-gnu
--with-ld=/usr/bin/x86_64-pc-linux-gnu-ld
--with-as=/usr/bin/x86_64-pc-linux-gnu-as --disable-libstdcxx-pch
--prefix=/repo/gcc-trunk//binary-trunk-r13-6471-20230304015539-g53940eee089-checking-yes-rtl-df-extra-amd64
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 13.0.1 20230304 (experimental) (GCC)
