[LLVMdev] LLVM 2.4 Dominance Frontier Problem

[Devang Patel]

On Feb 18, 2009, at 8:00 AM, David Greene wrote:

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

The PassManager must have printed dominator diffs. before this  
assertion. Go and fix the last pass that mainpulated dominator info or  
file a PR with reproducible test case for mainline. IIRC, dom info  
verifier is not enabled by default.

-
Devang