https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121774
Bug ID: 121774
Summary: [14 Regression] expensive-optimizations produces wrong
results
Product: gcc
Version: 14.2.1
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: szhong at perforce dot com
Target Milestone: ---
Created attachment 62294
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=62294&action=edit
testcase and preprocessed files
$ ./t
t: t.cpp:51: int main(): Assertion `carry' failed.
output without expensive-optimizations
$ g++ -O1 -o t t.cpp
$ ./t
compiler details:
$ g++ -v -save-temps -O1 -fexpensive-optimizations -o t t.cpp
Using built-in specs.
COLLECT_GCC=g++
COLLECT_LTO_WRAPPER=/usr/libexec/gcc/x86_64-redhat-linux/14/lto-wrapper
OFFLOAD_TARGET_NAMES=nvptx-none:amdgcn-amdhsa
OFFLOAD_TARGET_DEFAULT=1
Target: x86_64-redhat-linux
Configured with: ../configure --enable-bootstrap
--enable-languages=c,c++,fortran,lto --prefix=/usr --mandir=/usr/share/man
--infodir=/usr/share/info --with-bugurl=http://bugzilla.redhat.com/bugzilla
--enable-shared --enable-threads=posix --enable-checking=release
--enable-multilib --with-system-zlib --enable-__cxa_atexit
--disable-libunwind-exceptions --enable-gnu-unique-object
--enable-linker-build-id --with-gcc-major-version-only
--enable-libstdcxx-backtrace --with-libstdcxx-zoneinfo=/usr/share/zoneinfo
--with-linker-hash-style=gnu --enable-plugin --enable-initfini-array
--without-isl --enable-offload-targets=nvptx-none,amdgcn-amdhsa
--enable-offload-defaulted --without-cuda-driver --enable-gnu-indirect-function
--enable-cet --with-tune=generic --with-arch_64=x86-64-v3 --with-arch_32=x86-64
--build=x86_64-redhat-linux --with-build-config=bootstrap-lto
--enable-link-serialization=1 --enable-host-pie --enable-host-bind-now
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 14.2.1 20250110 (Red Hat 14.2.1-7) (GCC)
COLLECT_GCC_OPTIONS='-v' '-save-temps' '-O1' '-fexpensive-optimizations' '-o'
't' '-foffload-options=-l_GCC_m' '-shared-libgcc' '-mtune=generic'
'-march=x86-64-v3'
/usr/libexec/gcc/x86_64-redhat-linux/14/cc1plus -E -quiet -v -D_GNU_SOURCE
t.cpp -mtune=generic -march=x86-64-v3 -fexpensive-optimizations
-foffload-options=-l_GCC_m -O1 -fpch-preprocess -o t.ii
ignoring nonexistent directory
"/usr/lib/gcc/x86_64-redhat-linux/14/include-fixed"
ignoring nonexistent directory
"/usr/lib/gcc/x86_64-redhat-linux/14/../../../../x86_64-redhat-linux/include"
#include "..." search starts here:
#include <...> search starts here:
/usr/lib/gcc/x86_64-redhat-linux/14/../../../../include/c++/14
/usr/lib/gcc/x86_64-redhat-linux/14/../../../../include/c++/14/x86_64-redhat-linux
/usr/lib/gcc/x86_64-redhat-linux/14/../../../../include/c++/14/backward
/usr/lib/gcc/x86_64-redhat-linux/14/include
/usr/local/include
/usr/include
End of search list.
COLLECT_GCC_OPTIONS='-v' '-save-temps' '-O1' '-fexpensive-optimizations' '-o'
't' '-foffload-options=-l_GCC_m' '-shared-libgcc' '-mtune=generic'
'-march=x86-64-v3'
/usr/libexec/gcc/x86_64-redhat-linux/14/cc1plus -fpreprocessed t.ii -quiet
-dumpbase t.cpp -dumpbase-ext .cpp -mtune=generic -march=x86-64-v3 -O1 -version
-fexpensive-optimizations -foffload-options=-l_GCC_m -o t.s
GNU C++17 (GCC) version 14.2.1 20250110 (Red Hat 14.2.1-7)
(x86_64-redhat-linux)
compiled by GNU C version 14.2.1 20250110 (Red Hat 14.2.1-7), GMP
version 6.2.1, MPFR version 4.2.1, MPC version 1.3.1, isl version none
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
Compiler executable checksum: b89ee2dbc0f03a12df910586e15e87e1
COLLECT_GCC_OPTIONS='-v' '-save-temps' '-O1' '-fexpensive-optimizations' '-o'
't' '-foffload-options=-l_GCC_m' '-shared-libgcc' '-mtune=generic'
'-march=x86-64-v3'
as -v --64 -o t.o t.s
GNU assembler version 2.41 (x86_64-redhat-linux) using BFD version version
2.41-53.el10
COMPILER_PATH=/usr/libexec/gcc/x86_64-redhat-linux/14/:/usr/libexec/gcc/x86_64-redhat-linux/14/:/usr/libexec/gcc/x86_64-redhat-linux/:/usr/lib/gcc/x86_64-redhat-linux/14/:/usr/lib/gcc/x86_64-redhat-linux/
LIBRARY_PATH=/usr/lib/gcc/x86_64-redhat-linux/14/:/usr/lib/gcc/x86_64-redhat-linux/14/../../../../lib64/:/lib/../lib64/:/usr/lib/../lib64/:/usr/lib/gcc/x86_64-redhat-linux/14/../../../:/lib/:/usr/lib/
COLLECT_GCC_OPTIONS='-v' '-save-temps' '-O1' '-fexpensive-optimizations' '-o'
't' '-foffload-options=-l_GCC_m' '-shared-libgcc' '-mtune=generic'
'-march=x86-64-v3' '-dumpdir' 't.'
/usr/libexec/gcc/x86_64-redhat-linux/14/collect2 -plugin
/usr/libexec/gcc/x86_64-redhat-linux/14/liblto_plugin.so
-plugin-opt=/usr/libexec/gcc/x86_64-redhat-linux/14/lto-wrapper
-plugin-opt=-fresolution=t.res -plugin-opt=-pass-through=-lgcc_s
-plugin-opt=-pass-through=-lgcc -plugin-opt=-pass-through=-lc
-plugin-opt=-pass-through=-lgcc_s -plugin-opt=-pass-through=-lgcc --build-id
--no-add-needed --eh-frame-hdr --hash-style=gnu -m elf_x86_64 -dynamic-linker
/lib64/ld-linux-x86-64.so.2 -o t
/usr/lib/gcc/x86_64-redhat-linux/14/../../../../lib64/crt1.o
/usr/lib/gcc/x86_64-redhat-linux/14/../../../../lib64/crti.o
/usr/lib/gcc/x86_64-redhat-linux/14/crtbegin.o
-L/usr/lib/gcc/x86_64-redhat-linux/14
-L/usr/lib/gcc/x86_64-redhat-linux/14/../../../../lib64 -L/lib/../lib64
-L/usr/lib/../lib64 -L/usr/lib/gcc/x86_64-redhat-linux/14/../../.. t.o -lstdc++
-lm -lgcc_s -lgcc -lc -lgcc_s -lgcc
/usr/lib/gcc/x86_64-redhat-linux/14/crtend.o
/usr/lib/gcc/x86_64-redhat-linux/14/../../../../lib64/crtn.o
COLLECT_GCC_OPTIONS='-v' '-save-temps' '-O1' '-fexpensive-optimizations' '-o'
't' '-foffload-options=-l_GCC_m' '-shared-libgcc' '-mtune=generic'
'-march=x86-64-v3' '-dumpdir' 't.'
$ cat /etc/os-release
NAME="Red Hat Enterprise Linux"
VERSION="10.0 (Coughlan)"
ID="rhel"
ID_LIKE="centos fedora"
VERSION_ID="10.0"
PLATFORM_ID="platform:el10"
PRETTY_NAME="Red Hat Enterprise Linux 10.0 (Coughlan)"
ANSI_COLOR="0;31"
LOGO="fedora-logo-icon"
CPE_NAME="cpe:/o:redhat:enterprise_linux:10::baseos"
HOME_URL="https://www.redhat.com/";
VENDOR_NAME="Red Hat"
VENDOR_URL="https://www.redhat.com/";
DOCUMENTATION_URL="https://access.redhat.com/documentation/en-us/red_hat_enterprise_linux/10";
BUG_REPORT_URL="https://issues.redhat.com/";
REDHAT_BUGZILLA_PRODUCT="Red Hat Enterprise Linux 10"
REDHAT_BUGZILLA_PRODUCT_VERSION=10.0
REDHAT_SUPPORT_PRODUCT="Red Hat Enterprise Linux"
REDHAT_SUPPORT_PRODUCT_VERSION="10.0"
