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