https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66205
--- Comment #2 from simon at pushface dot org --- As a side note, AdaCore’s document on “The GNAT Configurable Run Time Facility”, section 5.5.2[1], says about Suppress_Standard_Library "All finalization and initialization (controlled types) is omitted”. I don’t think this is right; the only part of the standard s-stalib related to finalization is the procedure Adafinal, which is I think irrelevant to a runtime that doesn’t support program termination. [1] http://docs.adacore.com/gnathie_ug-docs/html/gnathie_ug/gnathie_ug/the_gnat_configurable_run_time_facility.html#specification-of-configuration-parameters