[LLVMbugs] [Bug 3262] New: Assertion failed: "Not a constant pointer" in anders-aa

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: Assertion failed: "Not a constant pointer" 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=2335)
 --> (http://llvm.org/bugs/attachment.cgi?id=2335)
Bugpoint-reduced bitcode file

Example (reduced with bugpoint):

; 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"
@.str15 = external global [3 x i8]              ; <[3 x i8]*> [#uses=1]

declare i8* @strtok(...)

define void @saverequest(i8* %want1) nounwind {
entry:
        %0 = call i8* (...)* @strtok(i32 0, i8* getelementptr ([3 x i8]*
@.str15, i32 0, i32 0)) nounwind               ; <i8*> [#uses=0]
        unreachable
}

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

Assertion failed: isa<PointerType>(C->getType()) && "Not a constant pointer!",
file Andersens.cpp, line 811
0   opt       0x085baf5a (anonymous namespace)::PrintStackTrace() + 34
1   opt       0x085bb28e (anonymous namespace)::SignalHandler(int) + 274
2   libc.so.1 0xfecd940f __sighndlr + 15
3   libc.so.1 0xfecce5b2 call_user_handler + 703
4   libc.so.1 0xfecdd057 _lwp_kill + 7
5   libc.so.1 0xfec91582 raise + 34
6   libc.so.1 0xfec6e8c4 abort + 100
7   libc.so.1 0xfec6eb4e __assert + 110
8   opt       0x084d6056 (anonymous
namespace)::Andersens::getNodeForConstantPointer(llvm::Constant*) + 68
9   opt       0x084d620f (anonymous
namespace)::Andersens::getNode(llvm::Value*) + 69
10  opt       0x084d9500 (anonymous
namespace)::Andersens::AddConstraintsForExternalCall(llvm::CallSite,
llvm::Function*) + 7680
11  opt       0x084d95d3 (anonymous
namespace)::Andersens::AddConstraintsForCall(llvm::CallSite, llvm::Function*) +
115
12  opt       0x084d9ccd (anonymous
namespace)::Andersens::visitCallSite(llvm::CallSite) + 119
13  opt       0x084d9d7a (anonymous
namespace)::Andersens::visitCallInst(llvm::CallInst&) + 48
14  opt       0x084d9d93 llvm::InstVisitor<(anonymous namespace)::Andersens,
void>::visitCall(llvm::CallInst&) + 23
15  opt       0x084da08e llvm::InstVisitor<(anonymous namespace)::Andersens,
void>::visit(llvm::Instruction&) + 760
16  opt       0x084da171 void llvm::InstVisitor<(anonymous
namespace)::Andersens, void>::visit<llvm::ilist_iterator<llvm::Instruction>
>(llvm::ilist_iterator<llvm::Instruction>,
llvm::ilist_iterator<llvm::Instruction>) + 69
17  opt       0x084da1d9 llvm::InstVisitor<(anonymous namespace)::Andersens,
void>::visit(llvm::BasicBlock&) + 79
18  opt       0x084da221 void llvm::InstVisitor<(anonymous
namespace)::Andersens, void>::visit<llvm::ilist_iterator<llvm::BasicBlock>
>(llvm::ilist_iterator<llvm::BasicBlock>,
llvm::ilist_iterator<llvm::BasicBlock>) + 69
19  opt       0x084da289 llvm::InstVisitor<(anonymous namespace)::Andersens,
void>::visit(llvm::Function&) + 79
20  opt       0x084da2a3 llvm::InstVisitor<(anonymous namespace)::Andersens,
void>::visit(llvm::Function*) + 23
21  opt       0x084da718 (anonymous
namespace)::Andersens::CollectConstraints(llvm::Module&) + 1138
22  opt       0x084da9b8 (anonymous
namespace)::Andersens::runOnModule(llvm::Module&) + 64
23  opt       0x085740fb llvm::MPPassManager::runOnModule(llvm::Module&) + 197
24  opt       0x0857599c llvm::PassManagerImpl::run(llvm::Module&) + 116
25  opt       0x085759f5 llvm::PassManager::run(llvm::Module&) + 27
26  opt       0x083bc21b main + 4595
27  opt       0x083b6eb0 _start + 128


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