[Bug ada/66205] gnatbind generates invalid code when finalization is enabled in restricted runtime

[simon at pushface dot org]

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