>>>>> "Richard" == Richard Kenner <[EMAIL PROTECTED]> writes:

Richard> The simplest example of that is an uninitialized variable.

Richard> I think the best approach is to use flags set by the front
Richard> end to indicate which of these is to be the case.  For C, I
Richard> believe (1) is always the proper meaning.  I don't know what
Richard> it is for C++, Fortran, and Java.

With Java the middle end should never see an uninitialized variable.
Uninitialized variables are precluded by the language definition, or
the bytecode verifier.

Tom

Reply via email to