Bytecode verification

[George Russell]

I think Kaffe's verifier should do the same as Sun's (what's the point
of Java if verifiers disagree about what code is acceptable?) and merge
local variable states at ALL instructions in the range.  In any case, I
don't think you buy much by any other strategy; don't forget that in any
case some exceptions can occur asynchronously, IE during any
instruction.  There are major nuisances about Sun's verifier, but like
Java I think we have to put up with them.