[llvm-bugs] [Bug 48865] New: clang crashes at -O3 on x86_64-linux-gnu: Assertion `IDom && "Block must have a valid IDom."' failed

via llvm-bugs llvm-bugs at lists.llvm.org
Sun Jan 24 06:07:42 PST 2021


https://bugs.llvm.org/show_bug.cgi?id=48865

            Bug ID: 48865
           Summary: clang crashes at -O3 on x86_64-linux-gnu: Assertion
                    `IDom && "Block must have a valid IDom."' failed
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Global Analyses
          Assignee: unassignedbugs at nondot.org
          Reporter: zhendong.su at inf.ethz.ch
                CC: llvm-bugs at lists.llvm.org

[613] % clangtk -v
clang version 12.0.0 (https://github.com/llvm/llvm-project.git
dcc7706fcf2438b92d6f619e63c5db4880042ed2)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /local/suz-local/opfuzz/bin
Found candidate GCC installation: /usr/lib/gcc/i686-linux-gnu/8
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/6
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/6.5.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7.5.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/8
Selected GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7.5.0
Candidate multilib: .;@m64
Candidate multilib: 32;@m32
Candidate multilib: x32;@mx32
Selected multilib: .;@m64
[614] % 
[614] % clangtk -O2 small.c
[615] % 
[615] % clangtk -O3 small.c
clang-12:
/local/suz-local/software/clangbuild/llvm-project/llvm/lib/Analysis/MemorySSAUpdater.cpp:1154:
void
llvm::MemorySSAUpdater::applyInsertUpdates(llvm::ArrayRef<llvm::cfg::Update<llvm::BasicBlock*>
>, llvm::DominatorTree&, const llvm::GraphDiff<llvm::BasicBlock*, false>*):
Assertion `IDom && "Block must have a valid IDom."' failed.
PLEASE submit a bug report to https://bugs.llvm.org/ and include the crash
backtrace, preprocessed source, and associated run script.
Stack dump:
0.      Program arguments:
/local/suz-local/software/local/clang-trunk/bin/clang-12 -cc1 -triple
x86_64-unknown-linux-gnu -emit-obj --mrelax-relocations -disable-free
-main-file-name small.c -mrelocation-model static -mframe-pointer=none
-fmath-errno -fno-rounding-math -mconstructor-aliases -munwind-tables
-target-cpu x86-64 -tune-cpu generic -fno-split-dwarf-inlining
-debugger-tuning=gdb -resource-dir
/local/suz-local/software/local/clang-trunk/lib/clang/12.0.0 -I
/usr/local/include/csmith -internal-isystem /usr/local/include
-internal-isystem
/local/suz-local/software/local/clang-trunk/lib/clang/12.0.0/include
-internal-externc-isystem /usr/include/x86_64-linux-gnu
-internal-externc-isystem /include -internal-externc-isystem /usr/include -O3
-fdebug-compilation-dir
/local/suz-local/software/emitesting/bugs/20210124-clangtk-m64-O3-Weverything-pipe-fPIC-build-015510/delta
-ferror-limit 19 -fgnuc-version=4.2.1 -fcolor-diagnostics -vectorize-loops
-vectorize-slp -faddrsig -o /tmp/small-d06a37.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 'Loop Pass Manager' on function '@main'
5.      Running pass 'Unswitch loops' on basic block '%for.body'
 #0 0x000055f33d9e379c llvm::sys::PrintStackTrace(llvm::raw_ostream&, int)
(/local/suz-local/software/local/clang-trunk/bin/clang-12+0x349079c)
 #1 0x000055f33d9e1464 llvm::sys::RunSignalHandlers()
(/local/suz-local/software/local/clang-trunk/bin/clang-12+0x348e464)
 #2 0x000055f33d9e15d3 SignalHandler(int)
(/local/suz-local/software/local/clang-trunk/bin/clang-12+0x348e5d3)
 #3 0x00007f82f0bd88a0 __restore_rt
(/lib/x86_64-linux-gnu/libpthread.so.0+0x128a0)
 #4 0x00007f82ef889f47 raise
/build/glibc-2ORdQG/glibc-2.27/signal/../sysdeps/unix/sysv/linux/raise.c:51:0
 #5 0x00007f82ef88b8b1 abort /build/glibc-2ORdQG/glibc-2.27/stdlib/abort.c:81:0
 #6 0x00007f82ef87b42a __assert_fail_base
/build/glibc-2ORdQG/glibc-2.27/assert/assert.c:89:0
 #7 0x00007f82ef87b4a2 (/lib/x86_64-linux-gnu/libc.so.6+0x304a2)
 #8 0x000055f33cb1a142
llvm::MemorySSAUpdater::applyInsertUpdates(llvm::ArrayRef<llvm::cfg::Update<llvm::BasicBlock*>
>, llvm::DominatorTree&, llvm::GraphDiff<llvm::BasicBlock*, false> const*)
(/local/suz-local/software/local/clang-trunk/bin/clang-12+0x25c7142)
 #9 0x000055f33cb1a492
llvm::MemorySSAUpdater::applyInsertUpdates(llvm::ArrayRef<llvm::cfg::Update<llvm::BasicBlock*>
>, llvm::DominatorTree&)
(/local/suz-local/software/local/clang-trunk/bin/clang-12+0x25c7492)
#10 0x000055f33cb1a5e4
llvm::MemorySSAUpdater::updateExitBlocksForClonedLoop(llvm::ArrayRef<llvm::BasicBlock*>,
llvm::ValueMap<llvm::Value const*, llvm::WeakTrackingVH,
llvm::ValueMapConfig<llvm::Value const*, llvm::sys::SmartMutex<false> > >
const&, llvm::DominatorTree&)
(/local/suz-local/software/local/clang-trunk/bin/clang-12+0x25c75e4)
#11 0x000055f33d80a7a3 (anonymous
namespace)::LoopUnswitch::unswitchNontrivialCondition(llvm::Value*,
llvm::Constant*, llvm::Loop*, llvm::Instruction*,
llvm::ArrayRef<llvm::Instruction*>)
(/local/suz-local/software/local/clang-trunk/bin/clang-12+0x32b77a3)
#12 0x000055f33d80aeac (anonymous
namespace)::LoopUnswitch::unswitchIfProfitable(llvm::Value*, llvm::Constant*,
llvm::Instruction*, llvm::ArrayRef<llvm::Instruction*>)
(/local/suz-local/software/local/clang-trunk/bin/clang-12+0x32b7eac)
#13 0x000055f33d80be82 (anonymous
namespace)::LoopUnswitch::processCurrentLoop()
(/local/suz-local/software/local/clang-trunk/bin/clang-12+0x32b8e82)
#14 0x000055f33d80d1df (anonymous
namespace)::LoopUnswitch::runOnLoop(llvm::Loop*, llvm::LPPassManager&)
(/local/suz-local/software/local/clang-trunk/bin/clang-12+0x32ba1df)
#15 0x000055f33cad53d3 llvm::LPPassManager::runOnFunction(llvm::Function&)
(/local/suz-local/software/local/clang-trunk/bin/clang-12+0x25823d3)
#16 0x000055f33d1fd668 llvm::FPPassManager::runOnFunction(llvm::Function&)
(/local/suz-local/software/local/clang-trunk/bin/clang-12+0x2caa668)
#17 0x000055f33c9f47a4 (anonymous
namespace)::CGPassManager::runOnModule(llvm::Module&)
(/local/suz-local/software/local/clang-trunk/bin/clang-12+0x24a17a4)
#18 0x000055f33d1fcee6 llvm::legacy::PassManagerImpl::run(llvm::Module&)
(/local/suz-local/software/local/clang-trunk/bin/clang-12+0x2ca9ee6)
#19 0x000055f33dc9863c (anonymous
namespace)::EmitAssemblyHelper::EmitAssembly(clang::BackendAction,
std::unique_ptr<llvm::raw_pwrite_stream,
std::default_delete<llvm::raw_pwrite_stream> >)
(/local/suz-local/software/local/clang-trunk/bin/clang-12+0x374563c)
#20 0x000055f33dc9a2e5 clang::EmitBackendOutput(clang::DiagnosticsEngine&,
clang::HeaderSearchOptions const&, clang::CodeGenOptions const&,
clang::TargetOptions const&, clang::LangOptions const&, llvm::DataLayout
const&, llvm::Module*, clang::BackendAction,
std::unique_ptr<llvm::raw_pwrite_stream,
std::default_delete<llvm::raw_pwrite_stream> >)
(/local/suz-local/software/local/clang-trunk/bin/clang-12+0x37472e5)
#21 0x000055f33e8cce06
clang::BackendConsumer::HandleTranslationUnit(clang::ASTContext&)
(/local/suz-local/software/local/clang-trunk/bin/clang-12+0x4379e06)
#22 0x000055f33f6e82e9 clang::ParseAST(clang::Sema&, bool, bool)
(/local/suz-local/software/local/clang-trunk/bin/clang-12+0x51952e9)
#23 0x000055f33e8ccfb0 clang::CodeGenAction::ExecuteAction()
(/local/suz-local/software/local/clang-trunk/bin/clang-12+0x4379fb0)
#24 0x000055f33e272c51 clang::FrontendAction::Execute()
(/local/suz-local/software/local/clang-trunk/bin/clang-12+0x3d1fc51)
#25 0x000055f33e219ff1
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&)
(/local/suz-local/software/local/clang-trunk/bin/clang-12+0x3cc6ff1)
#26 0x000055f33e33f94a
clang::ExecuteCompilerInvocation(clang::CompilerInstance*)
(/local/suz-local/software/local/clang-trunk/bin/clang-12+0x3dec94a)
#27 0x000055f33b749fac cc1_main(llvm::ArrayRef<char const*>, char const*,
void*) (/local/suz-local/software/local/clang-trunk/bin/clang-12+0x11f6fac)
#28 0x000055f33b745749 ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&)
(/local/suz-local/software/local/clang-trunk/bin/clang-12+0x11f2749)
#29 0x000055f33b66ec6c main
(/local/suz-local/software/local/clang-trunk/bin/clang-12+0x111bc6c)
#30 0x00007f82ef86cb97 __libc_start_main
/build/glibc-2ORdQG/glibc-2.27/csu/../csu/libc-start.c:344:0
#31 0x000055f33b7452aa _start
(/local/suz-local/software/local/clang-trunk/bin/clang-12+0x11f22aa)
clang-12: error: unable to execute command: Aborted
clang-12: error: clang frontend command failed due to signal (use -v to see
invocation)
clang version 12.0.0 (https://github.com/llvm/llvm-project.git
dcc7706fcf2438b92d6f619e63c5db4880042ed2)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /local/suz-local/opfuzz/bin
clang-12: note: diagnostic msg: 
********************

PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:
Preprocessed source(s) and associated run script(s) are located at:
clang-12: note: diagnostic msg: /tmp/small-251d32.c
clang-12: note: diagnostic msg: /tmp/small-251d32.sh
clang-12: note: diagnostic msg: 

********************
[616] % 
[616] % cat small.c
extern void g();

int a, b, c, *d = &c;
short e;

int main () {
  for (a = 0; a < 1;) {
    e--;
    if (!(*d))
      break;
    for (; b; b = 0)
      ;
    for (c = 0; c; g())
      ;
  }
  return 0;
}

-- 
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/20210124/cc5f81fc/attachment-0001.html>


More information about the llvm-bugs mailing list