Re: Initialized global data

[Simon Wright <simon@pogner.demon.co.uk>]

dewar@merv.cs.nyu.edu (Robert Dewar) writes:

> Simon says
> 
> <<I saw (searching the AARM for 'implicit initialization' and 'default
> initialization') that a pragma Import would do the trick but I must
> say it never occured to me to do this!
> >>
> 
> No need to rummage around in the AARM here, the rule is quite clear
> and explicit in the RM (B.1(24))
> 
> 24   The declaration of an imported object shall not include an explicit
> initialization expression.  Default initializations are not performed.

My AARM is more searchable than my RM.

Yes, I saw that clause, indeed that was the point of "a pragma Import
would do the trick", what I meant was that

  I : Integer;
  pragma Import (Ada, I);  -- prevent default initialization
  for I'Address use ...

is (IMHO) a non-obvious construction! (but thanks very much to all
who've helped).

There are just so many idioms in Ada, do we have a budding Coplien?