Preelaborable packages with address clauses
(AI12-0175)
allows packages with aspect
Preelaborate to
contain certain simple functions known to the compiler, i.e. an instance
of
Unchecked_Conversion, a function declared
in
System.Storage_Elements, or the functions
To_Pointer and
To_Address
declared in an instance of
System.Address_to_Access_Conversions.
This allows the declaring of objects with an address clause within a
preelaborable package, which can be very useful for small embedded systems.