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
next prev parent 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