Re: [No_Elaboration_Code] GNAT still generating rep_to_pos, why?

[Per Sandberg <per.sandberg@bredband.net>]

To avoid elaboration code is quite simple, just write all your packages 
in such a way that no elaboration code is needed.

The simplest way to make this hapend is to add
	"pragma pure"
or
	"pragma preelaborate"
in all your specs.
Then the compiler will force you to write the code in suh a way that no 
elaboration code is needed.

/Per

Luke A. Guest wrote:

> On Fri, 02 Jan 2004 12:51:56 -0500, Stephen Leake wrote:
> 
> 
>>"Luke A. Guest" <laguest@n_o_p_o_r_k_a_n_d_h_a_m.abyss2.demon.co.uk> writes:
>>
>>
>>>So, my question is this; is this a bug in the compiler or am I missing
>>>something?
>>
>>Try "pragma No_Run_Time" in your gnat.ads file. It says "don't
>>generate _anything_ not directly required by my code", in effect.
>>
>>
>>>I'm currently using GCC-3.3.2 with the FSF GNAT package.
>>
>>"pragma No_Run_Time" may not be supported by this version. Look in the
>>gnat rm for similar pragmas; I think there is one to suppress the enum
>>stuff. 
>>
>>Note that No_Run_Time is not documented.
> 
> 
> I have this in my gnat.adc (not gnat.ads) file:
> 
> pragma No_Run_Time;
> pragma Restrictions(No_Exceptions);
> 
> This is in the GNAT RM from the GCC site:
> 
> "pragma No_Run_Time
>     Syntax:
> 
>           pragma No_Run_Time;
>           
> 
>     This is a configuration pragma that makes sure the user code does not
> use nor need anything from the GNAT run time. This is mostly useful in
> context where code certification is required. Please consult the GNAT Pro
> High-Integrity Edition User's Guide for additional information."
> 
> 
>>>I can remove the redundant code by using the following GCC options
>>>"-ffunction-sections -fdata-sections" and linker option "--gc-sections"
>>>but this is a workaround rather than a solution.
>>
>>Well, GNAT is not normally used to build kernels, and kernels are
>>_not_ like typical user programs. So I would not be surprised to need
>>some extra compiler/linker options. I'd call that a "solution", if
>>there is not a GNAT pragma that does what you need.
> 
> 
> Although a kernel is not a *normal* program, Ada was designed to be
> used in the embedded sector with or without an OS, so there must be a
> solution as somebody must've needed to do what I'm wanting to do at some point.
> 
> Thanks,
> Luke.
> 
> _______________________________________________
> comp.lang.ada mailing list
> comp.lang.ada@ada-france.org
> http://www.ada-france.org/mailman/listinfo/comp.lang.ada
>