[LLVMbugs] [Bug 3087] New: "Value does not have a node in the points-to graph"

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: "Value does not have a node in the points-to graph"
           Product: libraries
           Version: 2.4
          Platform: Other
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Interprocedural Analyses
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: sliedes at cc.hut.fi
                CC: llvmbugs at cs.uiuc.edu


Created an attachment (id=2218)
 --> (http://llvm.org/bugs/attachment.cgi?id=2218)
Test case

Running "opt -anders-aa -loopsimplify -dse" on the attached bitcode causes an
assertion failure with the message "Value does not have a node in the points-to
graph".

------------------------------------------------------------
$ opt -anders-aa -loopsimplify -dse bugpoint-reduced-simplified.bc
        %p.2.ph.ph = phi %struct.Cls** [ null, %entry ], [ %1,
%bb38.outer.loopexit ]           ; <%struct.Cls**> [#uses=1]

opt: /home/sliedes/llvm/src/llvm-2.4/lib/Analysis/IPA/Andersens.cpp:508:
unsigned int<unnamed>::Andersens::getNode(llvm::Value*): Assertion `0 && "Value
does not have a node in the points-to graph!"' failed.
opt[0x7603af]
/lib/libc.so.6[0x7f2bf0baef60]
/lib/libc.so.6(gsignal+0x35)[0x7f2bf0baeed5]
/lib/libc.so.6(abort+0x183)[0x7f2bf0bb03f3]
/lib/libc.so.6(__assert_fail+0xe9)[0x7f2bf0ba7dc9]
opt[0x5f8154]
opt[0x5f87f7]
opt(_ZN4llvm24MemoryDependenceAnalysis13getDependencyEPNS_11InstructionES2_PNS_10BasicBlockE+0x570)[0x649380]
opt[0x4e8af8]
opt[0x4e8d8a]
opt(_ZN4llvm13FPPassManager13runOnFunctionERNS_8FunctionE+0x15b)[0x6ff8ab]
opt(_ZN4llvm13FPPassManager11runOnModuleERNS_6ModuleE+0xa6)[0x6ffb86]
opt(_ZN4llvm13MPPassManager11runOnModuleERNS_6ModuleE+0xd0)[0x6ff3d0]
opt(_ZN4llvm15PassManagerImpl3runERNS_6ModuleE+0x86)[0x6ff686]
opt(main+0xa5f)[0x49035f]
/lib/libc.so.6(__libc_start_main+0xe6)[0x7f2bf0b9b1a6]
opt(sinh+0x39)[0x485379]
Aborted
------------------------------------------------------------


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