[LLVMbugs] [Bug 1958] New: Assertion when Module Pass requires Function Pass

bugzilla-daemon at cs.uiuc.edu bugzilla-daemon at cs.uiuc.edu
Tue Jan 29 12:32:32 PST 2008


           Summary: Assertion when Module Pass requires Function Pass
           Product: new-bugs
           Version: unspecified
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: koyrehme.bugs at gmail.com
                CC: llvmbugs at cs.uiuc.edu

Created an attachment (id=1361)
 --> (http://llvm.org/bugs/attachment.cgi?id=1361)
Simple module pass requiring LoopInfo

The attached pass generates the following assertion:

opt -disable-output -disable-verify -debug-pass=Details -load
./llvm/Debug/lib/TEST.so -TEST test.bc

Pass Arguments:  -TEST
Target Data Layout
  ModulePass Manager
      Unnamed pass: implement Pass::getPassName()
0x86d00e0   Executing Pass 'A TEST PASS' on Module
0x86cd940     Required Analyses: Natural Loop Construction
Pass Arguments:  -domtree -loops
  FunctionPass Manager
    Dominator Tree Construction
    Natural Loop Construction

opt: {snip}/llvm/include/llvm/PassAnalysisSupport.h:226: AnalysisType&
llvm::Pass::getAnalysisID(const llvm::PassInfo*, llvm::Function&) [with
AnalysisType = llvm::LoopInfo]: Assertion `ResultPass && "getAnalysis*() called
on an analysis that was not " "'required' by pass!"' failed.

The documentation (http://llvm.org/docs/WritingAnLLVMPass.html#ModulePass) says
that this should be possible.

Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.

More information about the llvm-bugs mailing list