Re: memory management in Ada: tedious without GC?

[Maciej Sobczak <see.my.homepage@gmail.com>]

On 25 Maj, 10:12, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
wrote:

> type X is record
>    A : Boolean := False;
>    B : Integer := 1;
>    C : Boolean := False;
> end record;
>
> May the compiler group A and C and initialize both them by zeroing memory?
> If the initialization order were fixed, that would be illegal to do.

If there are no side effects (like I/O) associated with initialization
of individual components, then you have no possibility to verify what
is the actual order and the compiler should be allowed to do whatever
it wants.

Fixing the order of initialization and leaving some margin for
optimizations do not conflict with each other.

--
Maciej Sobczak * www.msobczak.com * www.inspirel.com