https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112430
Bug ID: 112430
Summary: [14 Regression] ICE: verify_ssa failed, missing
definition
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: public at timruffing dot de
Target Milestone: ---
Created attachment 56526
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56526&action=edit
output of freport-bug
We see a verify_ssa failed on 14. According to our testing on CI, this is a
regression between snapshots 20231015 and 20231029. I haven't tested any
version in between these. I have attached the source, but sorry, it's a huge
unit build...
Target: x86_64-pc-linux-gnu
Configured with: ../gcc-14-20231105/configure --prefix=/opt/gcc-snapshot
--enable-languages=c --disable-bootstrap --disable-multilib --without-isl
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 14.0.0 20231105 (experimental) (GCC)
In file included from src/scalar_impl.h:22,
from src/secp256k1.c:28:
src/scalar_8x32_impl.h: In function 'secp256k1_scalar_reduce_512':
src/scalar_8x32_impl.h:417:13: error: missing definition
417 | static void secp256k1_scalar_reduce_512(secp256k1_scalar *r, const
uint32_t *l) {
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~
for SSA_NAME: c2_505 in statement:
# DEBUG c2 => _110 + c2_505
during GIMPLE pass: widening_mul
src/scalar_8x32_impl.h:417:13: internal compiler error: verify_ssa failed
0x1212c19 verify_ssa(bool, bool)
../../gcc-14-20231105/gcc/tree-ssa.cc:1203
0xe8c3c5 execute_function_todo
../../gcc-14-20231105/gcc/passes.cc:2095
0xe8c7ae execute_todo
../../gcc-14-20231105/gcc/passes.cc:2142
/opt/gcc-snapshot/libexec/gcc/x86_64-pc-linux-gnu/14.0.0/cc1 -quiet -I .
-imultiarch x86_64-linux-gnu -MD src/.libs/libsecp256k1_la-secp256k1.d -MF
src/.deps/libsecp256k1_la-secp256k1.Tpo -MP -MT
src/libsecp256k1_la-secp256k1.lo -D PACKAGE_NAME="libsecp256k1" -D
PACKAGE_TARNAME="libsecp256k1" -D PACKAGE_VERSION="0.4.1-dev" -D
PACKAGE_STRING="libsecp256k1 0.4.1-dev" -D
PACKAGE_BUGREPORT="https://github.com/bitcoin-core/secp256k1/issues"; -D
PACKAGE_URL="https://github.com/bitcoin-core/secp256k1"; -D
PACKAGE="libsecp256k1" -D VERSION="0.4.1-dev" -D HAVE_STDIO_H=1 -D
HAVE_STDLIB_H=1 -D HAVE_STRING_H=1 -D HAVE_INTTYPES_H=1 -D HAVE_STDINT_H=1 -D
HAVE_STRINGS_H=1 -D HAVE_SYS_STAT_H=1 -D HAVE_SYS_TYPES_H=1 -D HAVE_UNISTD_H=1
-D STDC_HEADERS=1 -D HAVE_DLFCN_H=1 -D LT_OBJDIR=".libs/" -D
USE_FORCE_WIDEMUL_INT64=1 -D ECMULT_WINDOW_SIZE=15 -D ECMULT_GEN_PREC_BITS=4 -D
VALGRIND -D PIC src/secp256k1.c -quiet -dumpdir src/.libs/ -dumpbase
libsecp256k1_la-secp256k1.c -dumpbase-ext .c -mtune=generic -march=x86-64 -g
-O2 -O2 -Wpedantic -Wno-long-long -Wnested-externs -Wshadow -Wstrict-prototypes
-Wundef -Wno-overlength-strings -Wall -Wno-unused-function -Wextra -Wcast-align
-Wcast-align=strict -std=c90 -fvisibility=hidden -freport-bug -fPIC -o -
-frandom-seed=0 -fdump-noaddr
