Bytecode verification

[Erik Schnetter]

On Tue, 29 Apr 1997, Per Bothner wrote:

[Some discussion of local variables and exceptions deleted]

> > Should is be a merge of all possible locals from anywhere in the exception
> > block?  This seems rather heavy handed to me, but perhas there's an
> > alternative?
> 
> Well, at least conceptually, that seems to be what is needed.
> But I agree, that seems a bit expensive.  Some simplifications seem
> easy - not doing a merge for instructions that cannot throw
> an exception.  And you only need to do a merge when the types
> of a local variable has changed.  So on the whole, I don't think
> it should be too bad.

Hmm.  It is not that I am experienced with threads, but I seem to recall 
a method that can throw an exception asynchronously to another thread.  
That would mean that any exception can occur at any time.

-erik

-----
Erik Schnetter, erik.schnetter at student.uni-tuebingen.de

Arthur C. Clarke saw the future.
	He knew it would be run by huge computers.
		And he was right.		Just not about the size.