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

[Simon Wright <simon@pushface.org>]

"Luke A. Guest" <laguest@n_o_p_o_r_k_a_n_d_h_a_m.abyss2.demon.co.uk> writes:

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

This is a GNAT attribute, I see.

   The System'To_Address (System is the only permissible prefix)
   denotes a function identical to System.Storage_Elements.To_Address
   except that it is a static attribute. This means that if its
   argument is a static expression, then the result of the attribute
   is a static expression. The result is that such an expression can
   be used in contexts (e.g. preelaborable packages) which require a
   static expression and where the function call could not be used
   (since the function call is always non-static, even if its argument
   is static).

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

No, I meant that you can't grep system.ads, so if you are thinking to
yourself "I know there's a To_Address function somewhere ..." you have
a long search ahead of you!

-- 
Simon Wright                               100% Ada, no bugs.