https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66205
--- Comment #4 from simon at pushface dot org --- Agree it’s not ARM-specific, but it _is_ Ada-restricted-runtime-specific. I realise that this isn’t a configuration supported by AdaCore for their customers (there’d have been no need for this PR if it was!); does it have to be unsupported by GCC then? I’ve managed to make what I think is a very-low-quality workround by (a) not suppressing the standard library on the target in system.ads (b) including a C source file in the RTS which provides dummies for the irrelevant-in-this-context __gl_* objects which bindgen now references. Anyway, now I have my copyright assignment in place, I’ll submit the patch. I’m not sure what regression tests would be appropriate: I propose to apply the patch and bootstrap/make check-ada for Darwin, that will show I haven’t broken the normal case, and I can repeat the build for arm-eabi and build a null main program. If there’s no chance that this patch will ever be accepted, please let me know before I embark on this!