https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111804
Bug ID: 111804
Summary: wrong code with '-O3 -fno-inline-functions-called-once
-fno-inline-small-functions -fno-toplevel-reorder
-fno-tree-fre'
Product: gcc
Version: 14.0
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 56103
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56103&action=edit
The preprocessed file
*******************************************************************************
OS and Platform:
Ubuntu 20.04.4 LTS
*******************************************************************************
gcc version:
$ gcc -v
Using built-in specs.
COLLECT_GCC=/home/ctc/gcc-releases/gcc-14/bin/gcc
COLLECT_LTO_WRAPPER=/home/ctc/gcc-releases/gcc-14/libexec/gcc/x86_64-pc-linux-gnu/14.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/cuisk/ctc/gcc-releases/gcc-14
--disable-multilib --enable-language=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 14.0.0 20231008 (experimental) (GCC)
*******************************************************************************
Command Lines:
$ gcc -I ~/csmith/include/csmith-2.3.0/ -O3 -fno-inline-functions-called-once
-fno-inline-small-functions -fno-toplevel-reorder -fno-tree-fre a.c -o w
2>w.txt
$ ./w
w: a.c:292: func_69: Assertion `l_71 == &l_72 || l_71 == 0' failed.
Aborted (core dumped)
$ gcc -I ~/csmith/include/csmith-2.3.0/ -fsanitize=undefined a.c -o w
$ ./w
checksum = 0
