Bytecode verifier

Mon Mar 29 17:57:00 GMT 2004

>>>>> "Ranjit" == Ranjit Mathew <rmathew@hotmail.com> writes:

Ranjit> Can you please elaborate a bit more? I mean, wouldn't this
Ranjit> create licensing issues? The configury will also get
Ranjit> a little weird I guess.
Andrew already answered about licensing.
I haven't yet tackled the configury, but yes, it will get weird.
There was a thread about this last year on the gcc list. Perhaps
we'll have to add another bootstrap stage, or only build gcj in the
second stage, or something like that.
As for how it is done, basically I changed the verifier so things like
"class" are abstract, then any place we need information about a class
we have a defined C API for returning what we need. Then in gcc we
just implement all of this in terms of trees.
Tom