Re: [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>]

On Sat, 03 Jan 2004 11:53:03 +0000, Simon Wright wrote:

> I found Suppress_Initialization at
> http://gcc.gnu.org/onlinedocs/gnat_rm/Implementation-Defined-Pragmas.html#Implementation%20Defined%20Pragmas
> but I don't know whether it is officially supported by ACT for the
> future (I tried it with 3.15p and 5.01a, the latter is closer to the
> GCC version).

As for support from ACT, I'm even sure if they'll give any kind of support
unless you pay for it. You'd think that a minimum level of support would
do?? Considering the email I got from Robert Dewar, I'm not too sure that
an OS built with GNAT would be too portable across different versions
either, which is bad in itself.
 
> The key was to apply the pragma to type P.

Genius! That does indeed work. Thanks for that one. I just need to be
careful of what I apply it to. I suppose for this kind of work, it could
possible be applied to all record types. I'll have to play and see.

> I've managed to get myself confused about which combination of
> options/compiler produced which effect, but I get the impression that
> there is a difference between 3.15p and 5.01a here ..
> 
> I'm not familiar with System'To_Address .. neater than the
> Storage_Elements version, but more difficult to grep for in the
> source!

Well, the difference is that System.Storage_Elements.To_Address is a
function call and System'To_Address isn't. So with the latter, you get a
nice static initialisation, which is what is really required in this case.

As for grepping, this works for me: grep -r System\'To\_Address *

Thanks,
Luke.