> I fixed the verifier in a different way in r161697, so we can remove > that from consideration. OK, it did find a lot more cases, so that is probably a good thing. I have rebased the GVN patch and posted it again. > -Eli Cheers, Rafael