<html>
<head>
<base href="http://llvm.org/bugs/" />
</head>
<body><table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Bug ID</th>
<td><a class="bz_bug_link
bz_status_NEW "
title="NEW --- - Assertion `!ValuesPerBlock[0].isUndefValue() && "Dead BB dominate this block"' failed."
href="http://llvm.org/bugs/show_bug.cgi?id=17852">17852</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>Assertion `!ValuesPerBlock[0].isUndefValue() && "Dead BB dominate this block"' failed.
</td>
</tr>
<tr>
<th>Product</th>
<td>new-bugs
</td>
</tr>
<tr>
<th>Version</th>
<td>trunk
</td>
</tr>
<tr>
<th>Hardware</th>
<td>PC
</td>
</tr>
<tr>
<th>OS</th>
<td>Linux
</td>
</tr>
<tr>
<th>Status</th>
<td>NEW
</td>
</tr>
<tr>
<th>Severity</th>
<td>normal
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>new bugs
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>regehr@cs.utah.edu
</td>
</tr>
<tr>
<th>CC</th>
<td>llvmbugs@cs.uiuc.edu
</td>
</tr>
<tr>
<th>Classification</th>
<td>Unclassified
</td>
</tr></table>
<p>
<div>
<pre>[regehr@imp reduce_xf318c]$ clang -v
clang version 3.4 (trunk 194268)
Target: x86_64-unknown-linux-gnu
Thread model: posix
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.4
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.4.6
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.4.7
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.5
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.5.3
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.6
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.6.3
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.7
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.7.2
Selected GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.6
[regehr@imp reduce_xf318c]$ cat small.c
struct S0 {
int f0 : 1;
int f1 : 14;
int f2 : 24;
int f3 : 1;
int f5 : 14;
int f6;
int f7;
int f8;
int f9;
};
int a, b, c, d;
void fn2 (int);
void fn4 (void);
void fn3 (int, int, int);
void fn1(struct S0 p1) {
int e[] = { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1 };
for (; d;) {
fn2(e[d]);
p1.f9 = p1.f2;
}
if (b) {
p1.f2 = 0;
a = p1.f7;
} else {
if (e[20])
fn3(p1.f3, p1.f0, p1.f5);
else
for (;;) {
fn4();
if (c)
break;
fn2(p1.f3);
fn3(p1.f9, p1.f5, 0);
fn2(p1.f0);
break;
}
p1.f5 = 0;
}
fn2(p1.f6);
if (p1.f8) {
fn2(p1.f1);
p1.f5 = 0;
}
p1.f5 = 0;
}
[regehr@imp reduce_xf318c]$ clang -c -Os small.c
clang:
/mnt/local/randomtest/compiler-source/llvm/lib/Transforms/Scalar/GVN.cpp:1276:
llvm::Value *ConstructSSAForLoadSet(llvm::LoadInst *,
SmallVectorImpl<<anonymous>::AvailableValueInBlock> &, <anonymous>::GVN &):
Assertion `!ValuesPerBlock[0].isUndefValue() && "Dead BB dominate this block"'
failed.
0 clang 0x000000000216a825 llvm::sys::PrintStackTrace(_IO_FILE*) +
37
1 clang 0x000000000216ac63
2 libpthread.so.0 0x00007ffff79b5cb0
3 libc.so.6 0x00007ffff67d7425 gsignal + 53
4 libc.so.6 0x00007ffff67dab8b abort + 379
5 libc.so.6 0x00007ffff67d00ee
6 libc.so.6 0x00007ffff67d0192
7 clang 0x0000000001d69801
8 clang 0x0000000001d65d8b
9 clang 0x0000000001d5f52d
10 clang 0x000000000210707a
llvm::FPPassManager::runOnFunction(llvm::Function&) + 362
11 clang 0x0000000001ed055b
12 clang 0x0000000002107678
llvm::MPPassManager::runOnModule(llvm::Module&) + 440
13 clang 0x0000000002107f8f llvm::PassManagerImpl::run(llvm::Module&)
+ 543
14 clang 0x000000000084b143
clang::EmitBackendOutput(clang::DiagnosticsEngine&, clang::CodeGenOptions
const&, clang::TargetOptions const&, clang::LangOptions const&, llvm::Module*,
clang::BackendAction, llvm::raw_ostream*) + 5907
15 clang 0x0000000000848c26
16 clang 0x00000000009b2803 clang::ParseAST(clang::Sema&, bool, bool)
+ 515
17 clang 0x0000000000848122 clang::CodeGenAction::ExecuteAction() +
514
18 clang 0x00000000006bfd40 clang::FrontendAction::Execute() + 112
19 clang 0x000000000069d23d
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) + 925
20 clang 0x00000000006847d4
clang::ExecuteCompilerInvocation(clang::CompilerInstance*) + 2836
21 clang 0x000000000067ca7f cc1_main(char const**, char const**, char
const*, void*) + 687
22 clang 0x0000000000682a5e main + 9182
23 libc.so.6 0x00007ffff67c276d __libc_start_main + 237
24 clang 0x000000000067c70d
Stack dump:
0. Program arguments:
/mnt/local/randomtest/compiler-install/llvm-r194268-install/bin/clang -cc1
-triple x86_64-unknown-linux-gnu -emit-obj -disable-free -main-file-name
small.c -mrelocation-model static -fmath-errno -masm-verbose
-mconstructor-aliases -munwind-tables -target-cpu x86-64 -target-linker-version
2.22 -momit-leaf-frame-pointer -coverage-file
/mnt/local/randomtest/test/work21/reduce_xf318c/small.o -resource-dir
/mnt/local/randomtest/compiler-install/llvm-r194268-install/bin/../lib/clang/3.4
-internal-isystem /usr/local/include -internal-isystem
/mnt/local/randomtest/compiler-install/llvm-r194268-install/bin/../lib/clang/3.4/include
-internal-externc-isystem /usr/include/x86_64-linux-gnu
-internal-externc-isystem /include -internal-externc-isystem /usr/include -Os
-fdebug-compilation-dir /mnt/local/randomtest/test/work21/reduce_xf318c
-ferror-limit 19 -fmessage-length 108 -mstackrealign -fobjc-runtime=gcc
-fdiagnostics-show-option -fcolor-diagnostics -vectorize-loops -vectorize-slp
-o small.o -x c small.c
1. <eof> parser at end of file
2. Per-module optimization passes
3. Running pass 'CallGraph Pass Manager' on module 'small.c'.
4. Running pass 'Global Value Numbering' on function '@fn1'
clang: error: unable to execute command: Aborted
clang: error: clang frontend command failed due to signal (use -v to see
invocation)
clang version 3.4 (trunk 194268)
Target: x86_64-unknown-linux-gnu
Thread model: posix
clang: note: diagnostic msg: PLEASE submit a bug report to
<a href="http://llvm.org/bugs/">http://llvm.org/bugs/</a> and include the crash backtrace, preprocessed source, and
associated run script.
clang: note: diagnostic msg:
********************
PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:
Preprocessed source(s) and associated run script(s) are located at:
clang: note: diagnostic msg: /tmp/small-f1b2ed.c
clang: note: diagnostic msg: /tmp/small-f1b2ed.sh
clang: note: diagnostic msg:
********************</pre>
</div>
</p>
<hr>
<span>You are receiving this mail because:</span>
<ul>
<li>You are on the CC list for the bug.</li>
</ul>
</body>
</html>