[LLVMbugs] [Bug 6980] New: Assertion in boost::exception test

[bugzilla-daemon at llvm.org]

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

           Summary: Assertion in boost::exception test
           Product: clang
           Version: trunk
          Platform: PC
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: C++
        AssignedTo: unassignedclangbugs at nondot.org
        ReportedBy: chris at bubblescope.net
                CC: llvmbugs at cs.uiuc.edu, dgregor at apple.com


Created an attachment (id=4775)
 --> (http://llvm.org/bugs/attachment.cgi?id=4775)
Test case which causes assertion

The attached code, reduced from a boost testcase, causes the following
assertion:

caj at nyanko:~/clang-temp2$ clang++ t.cc -c
t.cc:26:1: warning: control may reach end of non-void function [-Wreturn-type]
}
^
While deleting: label %init.check                                               
Use still stuck around after Def is destroyed:  br i1 %tobool, label
%init.check, label %init.end
clang: Value.cpp:75: virtual llvm::Value::~Value(): Assertion `use_empty() &&
"Uses remain when a value is destroyed!"' failed.
0  clang           0x000000000149aab6
1  clang           0x000000000149a99d
2  libpthread.so.0 0x00007f8d22a4b8f0
3  libc.so.6       0x00007f8d21d3ba75 gsignal + 53
4  libc.so.6       0x00007f8d21d3f5c0 abort + 384
5  libc.so.6       0x00007f8d21d34941 __assert_fail + 241
6  clang           0x0000000001427d82
7  clang           0x0000000001366481
8  clang           0x00000000011da1c4
9  clang           0x00000000011d98af
10 clang           0x00000000013665b6
11 clang           0x00000000010f5bea
12 clang           0x0000000001402fd3
13 clang           0x0000000001402c9d
14 clang           0x000000000140294d
15 clang           0x000000000041bdb0
16 clang           0x000000000041ab09
17 clang           0x000000000068fe86
18 clang           0x0000000000437070
19 clang           0x0000000000436cdb
20 clang           0x00000000004212ff
21 clang           0x0000000000409172
22 clang           0x000000000040dce2 main + 259
23 libc.so.6       0x00007f8d21d26c4d __libc_start_main + 253
24 clang           0x0000000000407b49
Stack dump:
0.      Program arguments: /usr/local/bin/clang -cc1 -triple
x86_64-unknown-linux-gnu -S -disable-free -main-file-name t.cc
-mrelocation-model static -mdisable-fp-elim -mconstructor-aliases
-munwind-tables -target-cpu x86-64 -resource-dir /usr/local/lib/clang/2.0
-ferror-limit 19 -ftemplate-backtrace-limit 10 -fmessage-length 122
-fexceptions -fgnu-runtime -fdiagnostics-show-option -fcolor-diagnostics -o
/tmp/cc-A7bEI7.s -x c++ t.cc 
1.      <eof> parser at end of file
2.      Code generation
3.      Running pass 'Remove unreachable blocks from the CFG' on function
'@_ZN5array17failed_rangecheckEv'
clang: error: compiler command failed due to signal 6 (use -v to see
invocation)

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