-fnew-verifier

[Andrew Haley]

Bryce McKinlay writes:
 > Tom Tromey wrote:
 > 
 > >I think we should just get rid of -fnew-verifier and instead have that
 > >be implied by -findirect-dispatch.  First, -findirect-dispatch
 > >actually already requires this, and second, that way we don't have to
 > >document it (and then keep it around for years even after it is
 > >useless).
 > 
 > Agreed. Also, if we arn't going to make --indirect-dispatch the default 
 > for 4.0, then we should at least make it the default on the HEAD as soon 
 > as 4.0 branches.
 > 
 > Are there any strong against making it the default, anyway? Performance? 
 > Bugs?

Yeah, many bugs, but almost all confined to the source compiler.  I'm
looking at them now.  The new ABI is an *experimental preview* for
4.0, I think.

Andrew.