Issue 69291
Summary Clant crash: Assertion `materialized_use_empty() && "Uses remain when a value is destroyed!"' failed.
Labels new issue
Assignees
Reporter shao-hua-li
    Clang at -O1 crashed.

Bisected to 0823cb791198c3a73f38fdf42be8c6c5325aaac2, which was committed by @XChy 

Compiler explorer: https://godbolt.org/z/3nP69YcM4

```console
% cat a.c
short a;
unsigned char b;
int c;
int(d)(int e, int f) { return e / f; }
int g() { return 1; }
void h() {
  int i = b + b;
  c = g();
  if (d(i, (unsigned char)(c + b - 1) + b))
    ++a;
}
int main() {}
%
% clang -O1 a.c
While deleting: i32 %conv
Use still stuck around after Def is destroyed:  <badref> = sdiv i32 %conv, %conv
Use still stuck around after Def is destroyed:  <badref> = sdiv i32 %conv, %conv
clang-18: /tmp/tmp244tvrt0/tmpgk1d99hj/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 https://github.com/llvm/llvm-project/issues/ and include the crash backtrace, preprocessed source, and associated run script.
Stack dump:
0. Program arguments: /zdata/shaoli/compilers/ccbuilder-compilers/clang-0823cb791198c3a73f38fdf42be8c6c5325aaac2/bin/clang-18 -cc1 -triple x86_64-unknown-linux-gnu -emit-obj -dumpdir a- -disable-free -clear-ast-before-backend -main-file-name a.c -mrelocation-model pic -pic-level 2 -pic-is-pie -mframe-pointer=none -fmath-errno -ffp-contract=on -fno-rounding-math -mconstructor-aliases -funwind-tables=2 -target-cpu x86-64 -tune-cpu generic -debugger-tuning=gdb -fdebug-compilation-dir=/zdata/shaoli/realsmith/watchdir/reduced/case_AAlx1W2a -fcoverage-compilation-dir=/zdata/shaoli/realsmith/watchdir/reduced/case_AAlx1W2a -resource-dir /zdata/shaoli/compilers/ccbuilder-compilers/clang-0823cb791198c3a73f38fdf42be8c6c5325aaac2/lib/clang/18 -internal-isystem /zdata/shaoli/compilers/ccbuilder-compilers/clang-0823cb791198c3a73f38fdf42be8c6c5325aaac2/lib/clang/18/include -internal-isystem /usr/local/include -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/11/../../../../x86_64-linux-gnu/include -internal-externc-isystem /usr/include/x86_64-linux-gnu -internal-externc-isystem /include -internal-externc-isystem /usr/include -O1 -ferror-limit 19 -fgnuc-version=4.2.1 -fcolor-diagnostics -faddrsig -D__GCC_HAVE_DWARF2_CFI_ASM=1 -o /tmp/a-9d3526.o -x c a.c
1.      <eof> parser at end of file
2.      Optimizer
 #0 0x00007fd02e063f4f llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-0823cb791198c3a73f38fdf42be8c6c5325aaac2/bin/../lib/libLLVM-18git.so+0x926f4f)
 #1 0x00007fd02e0614b4 SignalHandler(int) Signals.cpp:0:0
 #2 0x00007fd02d352090 (/lib/x86_64-linux-gnu/libc.so.6+0x43090)
 #3 0x00007fd02d35200b raise /build/glibc-BHL3KM/glibc-2.31/signal/../sysdeps/unix/sysv/linux/raise.c:51:1
 #4 0x00007fd02d331859 abort /build/glibc-BHL3KM/glibc-2.31/stdlib/abort.c:81:7
 #5 0x00007fd02d331729 get_sysdep_segment_value /build/glibc-BHL3KM/glibc-2.31/intl/loadmsgcat.c:509:8
 #6 0x00007fd02d331729 _nl_load_domain /build/glibc-BHL3KM/glibc-2.31/intl/loadmsgcat.c:970:34
 #7 0x00007fd02d342fd6 (/lib/x86_64-linux-gnu/libc.so.6+0x33fd6)
 #8 0x00007fd02e2ac760 llvm::Value::~Value() (/zdata/shaoli/compilers/ccbuilder-compilers/clang-0823cb791198c3a73f38fdf42be8c6c5325aaac2/bin/../lib/libLLVM-18git.so+0xb6f760)
 #9 0x00007fd02e2ac7d2 llvm::Value::deleteValue() (/zdata/shaoli/compilers/ccbuilder-compilers/clang-0823cb791198c3a73f38fdf42be8c6c5325aaac2/bin/../lib/libLLVM-18git.so+0xb6f7d2)
