[LLVMbugs] [Bug 18616] New: LoopDeletion: lib/IR/Value.cpp:79: virtual llvm::Value::~Value(): Assertion `use_empty() && "Uses remain when a value is destroyed!"' failed.

[bugzilla-daemon at llvm.org]

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

            Bug ID: 18616
           Summary: LoopDeletion: lib/IR/Value.cpp:79: virtual
                    llvm::Value::~Value(): Assertion `use_empty() && "Uses
                    remain when a value is destroyed!"' failed.
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Scalar Optimizations
          Assignee: unassignedbugs at nondot.org
          Reporter: hfinkel at anl.gov
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

Created attachment 11939
  --> http://llvm.org/bugs/attachment.cgi?id=11939&action=edit
bugpoint reduced test case

Runnng: opt -loop-unswitch -instcombine -loop-deletion -loop-unroll
loop-del-bugpoint-reduced-simplified.ll will crash:

While deleting: i32 %conv568.i.i.i
Use still stuck around after Def is destroyed:  store i32 %conv568.i.i.i, i32*
getelementptr inbounds ([2 x [5 x i32]]* @g_220, i64 0, i64 0, i64 1), align 4,
!tbaa !5
...
lib/IR/Value.cpp:79: virtual llvm::Value::~Value(): Assertion `use_empty() &&
"Uses remain when a value is destroyed!"' failed.
...
2.    Running pass 'Loop Pass Manager' on function '@main'
3.    Running pass 'Delete dead loops' on basic block '%for.body565.i.i.i'

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20140126/be15c58e/attachment.html>