https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117911
Bug ID: 117911
Summary: Segmentation fault with '-O3
-fno-inline-functions-called-once
-fno-inline-small-functions -fno-ipa-cp
-fno-ipa-modref -fno-ipa-pure-const'
Product: gcc
Version: 13.3.1
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: 19373742 at buaa dot edu.cn
Target Milestone: ---
Created attachment 59785
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=59785&action=edit
The preprocessed file
*******************************************************************************
OS and Platform:
Ubuntu 22.04.3 LTS
*******************************************************************************
gcc version:
$ gcc -v
Using built-in specs.
COLLECT_GCC=/gcc-releases/gcc-13/bin/gcc
COLLECT_LTO_WRAPPER=/gcc-releases/gcc-13/libexec/gcc/x86_64-pc-linux-gnu/13.3.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/gcc-releases/gcc-13 --disable-multilib
--enable-laguages=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 13.3.1 20241129 (GCC)
*******************************************************************************
Command Lines:
$ gcc -I ~/csmith/include/csmith-2.3.0 -O3 -fno-inline-functions-called-once
-fno-inline-small-functions -fno-ipa-cp -fno-ipa-modref -fno-ipa-pure-const a.c
-o ec
$ ./ec
Segmentation fault (core dumped)
$ gcc -I ~/csmith/include/csmith-2.3.0 a.c -o nec
$ ./nec
checksum = 94C3FC73
*******************************************************************************
My Cvise encountered a bug during the reduction. I will try to provide the
reduced test case as soon as possible.