https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122870
Bug ID: 122870
Summary: [UBSAN] runtime error in gnat.dg/frame_overflow2.adb
Product: gcc
Version: 16.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
Assignee: unassigned at gcc dot gnu.org
Reporter: dcb314 at hotmail dot com
CC: dkm at gcc dot gnu.org
Target Milestone: ---
For the Ada testsuite file gnat.dg/frame_overflow2.adb,
compiled with today's trunk version of Ada, with UBSAN enabled,
does this:
testsuite $ ~/gcc/results.20251126/bin/gcc -c ./gnat.dg/frame_overflow2.adb
../../trunk/gcc/config/i386/i386.cc:2252:15: runtime error: signed integer
overflow: 9223372036854775807 + 8 cannot be represented in type 'long int'
For this compiler:
testsuite $ ~/gcc/results.20251126/bin/gcc -v
Using built-in specs.
COLLECT_GCC=/home/dcb42/gcc/results.20251126/bin/gcc
COLLECT_LTO_WRAPPER=/home/dcb42/gcc/results.20251126/libexec/gcc/x86_64-pc-linux-gnu/16.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ../trunk/configure --prefix=/home/dcb42/gcc/results.20251126
--disable-doc --disable-multilib --disable-werror --enable-checking=yes
--enable-languages=c,c++,fortran,ada,cobol --with-build-config=bootstrap-ubsan
--with-pkgversion=a0b8cc4a473e1e87
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 16.0.0 20251126 (experimental) (a0b8cc4a473e1e87)
testsuite $
