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