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
_______________________________________________
llvm-commits mailing list
llvm-commits@cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits

Reply via email to