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

[bugzilla-daemon at cs.uiuc.edu]

http://llvm.org/bugs/show_bug.cgi?id=1958

           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
    A TEST PASS
      Unnamed pass: implement Pass::getPassName()
--    A TEST PASS
0x86d00e0   Executing Pass 'A TEST PASS' on Module
'/home/koy/research/test/testcases/relationships2.bc'...
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.