[LLVMdev] Assertion `AA && "AA didn't call InitializeAliasAnalysis in its run method!"' failed.

[Griffin Wright]

Hello all,

I am working with someone else's LLVM code, which is about 8 months old. 
Part of this pass involves AliasAnalysis, and I'm getting the above
assertion when the pass completes.  

The dump is as follows:
--------------------------------
Program received signal SIGABRT, Aborted.
0xf7fdf430 in __kernel_vsyscall ()
(gdb) bt
#0  0xf7fdf430 in __kernel_vsyscall ()
#1  0xf602e921 in *__GI_raise (sig=6) at
../nptl/sysdeps/unix/sysv/linux/raise.c:64
#2  0xf6031d52 in *__GI_abort () at abort.c:92
#3  0xf6027788 in *__GI___assert_fail (assertion=0xf78ef62c "AA && \"AA
didn't call InitializeAliasAnalysis in its run method!\"", 
    file=0xf78ef5f0
"/x/grwright/llvm/llvm-2.9/lib/Analysis/AliasAnalysis.cpp", line=59,
function=0xf78f0e40 "virtual void
llvm::AliasAnalysis::deleteValue(llvm::Value*)") at assert.c:81
#4  0xf6c37686 in llvm::AliasAnalysis::deleteValue (this=0x81848d0,
V=0x8147000) at /x/grwright/llvm/llvm-2.9/lib/Analysis/AliasAnalysis.cpp:59
#5  0xf6c47153 in llvm::AliasSetTracker::deleteValue (this=0x823ab58,
PtrVal=0x8147000) at
/x/grwright/llvm/llvm-2.9/lib/Analysis/AliasSetTracker.cpp:505
#6  0xf6c47ae6 in llvm::AliasSetTracker::ASTCallbackVH::deleted
(this=0x8233ce8) at
/x/grwright/llvm/llvm-2.9/lib/Analysis/AliasSetTracker.cpp:619
#7  0xf72b9d2f in llvm::ValueHandleBase::ValueIsDeleted (V=0x8147000) at
/x/grwright/llvm/llvm-2.9/lib/VMCore/Value.cpp:557
#8  0xf72b81ec in ~Value (this=0x8147000, __in_chrg=<value optimized out>)
at /x/grwright/llvm/llvm-2.9/lib/VMCore/Value.cpp:60
#9  0xf6f4b041 in ~User (this=0x8147000, __in_chrg=<value optimized out>)
at /x/grwright/llvm/llvm-2.9/include/llvm/User.h:62
#10 0xf725dd89 in ~Instruction (this=0x8147000, __in_chrg=<value optimized
out>) at /x/grwright/llvm/llvm-2.9/lib/VMCore/Instruction.cpp:54
#11 0xf7275461 in ~GetElementPtrInst (this=0x8147000, __in_chrg=<value
optimized out>) at
/x/grwright/llvm/llvm-2.9/include/llvm/Instructions.h:285
#12 0xf7136671 in llvm::ilist_node_traits<llvm::Instruction>::deleteNode
(V=0x8147000) at /x/grwright/llvm/llvm-2.9/include/llvm/ADT/ilist.h:112
#13 0xf7135c80 in llvm::iplist<llvm::Instruction,
llvm::ilist_traits<llvm::Instruction> >::erase (this=0x8145d14, where=...)
at /x/grwright/llvm/llvm-2.9/include/llvm/ADT/ilist.h:463
#14 0xf71c7c37 in llvm::iplist<llvm::Instruction,
llvm::ilist_traits<llvm::Instruction> >::erase (this=0x8145d14, first=...,
last=...) at /x/grwright/llvm/llvm-2.9/include/llvm/ADT/ilist.h:528
#15 0xf71c77a0 in llvm::iplist<llvm::Instruction,
llvm::ilist_traits<llvm::Instruction> >::clear (this=0x8145d14) at
/x/grwright/llvm/llvm-2.9/include/llvm/ADT/ilist.h:532
#16 0xf71c6420 in ~BasicBlock (this=0x8145cf8, __in_chrg=<value optimized
out>) at /x/grwright/llvm/llvm-2.9/lib/VMCore/BasicBlock.cpp:82
#17 0xf71c7db2 in llvm::ilist_node_traits<llvm::BasicBlock>::deleteNode
(V=0x8145cf8) at /x/grwright/llvm/llvm-2.9/include/llvm/ADT/ilist.h:112
#18 0xf71c79a8 in llvm::iplist<llvm::BasicBlock,
llvm::ilist_traits<llvm::BasicBlock> >::erase (this=0x80be818, where=...)
at /x/grwright/llvm/llvm-2.9/include/llvm/ADT/ilist.h:463
#19 0xf71c658f in llvm::BasicBlock::eraseFromParent (this=0x8145cf8) at
/x/grwright/llvm/llvm-2.9/lib/VMCore/BasicBlock.cpp:101
#20 0xf7214b11 in llvm::Function::dropAllReferences (this=0x80be7e8) at
/x/grwright/llvm/llvm-2.9/lib/VMCore/Function.cpp:233
#21 0xf728ac59 in llvm::Module::dropAllReferences (this=0x80a9690) at
/x/grwright/llvm/llvm-2.9/lib/VMCore/Module.cpp:449
#22 0xf7289af2 in ~Module (this=0x80a9690, __in_chrg=<value optimized out>)
at /x/grwright/llvm/llvm-2.9/lib/VMCore/Module.cpp:70
#23 0x08081e36 in ~auto_ptr (this=0xffffd734, __in_chrg=<value optimized
out>) at /usr/include/c++/4.4/backward/auto_ptr.h:168
#24 0x0807d5a4 in main (argc=13, argv=0xffffd814) at
/x/grwright/llvm/llvm-2.9/tools/opt/opt.cpp:695
--------------------------------

I have a getAnalysisUsage method which does the following (excerpted):

void RelRecovery::getAnalysisUsage(AnalysisUsage &AU) const {
  AU.addRequired<AliasAnalysis> ();
}

and then a runOnFunction method which does this:

bool RelRecovery::runOnFunction(Function &F) {
    AA = &getAnalysis<AliasAnalysis> ();
}

This is the same setup as with a bunch of other analyses (LoopInfo,
ProfileInfo, etc) and they all work fine.  I've read that AA needs a call
to InitializeAliasAnalysis(this) in the main run method (in my case,
runOnFunction), and I'm wondering how to properly implement it, since the
parameter is supposed to be a Pass.

Thanks!
Griffin