https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125984
--- Comment #2 from Urs Maurer <[email protected]> --- Additional information: I have reproduced the same issue on a second platform. Platform: Debian Trixie Raspberry Pi 5 (AArch64) Compiler: GNAT 15.2
