https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101667
--- Comment #2 from Aldy Hernandez <aldyh at gcc dot gnu.org> --- I was able to reproduce on my Fedora 11.1.1 system compiler, but it seems to work on trunk: $ gcc -v Using built-in specs. COLLECT_GCC=gcc COLLECT_LTO_WRAPPER=/opt/notnfs/aldyh/bld/threader/ada/install/bin/../libexec/gcc/x86_64-pc-linux-gnu/12.0.0/lto-wrapper Target: x86_64-pc-linux-gnu Configured with: /home/aldyh/src/gcc/configure --enable-languages=c,c++,ada --disable-bootstrap --disable-multilib --prefix =/home/aldyh/bld/threader/ada/install --disable-libgomp Thread model: posix Supported LTO compression algorithms: zlib zstd gcc version 12.0.0 20210729 (experimental) (GCC) $ make gnatmake -gnatVa -gnata -O1 -ftree-vrp src/egl-objects-displays.adb gcc -c -Isrc/ -gnatVa -gnata -O1 -ftree-vrp -I- src/egl-objects-displays.adb gcc -c -Isrc/ -gnatVa -gnata -O1 -ftree-vrp -I- src/egl.adb gcc -c -Isrc/ -gnatVa -gnata -O1 -ftree-vrp -I- src/egl-api.ads gcc -c -Isrc/ -gnatVa -gnata -O1 -ftree-vrp -I- src/egl-errors.adb gcc -c -Isrc/ -gnatVa -gnata -O1 -ftree-vrp -I- src/egl-objects.adb gcc -c -Isrc/ -gnatVa -gnata -O1 -ftree-vrp -I- src/egl-objects-devices.adb gcc -c -Isrc/ -gnatVa -gnata -O1 -ftree-vrp -I- src/egl-loading.adb