> Can you get me a testcase that I can compile? This should be fixed in FRE.
This is gnat.dg/pack9.ad[sb]. You need a bare cross-compiler to s390x-linux: configure, build with make CFLAGS=-g, when the build fails, do gcc/ada then make gnatlib. Go back to the build dir, copy gnat.dg/pack9.ad[sb] and do: gcc/xgcc -Bgcc -S -O2 -gnatp pack9.adb -Igcc/ada/rts -fdump-tree-optimized The .optimized dump shouldn't contain any call to gnat_rcheck_21. If you install a change, please mention PR tree-optimization/51775. TIA. -- Eric Botcazou