Patch: 4.0: Always use new verifier by default

[Bryce McKinlay]

The new verifier has been enabled by default for some time, both on HEAD 
and when -findirect-dispatch is used. This patch makes it "always on" 
for the 4.0 branch, even when -findirect-dispatch is not in use. This 
will help people who still run in to the various bugs with the old 
verifier ;-)

The old verifier code has been removed completely on HEAD, however I 
decided to take the less invasive approach here. This means we don't 
break compatibility with the -fnew-verifier command line option on the 
4.0 branch.

I'm checking this in.

Bryce

-------------- next part --------------
A non-text attachment was scrubbed...
Name: gcc40-verifier.patch
Type: text/x-patch
Size: 1134 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20051013/51344632/attachment.bin>