Assert in CompleteBUDataStructures pass

[llvmbot]

Bugzilla Link	9502
Resolution	FIXED
Resolved on	May 17, 2011 19:36
Version	trunk
OS	Linux
Attachments	reduced case where error occurs
Reporter	LLVM Bugzilla Contributor

Extended Description

Found trying to run SAFECode on something.

This is the error message I get running opt on the attached file:
$ opt -load ~/local/lib/libLLVMDataStructure.so -dsa-cbu bugpoint-reduced-simplified.ll -disable-output
opt: CompleteBottomUp.cpp:144: void llvm::CompleteBUDataStructures::buildIndirectFunctionSets(): Assertion `flag && "Indirect function callee not in globals?"' failed.
0 opt 0x00000000008ab55f
1 opt 0x00000000008abd70
2 libpthread.so.0 0x00000036f800eb10
3 libc.so.6 0x00000036f7430265 gsignal + 53
4 libc.so.6 0x00000036f7431d10 abort + 272
5 libc.so.6 0x00000036f74296e6 __assert_fail + 246
6 libLLVMDataStructure.so 0x00002b5d565eb80c llvm::CompleteBUDataStructures::buildIndirectFunctionSets() + 2044
7 libLLVMDataStructure.so 0x00002b5d565ebe98 llvm::CompleteBUDataStructures::runOnModule(llvm::Module&) + 120
8 opt 0x0000000000832c66 llvm::MPPassManager::runOnModule(llvm::Module&) + 438
9 opt 0x0000000000832de6 llvm::PassManagerImpl::run(llvm::Module&) + 134
10 opt 0x0000000000832e6d llvm::PassManager::run(llvm::Module&) + 13
11 opt 0x00000000004c1e74 main + 2756
12 libc.so.6 0x00000036f741d994 __libc_start_main + 244
13 opt 0x00000000004b6239
Stack dump:
0. Program arguments: opt -load /home/vadve/wala1/local/lib/libLLVMDataStructure.so -dsa-cbu bugpoint-reduced-simplified.ll -disable-output

1. Running pass ''Complete' Bottom-up Data Structure Analysis' on module 'bugpoint-reduced-simplified.ll'.
   Aborted

[llvmbot]

I believe this has been fixed in r131513.