https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71413
--- Comment #2 from Bernd Schmidt <bernds at gcc dot gnu.org> --- Oof, I don't think I'll be able to reproduce an Ada failure on ARM. Can you narrow the problem down a bit, identifying what the differences are?