[llvm-commits] [llvm] r43578 - /llvm/trunk/lib/VMCore/Verifier.cpp

[Anton Korobeynikov]

> Why can't you check this at the beginning of  
> Verifier::visitBasicBlock() ?
I think due to this:

>AU.addRequired<DominatorTree>();

DomTree crashes on invalid CFG.

-- 
With best regards, Anton Korobeynikov.

Faculty of Mathematics & Mechanics, Saint Petersburg State University.