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

[Devang Patel]

On Oct 31, 2007, at 2:30 PM, Anton Korobeynikov wrote:

>
>> 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.

aha.
ok.
-
Devang