[LLVMdev] LLVM 2.4 Dominance Frontier Problem

[David Greene]

I just finished upgrading our LLVM to 2.4 and I immediately ran into a problem 
with dominance frontier calculation:

llvm/lib/VMCore/PassManager.cpp:714: void 
llvm::PMDataManager::verifyDomInfo(llvm::Pass&, llvm::Function&): Assertion 
`0 && "Invalid dominator info"' failed.

Strangely enough, the Pass running when the assert triggers is Dominance 
Frontier Construction.

This is somewhat puzzling.  Any idea where to start looking?

                                         -Dave