Uninitialized subtype variables

[pattis@beaver.cs.washington.edu (Richard Pattis)]

I cannot find anything in the LRM (mostly around 3.2.1) for Ada that says
after elaborating 
   X : NATURAL;
X's value is guaranteed to be >= 0. Is this in fact correct? Is there even a
guarantee that the bit pattern it contains can be interpreted as a
legal INTEGER?

Now, suppose I also declared PROCEDURE P (N : NATURAL); A smart compiler
could avoid checking the parameter constraint when calling P(X). But this could
lead to some interesting errors if X truly contained a negative value from its
(lack of) initialization.

Any comments?





-- 
------------------------------------------------------------------------------
  Richard E. Pattis			"Programming languages are like
  Department of Computer Science	 pizzas - they come in only "too"
    and Engineering			 sizes: too big and too small."