comp.lang.ada
 help / color / mirror / Atom feed
From: Stephen Leake <Stephe.Leake@nasa.gov>
To: comp.lang.ada@ada-france.org
Subject: Re: [No_Elaboration_Code] GNAT still generating rep_to_pos, why?
Date: 02 Jan 2004 12:51:56 -0500
Date: 2004-01-02T12:51:56-05:00	[thread overview]
Message-ID: <mailman.200.1073065943.31149.comp.lang.ada@ada-france.org> (raw)
In-Reply-To: <pan.2004.01.02.11.59.01.594976@n_o_p_o_r_k_a_n_d_h_a_m.abyss2.demon.co.uk>

"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 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.

-- 
-- Stephe




  reply	other threads:[~2004-01-02 17:51 UTC|newest]

Thread overview: 20+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-01-02 11:59 [No_Elaboration_Code] GNAT still generating rep_to_pos, why? Luke A. Guest
2004-01-02 17:51 ` Stephen Leake [this message]
2004-01-02 18:14   ` Luke A. Guest
2004-01-02 19:31     ` Per Sandberg
2004-01-02 19:46       ` Luke A. Guest
2004-01-02 21:17     ` Stephen Leake
2004-01-02 22:16       ` Luke A. Guest
2004-01-03  1:43         ` Stephen Leake
     [not found]         ` <87ekuhe5wq.fsf@news.sdbk.de>
2004-01-03  9:58           ` Luke A. Guest
2004-01-03  8:44       ` Luke A. Guest
2004-01-03  1:12     ` Robert I. Eachus
2004-01-03  8:41       ` Luke A. Guest
2004-01-03 11:53         ` Simon Wright
2004-01-03 12:20           ` Luke A. Guest
2004-01-04 12:26             ` Simon Wright
2004-01-03  1:41 ` sk
2004-01-03  2:29   ` Luke A. Guest
2004-01-03 10:48 ` Florian Weimer
2004-01-03 11:32   ` Luke A. Guest
2004-01-03 13:11     ` Florian Weimer
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox