Java: [BC] Verifier fixes and new -fnew-verifier option

[Bryce McKinlay]

This patch adds a new argument, -fnew-verifier, to the Java front end 
which enables the new verifier. It also fixes several verifier thinkos 
and adds some missing initialization code. I'm checking this in to the 
BC branch.

The verifier now runs successfully for the small .class files I tried it 
on, but the compiler will still currently crash later on due to missing 
type maps that the old verifier was generating.

Bryce


-------------- next part --------------
A non-text attachment was scrubbed...
Name: java-verifier-3.patch
Type: text/x-patch
Size: 9404 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20041018/e574f60e/attachment.bin>