Re: Ada: A beginners experience

[Simon Wright <simon@pushface.org>]

Maciej Sobczak <see.my.homepage@gmail.com> writes:

>> package body Program is
>> 
>>    X : Integer := 123; -- This actually worked correctly for me
>
> Interesting! I cannot explain that without analyzing the assembly and
> the linker script, but I can imagine it being the case.

At the end of program.s, in section .data,

           .align  2
           .type   program__x, %object
           .size   program__x, 4
   program__x:
           .word   123
           .ident  "GCC: (GNU) 8.1.0"

(If you don't assign X within Run, this gets put into .rodata)