[LLVMdev] Possible Bad Assertion in Value.cpp

[John Criswell]

Dear All,

I'm getting the following assertion from a program I've written:

/home/vadve/criswell/src/llvm22/lib/VMCore/Value.cpp:57: virtual 
llvm::Value::~Value(): Assertion `use_empty() && "Uses remain when a 
value is destroyed!"' failed.

This occurs when I free a Module (the program uses an auto_ptr() to the 
Module, and the auto_ptr() moves out of scope).

It looks like the code that frees a BasicBlock frees all of its 
instructions in order without regards to the def-use chains.  However, 
the Value class's destructor has the assertion that the Value has no uses.

Is the assertion an error, or should BasicBlock's deallocate 
instructions so that there are no dangling def-use chains?

-- John T.