Re: Hello World 217Kb ?

[Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de>]

Jeffrey Carter <spam@spam.com> wrote:
: Georg Bauhaus wrote:
: 
:> when I use the same compiler for translating a function that
:> returns an uninitialised integer variable, I get
:> the following sizes (-O, -static, -gnato):
: 
: Let's be equivalent here. What do you get if you turn off run-time 
: checks, since C doesn't add them?

I get surprisingly little less if anything at all, so I had omitted these
binaries from the listing. I guess this is because GNAT always translates
its own internal files with -gnatpg, so even -a won't change the size
more than 2k for a 555k statically linked executable, 2k more actually.
There is no change in size for the dynamically linked program (ret_code)
when switching from -gnato to -gnatp.  (The assembly listing is the same,
there is no checking code, AFAICS.)

Using some of the Restrictions pragmas the smallest I could get for this
Ada program is 5224 bytes, after stripping symbols. The a.out file has
2856 bytes. Some sections of the disassembly are longer in Ada produce,
one of them is adainit :-).