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