<html>
<head>
<base href="https://bugs.llvm.org/">
</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 - BDCE with -fopenmp-simd -O3: Assertion `materialized_use_empty() && "Uses remain when a value is destroyed!"' failed"
href="https://bugs.llvm.org/show_bug.cgi?id=52002">52002</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>BDCE with -fopenmp-simd -O3: Assertion `materialized_use_empty() && "Uses remain when a value is destroyed!"' 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>enhancement
</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>Vsevolod.Livinskij@frtk.ru
</td>
</tr>
<tr>
<th>CC</th>
<td>htmldeveloper@gmail.com, llvm-bugs@lists.llvm.org
</td>
</tr></table>
<p>
<div>
<pre>Reproducer:
extern char var_13;
extern char arr_7[][3];
void test() {
#pragma omp simd
for (char a = 0; a < 3; a += var_13 + 2)
arr_7[a][2] = 0;
}
Error:
<span class="quote">>$ clang++ -fopenmp-simd -O3 -c func.cpp</span >
While deleting: i64 %
Use still stuck around after Def is destroyed: %2 = mul i64 %indvars.iv,
<badref>
clang++: /testing/llvm/llvm_src/llvm/lib/IR/Value.cpp:103:
llvm::Value::~Value(): Assertion `materialized_use_empty() && "Uses remain when
a value is destroyed!"' failed.
PLEASE submit a bug report to <a href="https://bugs.llvm.org/">https://bugs.llvm.org/</a> and include the crash
backtrace, preprocessed source, and associated run script.
Stack dump:
0. Program arguments: clang++ -fopenmp-simd -O3 -c func.cpp
1. <eof> parser at end of file
2. Optimizer
#0 0x0000563430cc89c4 PrintStackTraceSignalHandler(void*) Signals.cpp:0:0
#1 0x0000563430cc67c4 llvm::sys::CleanupOnSignal(unsigned long)
(/testing/llvm/bin/bin/clang-14+0x24697c4)
#2 0x0000563430c0dba8 CrashRecoverySignalHandler(int)
CrashRecoveryContext.cpp:0:0
#3 0x00007f5deecab3c0 __restore_rt
(/lib/x86_64-linux-gnu/libpthread.so.0+0x153c0)
#4 0x00007f5dee75d18b raise (/lib/x86_64-linux-gnu/libc.so.6+0x4618b)
#5 0x00007f5dee73c859 abort (/lib/x86_64-linux-gnu/libc.so.6+0x25859)
#6 0x00007f5dee73c729 (/lib/x86_64-linux-gnu/libc.so.6+0x25729)
#7 0x00007f5dee74df36 (/lib/x86_64-linux-gnu/libc.so.6+0x36f36)
#8 0x00005634304e5b40 llvm::Value::~Value()
(/testing/llvm/bin/bin/clang-14+0x1c88b40)
#9 0x00005634304e5bb2 llvm::Value::deleteValue()
(/testing/llvm/bin/bin/clang-14+0x1c88bb2)
#10 0x0000563430430569 llvm::Instruction::eraseFromParent()
(/testing/llvm/bin/bin/clang-14+0x1bd3569)
#11 0x000056343098f8a4 bitTrackingDCE(llvm::Function&, llvm::DemandedBits&)
BDCE.cpp:0:0
#12 0x0000563430990438 llvm::BDCEPass::run(llvm::Function&,
llvm::AnalysisManager<llvm::Function>&)
(/testing/llvm/bin/bin/clang-14+0x2133438)
#13 0x00005634322666d6 llvm::detail::PassModel<llvm::Function, llvm::BDCEPass,
llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Function>
<span class="quote">>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&)</span >
(/testing/llvm/bin/bin/clang-14+0x3a096d6)
#14 0x00005634304c4e06 llvm::PassManager<llvm::Function,
llvm::AnalysisManager<llvm::Function> >::run(llvm::Function&,
llvm::AnalysisManager<llvm::Function>&)
(/testing/llvm/bin/bin/clang-14+0x1c67e06)
#15 0x0000563430ff6546 llvm::detail::PassModel<llvm::Function,
llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function> >,
llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Function>
<span class="quote">>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&)</span >
(/testing/llvm/bin/bin/clang-14+0x2799546)
#16 0x000056343425701f
llvm::CGSCCToFunctionPassAdaptor::run(llvm::LazyCallGraph::SCC&,
llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&,
llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&)
(/testing/llvm/bin/bin/clang-14+0x59fa01f)
#17 0x0000563432264476 llvm::detail::PassModel<llvm::LazyCallGraph::SCC,
llvm::CGSCCToFunctionPassAdaptor, llvm::PreservedAnalyses,
llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>,
llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&>::run(llvm::LazyCallGraph::SCC&,
llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&,
llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&)
(/testing/llvm/bin/bin/clang-14+0x3a07476)
#18 0x000056343424ed3b llvm::PassManager<llvm::LazyCallGraph::SCC,
llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>,
llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&>::run(llvm::LazyCallGraph::SCC&,
llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&,
llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&)
(/testing/llvm/bin/bin/clang-14+0x59f1d3b)
#19 0x00005634305ef886 llvm::detail::PassModel<llvm::LazyCallGraph::SCC,
llvm::PassManager<llvm::LazyCallGraph::SCC,
llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>,
llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&>, llvm::PreservedAnalyses,
llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>,
llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&>::run(llvm::LazyCallGraph::SCC&,
llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&,
llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&)
(/testing/llvm/bin/bin/clang-14+0x1d92886)
#20 0x0000563434252bc4
llvm::DevirtSCCRepeatedPass::run(llvm::LazyCallGraph::SCC&,
llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&,
llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&)
(/testing/llvm/bin/bin/clang-14+0x59f5bc4)
#21 0x00005634305ef836 llvm::detail::PassModel<llvm::LazyCallGraph::SCC,
llvm::DevirtSCCRepeatedPass, llvm::PreservedAnalyses,
llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>,
llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&>::run(llvm::LazyCallGraph::SCC&,
llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&,
llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&)
(/testing/llvm/bin/bin/clang-14+0x1d92836)
#22 0x0000563434250893
llvm::ModuleToPostOrderCGSCCPassAdaptor::run(llvm::Module&,
llvm::AnalysisManager<llvm::Module>&)
(/testing/llvm/bin/bin/clang-14+0x59f3893)
#23 0x00005634305ef8d6 llvm::detail::PassModel<llvm::Module,
llvm::ModuleToPostOrderCGSCCPassAdaptor, llvm::PreservedAnalyses,
llvm::AnalysisManager<llvm::Module> >::run(llvm::Module&,
llvm::AnalysisManager<llvm::Module>&)
(/testing/llvm/bin/bin/clang-14+0x1d928d6)
#24 0x00005634304c133f llvm::PassManager<llvm::Module,
llvm::AnalysisManager<llvm::Module> >::run(llvm::Module&,
llvm::AnalysisManager<llvm::Module>&)
(/testing/llvm/bin/bin/clang-14+0x1c6433f)
#25 0x00005634305f2e21 llvm::ModuleInlinerWrapperPass::run(llvm::Module&,
llvm::AnalysisManager<llvm::Module>&)
(/testing/llvm/bin/bin/clang-14+0x1d95e21)
#26 0x0000563431eff3e6 llvm::detail::PassModel<llvm::Module,
llvm::ModuleInlinerWrapperPass, llvm::PreservedAnalyses,
llvm::AnalysisManager<llvm::Module> >::run(llvm::Module&,
llvm::AnalysisManager<llvm::Module>&)
(/testing/llvm/bin/bin/clang-14+0x36a23e6)
#27 0x00005634304c133f llvm::PassManager<llvm::Module,
llvm::AnalysisManager<llvm::Module> >::run(llvm::Module&,
llvm::AnalysisManager<llvm::Module>&)
(/testing/llvm/bin/bin/clang-14+0x1c6433f)
#28 0x0000563431006406 (anonymous
namespace)::EmitAssemblyHelper::EmitAssemblyWithNewPassManager(clang::BackendAction,
std::unique_ptr<llvm::raw_pwrite_stream,
std::default_delete<llvm::raw_pwrite_stream> >) BackendUtil.cpp:0:0
#29 0x000056343100b615 clang::EmitBackendOutput(clang::DiagnosticsEngine&,
clang::HeaderSearchOptions const&, clang::CodeGenOptions const&,
clang::TargetOptions const&, clang::LangOptions const&, llvm::StringRef,
llvm::Module*, clang::BackendAction, std::unique_ptr<llvm::raw_pwrite_stream,
std::default_delete<llvm::raw_pwrite_stream> >)
(/testing/llvm/bin/bin/clang-14+0x27ae615)
#30 0x0000563431e7dfff
clang::BackendConsumer::HandleTranslationUnit(clang::ASTContext&)
(/testing/llvm/bin/bin/clang-14+0x3620fff)
#31 0x0000563432fe31a9 clang::ParseAST(clang::Sema&, bool, bool)
(/testing/llvm/bin/bin/clang-14+0x47861a9)
#32 0x0000563431e7cb38 clang::CodeGenAction::ExecuteAction()
(/testing/llvm/bin/bin/clang-14+0x361fb38)
#33 0x0000563431730c79 clang::FrontendAction::Execute()
(/testing/llvm/bin/bin/clang-14+0x2ed3c79)
#34 0x00005634316c1ade
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&)
(/testing/llvm/bin/bin/clang-14+0x2e64ade)
#35 0x0000563431810580
clang::ExecuteCompilerInvocation(clang::CompilerInstance*)
(/testing/llvm/bin/bin/clang-14+0x2fb3580)
#36 0x000056342f798147 cc1_main(llvm::ArrayRef<char const*>, char const*,
void*) (/testing/llvm/bin/bin/clang-14+0xf3b147)
#37 0x000056342f7945e8 ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&)
driver.cpp:0:0
#38 0x0000563431548f39 void llvm::function_ref<void
()>::callback_fn<clang::driver::CC1Command::Execute(llvm::ArrayRef<llvm::Optional<llvm::StringRef>
<span class="quote">>, std::__cxx11::basic_string<char, std::char_traits<char>,</span >
std::allocator<char> >*, bool*) const::'lambda'()>(long) Job.cpp:0:0
#39 0x0000563430c0dd2c
llvm::CrashRecoveryContext::RunSafely(llvm::function_ref<void ()>)
(/testing/llvm/bin/bin/clang-14+0x23b0d2c)
#40 0x000056343154964d
clang::driver::CC1Command::Execute(llvm::ArrayRef<llvm::Optional<llvm::StringRef>
<span class="quote">>, std::__cxx11::basic_string<char, std::char_traits<char>,</span >
std::allocator<char> >*, bool*) const (.part.0) Job.cpp:0:0
#41 0x000056343151b2fb
clang::driver::Compilation::ExecuteCommand(clang::driver::Command const&,
clang::driver::Command const*&) const
(/testing/llvm/bin/bin/clang-14+0x2cbe2fb)
#42 0x000056343151be09
clang::driver::Compilation::ExecuteJobs(clang::driver::JobList const&,
llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*> >&) const
(/testing/llvm/bin/bin/clang-14+0x2cbee09)
#43 0x0000563431527679
clang::driver::Driver::ExecuteCompilation(clang::driver::Compilation&,
llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*> >&)
(/testing/llvm/bin/bin/clang-14+0x2cca679)
#44 0x000056342f70eba6 main (/testing/llvm/bin/bin/clang-14+0xeb1ba6)
#45 0x00007f5dee73e0b3 __libc_start_main
(/lib/x86_64-linux-gnu/libc.so.6+0x270b3)
#46 0x000056342f79415e _start (/testing/llvm/bin/bin/clang-14+0xf3715e)
clang-14: error: clang frontend command failed with exit code 134 (use -v to
see invocation)
clang version 14.0.0 (<a href="https://github.com/llvm/llvm-project.git">https://github.com/llvm/llvm-project.git</a>
be610932fa068ed2228b0f694ae80c9294f0293f)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /testing/llvm/bin/bin
clang-14: note: diagnostic msg:
********************
PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:
Preprocessed source(s) and associated run script(s) are located at:
clang-14: note: diagnostic msg: /tmp/func-2a0db4.cpp
clang-14: note: diagnostic msg: /tmp/func-2a0db4.sh
clang-14: note: diagnostic msg:
********************
LLVM version:
clang version 14.0.0 (<a href="https://github.com/llvm/llvm-project.git">https://github.com/llvm/llvm-project.git</a>
be610932fa068ed2228b0f694ae80c9294f0293f)</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>