[LLVMdev] Assert in llvm-2.7

[aparna kotha]

Hi All,

We have this piece of code in our system , where we are iteratively remove
functions that we scan the cfg and mark as unreachable.
We observe that with llvm-2.6 func->eraseFromParent() works but with
llvm-2.7 we get a the following assert.

An asserting value handle still pointed to this value!
UNREACHABLE executed at llvm-2.7/lib/VMCore/Value.cpp:522!

CODE
-----------------------------------------------------------------------------------------------------------------------------------------------
for (uriter = unreachables.begin(); uriter != unreachables.end(); uriter++)
    {
        Function* func = *uriter;

        // make sure that the use is within one of the functions
        // we're going to remove.

        for (Value::use_iterator iter = func->use_begin(); iter !=
func->use_end(); iter++)
        {
            CallInst* pCall = dyn_cast<CallInst>(*iter);
            assert(pCall != NULL);
            Function* callerFunc = pCall->getParent()->getParent();
            assert(unreachables.find(callerFunc) != unreachables.end());
        }
        func->replaceAllUsesWith(UndefValue::get(func->getType()));

        //checkValueHandles(func);
#ifdef LLVM_VER_2_6
        func->eraseFromParent();
#else
        func->removeFromParent();
#endif

    }
---------------------------------------------------------------------------------------------------------------------------------------------------


We are unable to figure out why we see this. Any pointers would be great.




Aparna

Graduate Student , ECE
University of Maryland, College Park
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20100722/81d16b69/attachment.html>