[LLVMbugs] [Bug 5981] New: Assertion failed: (use_empty() && " Uses remain when a value is destroyed!")

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: Assertion failed: (use_empty() && "Uses remain when a
                    value is destroyed!")
           Product: libraries
           Version: trunk
          Platform: Macintosh
        OS/Version: MacOS X
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Scalar Optimizations
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: lessen42 at gmail.com
                CC: llvmbugs at cs.uiuc.edu


Created an attachment (id=4018)
 --> (http://llvm.org/bugs/attachment.cgi?id=4018)
bugpoint

from ffmpeg libavcodec/twinvq.c

$ opt bugpoint-reduced-simplified.bc -reassociate
WARNING: You're attempting to print out a bitcode file.
This is inadvisable as it may cause display problems. If
you REALLY want to taste LLVM bitcode first-hand, you
can force output with the `-f' option.

While deleting: i32 %
Use still stuck around after Def is destroyed:  %7 = add nsw i32 undef,
<badref>, !dbg !1373    ; <i32> [#uses=0]
Assertion failed: (use_empty() && "Uses remain when a value is destroyed!"),
function ~Value, file /usr/local/src/llvm/lib/VMCore/Value.cpp, line 75.
0  opt               0x00000001003ff3c2 PrintStackTrace(void*) + 34
1  opt               0x00000001003ffbac SignalHandler(int) + 652
2  libSystem.B.dylib 0x00007fff83e42eaa _sigtramp + 26
3  libSystem.B.dylib 0x00007fff83de7bea tiny_malloc_from_free_list + 1196
4  libSystem.B.dylib 0x00007fff83ebee74 __pthread_markcancel + 0
5  opt               0x00000001003b0683 llvm::Value::~Value() + 979
6  opt               0x000000010037c83b llvm::BinaryOperator::~BinaryOperator()
+ 27
7  opt               0x0000000100367944 llvm::Instruction::eraseFromParent() +
84
8  opt               0x00000001000eceeb (anonymous
namespace)::Reassociate::RemoveFactorFromExpression(llvm::Value*, llvm::Value*)
+ 1067
9  opt               0x00000001000ee03a (anonymous
namespace)::Reassociate::OptimizeAdd(llvm::Instruction*,
llvm::SmallVectorImpl<(anonymous namespace)::ValueEntry>&) + 4074
10 opt               0x00000001000ee890 (anonymous
namespace)::Reassociate::OptimizeExpression(llvm::BinaryOperator*,
llvm::SmallVectorImpl<(anonymous namespace)::ValueEntry>&) + 496
11 opt               0x00000001000eebf9 (anonymous
namespace)::Reassociate::ReassociateExpression(llvm::BinaryOperator*) + 377
12 opt               0x00000001000ef24b (anonymous
namespace)::Reassociate::ReassociateBB(llvm::BasicBlock*) + 523
13 opt               0x00000001000ef91b (anonymous
namespace)::Reassociate::runOnFunction(llvm::Function&) + 59
14 opt               0x000000010039b92b
llvm::FPPassManager::runOnFunction(llvm::Function&) + 475
15 opt               0x000000010039ba9b
llvm::FPPassManager::runOnModule(llvm::Module&) + 75
16 opt               0x000000010039d1d3
llvm::MPPassManager::runOnModule(llvm::Module&) + 435
17 opt               0x000000010039d393
llvm::PassManagerImpl::run(llvm::Module&) + 147
18 opt               0x000000010039d41d llvm::PassManager::run(llvm::Module&) +
13
19 opt               0x0000000100043c07 main + 2999
20 opt               0x000000010003a0a8 start + 52
Stack dump:
0.      Program arguments: opt bugpoint-reduced-simplified.bc -reassociate 
1.      Running pass 'Function Pass Manager' on module
'bugpoint-reduced-simplified.bc'.
2.      Running pass 'Reassociate expressions' on function '@twin_decode_init'
Abort trap


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