[No_Elaboration_Code] GNAT still generating rep_to_pos, why?

["Luke A. Guest" <laguest@n_o_p_o_r_k_a_n_d_h_a_m.abyss2.demon.co.uk>]

Hi,

In my attempts to get a "hello world" style kernel running on my SGI O2,
I have been developing a simple program to dump out a character to the
PROM console.

I have a package which has all my definitions and types needed by the
functions in the ARCS PROM. I have also needed to add the
No_Elaboration_Code pragma to get static initialisation code much like
that of C. Now, here are the problems:

1) There are two <enum type>_rep_to_pos functions generated but never
used.

2) I have set up my SP_Block record instance to be located at a particular
memory address, yet the compiler still generates code to initialise this
structure.

So, my question is this; is this a bug in the compiler or am I missing
something?

I'm currently using GCC-3.3.2 with the FSF GNAT package.

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.

Thanks,
Luke.