#10 0x00007fd02e1d6f59 llvm::Instruction::eraseFromParent() (/zdata/shaoli/compilers/ccbuilder-compilers/clang-0823cb791198c3a73f38fdf42be8c6c5325aaac2/bin/../lib/libLLVM-18git.so+0xa99f59)
#11 0x00007fd02f525cac llvm::BDCEPass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-0823cb791198c3a73f38fdf42be8c6c5325aaac2/bin/../lib/libLLVM-18git.so+0x1de8cac)
#12 0x00007fd030f38bf6 llvm::detail::PassModel<llvm::Function, llvm::BDCEPass, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-0823cb791198c3a73f38fdf42be8c6c5325aaac2/bin/../lib/libLLVM-18git.so+0x37fbbf6)
#13 0x00007fd03495b8f5 llvm::detail::PassModel<llvm::Function, llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-0823cb791198c3a73f38fdf42be8c6c5325aaac2/bin/../lib/libclang-cpp.so.18git+0x20908f5)
#14 0x00007fd02fd22011 llvm::CGSCCToFunctionPassAdaptor::run(llvm::LazyCallGraph::SCC&, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-0823cb791198c3a73f38fdf42be8c6c5325aaac2/bin/../lib/libLLVM-18git.so+0x25e5011)
#15 0x00007fd030f36216 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&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-0823cb791198c3a73f38fdf42be8c6c5325aaac2/bin/../lib/libLLVM-18git.so+0x37f9216)
#16 0x00007fd02fd1a97f 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&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-0823cb791198c3a73f38fdf42be8c6c5325aaac2/bin/../lib/libLLVM-18git.so+0x25dd97f)
#17 0x00007fd02f97a376 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&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-0823cb791198c3a73f38fdf42be8c6c5325aaac2/bin/../lib/libLLVM-18git.so+0x223d376)
#18 0x00007fd02fd1e63d llvm::DevirtSCCRepeatedPass::run(llvm::LazyCallGraph::SCC&, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-0823cb791198c3a73f38fdf42be8c6c5325aaac2/bin/../lib/libLLVM-18git.so+0x25e163d)
#19 0x00007fd02f97a326 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&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-0823cb791198c3a73f38fdf42be8c6c5325aaac2/bin/../lib/libLLVM-18git.so+0x223d326)
#20 0x00007fd02fd1c70d llvm::ModuleToPostOrderCGSCCPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-0823cb791198c3a73f38fdf42be8c6c5325aaac2/bin/../lib/libLLVM-18git.so+0x25df70d)
#21 0x00007fd02f97f7c7 llvm::ModuleInlinerWrapperPass::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-0823cb791198c3a73f38fdf42be8c6c5325aaac2/bin/../lib/libLLVM-18git.so+0x22427c7)
#22 0x00007fd030f35826 llvm::detail::PassModel<llvm::Module, llvm::ModuleInlinerWrapperPass, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-0823cb791198c3a73f38fdf42be8c6c5325aaac2/bin/../lib/libLLVM-18git.so+0x37f8826)
#23 0x00007fd02e2744fd llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-0823cb791198c3a73f38fdf42be8c6c5325aaac2/bin/../lib/libLLVM-18git.so+0xb374fd)
#24 0x00007fd03495cec4 (anonymous namespace)::EmitAssemblyHelper::RunOptimizationPipeline(clang::BackendAction, std::unique_ptr<llvm::raw_pwrite_stream, std::default_delete<llvm::raw_pwrite_stream>>&, std::unique_ptr<llvm::ToolOutputFile, std::default_delete<llvm::ToolOutputFile>>&) BackendUtil.cpp:0:0
#25 0x00007fd03496073f (anonymous namespace)::EmitAssemblyHelper::EmitAssembly(clang::BackendAction, std::unique_ptr<llvm::raw_pwrite_stream, std::default_delete<llvm::raw_pwrite_stream>>) BackendUtil.cpp:0:0
#26 0x00007fd034960d89 clang::EmitBackendOutput(clang::DiagnosticsEngine&, clang::HeaderSearchOptions const&, clang::CodeGenOptions const&, clang::TargetOptions const&, clang::LangOptions const&, llvm::StringRef, llvm::Module*, clang::BackendAction, llvm::IntrusiveRefCntPtr<llvm::vfs::FileSystem>, std::unique_ptr<llvm::raw_pwrite_stream, std::default_delete<llvm::raw_pwrite_stream>>) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-0823cb791198c3a73f38fdf42be8c6c5325aaac2/bin/../lib/libclang-cpp.so.18git+0x2095d89)
#27 0x00007fd034e1fc37 clang::BackendConsumer::HandleTranslationUnit(clang::ASTContext&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-0823cb791198c3a73f38fdf42be8c6c5325aaac2/bin/../lib/libclang-cpp.so.18git+0x2554c37)
#28 0x00007fd03333d019 clang::ParseAST(clang::Sema&, bool, bool) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-0823cb791198c3a73f38fdf42be8c6c5325aaac2/bin/../lib/libclang-cpp.so.18git+0xa72019)
#29 0x00007fd034e1ee18 clang::CodeGenAction::ExecuteAction() (/zdata/shaoli/compilers/ccbuilder-compilers/clang-0823cb791198c3a73f38fdf42be8c6c5325aaac2/bin/../lib/libclang-cpp.so.18git+0x2553e18)
#30 0x00007fd035ab8bf9 clang::FrontendAction::Execute() (/zdata/shaoli/compilers/ccbuilder-compilers/clang-0823cb791198c3a73f38fdf42be8c6c5325aaac2/bin/../lib/libclang-cpp.so.18git+0x31edbf9)
#31 0x00007fd035a3464e clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-0823cb791198c3a73f38fdf42be8c6c5325aaac2/bin/../lib/libclang-cpp.so.18git+0x316964e)
#32 0x00007fd035b51766 clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-0823cb791198c3a73f38fdf42be8c6c5325aaac2/bin/../lib/libclang-cpp.so.18git+0x3286766)
#33 0x000055b3263dbaa6 cc1_main(llvm::ArrayRef<char const*>, char const*, void*) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-0823cb791198c3a73f38fdf42be8c6c5325aaac2/bin/clang-18+0x15aa6)
#34 0x000055b3263d33da ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&, llvm::ToolContext const&) driver.cpp:0:0
#35 0x000055b3263d801c clang_main(int, char**, llvm::ToolContext const&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-0823cb791198c3a73f38fdf42be8c6c5325aaac2/bin/clang-18+0x1201c)
#36 0x000055b3263d2e55 main (/zdata/shaoli/compilers/ccbuilder-compilers/clang-0823cb791198c3a73f38fdf42be8c6c5325aaac2/bin/clang-18+0xce55)
#37 0x00007fd02d333083 __libc_start_main /build/glibc-BHL3KM/glibc-2.31/csu/../csu/libc-start.c:342:3
#38 0x000055b3263d2e9e _start (/zdata/shaoli/compilers/ccbuilder-compilers/clang-0823cb791198c3a73f38fdf42be8c6c5325aaac2/bin/clang-18+0xce9e)
clang: error: unable to execute command: Aborted
clang: error: clang frontend command failed due to signal (use -v to see invocation)
clang version 18.0.0 (https://github.com/llvm/llvm-project.git 0823cb791198c3a73f38fdf42be8c6c5325aaac2)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /zdata/shaoli/compilers/ccbuilder-compilers/clang-0823cb791198c3a73f38fdf42be8c6c5325aaac2/bin
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/a-b6c92d.c
clang: note: diagnostic msg: /tmp/a-b6c92d.sh
clang: note: diagnostic msg:

********************
%
```
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs

Reply via email to