[LLVMbugs] [Bug 3263] New: Assertion failed: " Value does not have a node in the points-to graph!" in anders-aa

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: Assertion failed: "Value does not have a node in the
                    points-to graph!" in anders-aa
           Product: libraries
           Version: trunk
          Platform: PC
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Global Analyses
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: Nathan.Keynes at sun.com
                CC: llvmbugs at cs.uiuc.edu


Created an attachment (id=2337)
 --> (http://llvm.org/bugs/attachment.cgi?id=2337)
Bugpoint-reduced bitcode file

This may be related or a duplicate of PR3087, but it looks different enough
that I'm raising separately, apologies if they really are the same bug.

Example (bugpoint reduced):

; ModuleID = 'bugpoint-reduced-simplified.bc'
target datalayout =
"e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32"
target triple = "i386-pc-solaris2.11"
@.str148 = external global [5 x i8]             ; <[5 x i8]*> [#uses=1]

define i32 @main(i32 %argc1, i8** %argv2) nounwind {
entry:
        br label %bb54

bb47:           ; preds = %bb54
        %0 = call i32 (...)* @strchr(i8* getelementptr ([5 x i8]* @.str148, i32
0, i32 0), i32 0) nounwind              ; <i32> [#uses=0]
        unreachable

bb54:           ; preds = %bb54, %entry
        br i1 false, label %bb47, label %bb54
}

declare i32 @strchr(...)


opt -analyze -anders-aa bugpoint-reduced-simplified.bc

Assertion failed: 0 && "Value does not have a node in the points-to graph!",
file Andersens.cpp, line 508
/zcratch/sunlabs/llvm-2.4-dbg/bin/opt'_ZN40_GLOBAL__N_Signals.cpp_00000000_7BEE0A5515PrintStackTraceEv+0x22
[0x85850e6]
/zcratch/sunlabs/llvm-2.4-dbg/bin/opt'_ZN40_GLOBAL__N_Signals.cpp_00000000_7BEE0A5513SignalHandlerEi+0x112
[0x8585218]
/lib/libc.so.1'__sighndlr+0xf [0xfecd940f]
/lib/libc.so.1'call_user_handler+0x2bf [0xfecce5b2]
/lib/libc.so.1'_lwp_kill+0x7 [0xfecdd057]
/lib/libc.so.1'raise+0x22 [0xfec91582]
/lib/libc.so.1'abort+0x64 [0xfec6e8c4]
/lib/libc.so.1'__assert+0x6e [0xfec6eb4e]
/zcratch/sunlabs/llvm-2.4-dbg/bin/opt'_ZN42_GLOBAL__N_Andersens.cpp_00000000_2B41BFE89Andersens7getNodeEPN4llvm5ValueE+0xc8
[0x84acf46]
/zcratch/sunlabs/llvm-2.4-dbg/bin/opt'_ZN42_GLOBAL__N_Andersens.cpp_00000000_2B41BFE89Andersens29AddConstraintsForExternalCallEN4llvm8CallSiteEPNS1_8FunctionE+0x1f28
[0x84b02dc]
/zcratch/sunlabs/llvm-2.4-dbg/bin/opt'_ZN42_GLOBAL__N_Andersens.cpp_00000000_2B41BFE89Andersens21AddConstraintsForCallEN4llvm8CallSiteEPNS1_8FunctionE+0x73
[0x84b0399]
/zcratch/sunlabs/llvm-2.4-dbg/bin/opt'_ZN42_GLOBAL__N_Andersens.cpp_00000000_2B41BFE89Andersens13visitCallSiteEN4llvm8CallSiteE+0x77
[0x84b0a93]
/zcratch/sunlabs/llvm-2.4-dbg/bin/opt'_ZN42_GLOBAL__N_Andersens.cpp_00000000_2B41BFE89Andersens13visitCallInstERN4llvm8CallInstE+0x30
[0x84b0b40]
/zcratch/sunlabs/llvm-2.4-dbg/bin/opt'_ZN4llvm11InstVisitorIN42_GLOBAL__N_Andersens.cpp_00000000_2B41BFE89AndersensEvE9visitCallERNS_8CallInstE+0x17
[0x84b0b59]
/zcratch/sunlabs/llvm-2.4-dbg/bin/opt'_ZN4llvm11InstVisitorIN42_GLOBAL__N_Andersens.cpp_00000000_2B41BFE89AndersensEvE5visitERNS_11InstructionE+0x2f8
[0x84b0e54]
/zcratch/sunlabs/llvm-2.4-dbg/bin/opt'_ZN4llvm11InstVisitorIN42_GLOBAL__N_Andersens.cpp_00000000_2B41BFE89AndersensEvE5visitINS_14ilist_iteratorINS_11InstructionEEEEEvT_S8_+0x45
[0x84b0f37]
/zcratch/sunlabs/llvm-2.4-dbg/bin/opt'_ZN4llvm11InstVisitorIN42_GLOBAL__N_Andersens.cpp_00000000_2B41BFE89AndersensEvE5visitERNS_10BasicBlockE+0x4f
[0x84b0f9f]
/zcratch/sunlabs/llvm-2.4-dbg/bin/opt'_ZN4llvm11InstVisitorIN42_GLOBAL__N_Andersens.cpp_00000000_2B41BFE89AndersensEvE5visitINS_14ilist_iteratorINS_10BasicBlockEEEEEvT_S8_+0x45
[0x84b0fe7]
/zcratch/sunlabs/llvm-2.4-dbg/bin/opt'_ZN4llvm11InstVisitorIN42_GLOBAL__N_Andersens.cpp_00000000_2B41BFE89AndersensEvE5visitERNS_8FunctionE+0x4f
[0x84b104f]
/zcratch/sunlabs/llvm-2.4-dbg/bin/opt'_ZN4llvm11InstVisitorIN42_GLOBAL__N_Andersens.cpp_00000000_2B41BFE89AndersensEvE5visitEPNS_8FunctionE+0x17
[0x84b1069]
/zcratch/sunlabs/llvm-2.4-dbg/bin/opt'_ZN42_GLOBAL__N_Andersens.cpp_00000000_2B41BFE89Andersens18CollectConstraintsERN4llvm6ModuleE+0x472
[0x84b14de]
/zcratch/sunlabs/llvm-2.4-dbg/bin/opt'_ZN42_GLOBAL__N_Andersens.cpp_00000000_2B41BFE89Andersens11runOnModuleERN4llvm6ModuleE+0x40
[0x84b177e]
/zcratch/sunlabs/llvm-2.4-dbg/bin/opt'_ZN4llvm13MPPassManager11runOnModuleERNS_6ModuleE+0xc5
[0x8540e87]
/zcratch/sunlabs/llvm-2.4-dbg/bin/opt'_ZN4llvm15PassManagerImpl3runERNS_6ModuleE+0x74
[0x8542728]
/zcratch/sunlabs/llvm-2.4-dbg/bin/opt'_ZN4llvm11PassManager3runERNS_6ModuleE+0x1b
[0x8542781]
/zcratch/sunlabs/llvm-2.4-dbg/bin/opt'main+0x1074 [0x839dff4]
/zcratch/sunlabs/llvm-2.4-dbg/bin/opt'_start+0x80 [0x83990e0]


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