Re: Memory overwrite?

[dewar@cs.nyu.edu (Robert Dewar)]

Bob Duff says:

>procedure CRASH is
>  subtype CONSTRAINED_INT is INTEGER range 2 .. 5;
>  I : INTEGER;
>  J : CONSTRAINED_INT;
>  X : array(CONSTRAINED_INT) of INTEGER;
>begin
>  for I in CONSTRAINED_INT'RANGE loop

GNAT also ought to warn that this I is different from the one declared
above, since the for loop automatically declares a new I!  ;-)

Robert asks Bob:

do you *really* want a warning here? I could see a warning saying that
the outer I is unreferenced if it was (but in fact it was referenced),
or that it was uninitialized (which it was, and in fact I think we 
should have been able to give the usual warning for this, I didn't
check, because I don't have the whole original post).

But just the fact that you are using two different I's does not seem
to warrant a warning to me!

Bob, what exactly did you have in mind?