https://gcc.gnu.org/bugzilla/show_bug.cgi?id=15614
--- Comment #7 from Nicolas Boulenguez <nicolas at debian dot org> --- Hello. First reported as https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=244970. This seems fixed in gnat-14, snapshot from the 20240429 in Debian.