[LLVMbugs] [Bug 17852] New: Assertion `!ValuesPerBlock[0].isUndefValue() && "Dead BB dominate this block"' failed.
bugzilla-daemon at llvm.org
bugzilla-daemon at llvm.org
Fri Nov 8 13:07:29 PST 2013
http://llvm.org/bugs/show_bug.cgi?id=17852
Bug ID: 17852
Summary: Assertion `!ValuesPerBlock[0].isUndefValue() && "Dead
BB dominate this block"' failed.
Product: new-bugs
Version: trunk
Hardware: PC
OS: Linux
Status: NEW
Severity: normal
Priority: P
Component: new bugs
Assignee: unassignedbugs at nondot.org
Reporter: regehr at cs.utah.edu
CC: llvmbugs at cs.uiuc.edu
Classification: Unclassified
[regehr at 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 at 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 at 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
http://llvm.org/bugs/ 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:
********************
--
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/20131108/5256f308/attachment.html>
More information about the llvm-bugs
mailing list