https://bugs.llvm.org/show_bug.cgi?id=33204
Bug ID: 33204
Summary: void
{anonymous}::NewGVN::verifyIterationSettled(llvm::Func
tion&): Assertion `BeforeCC->isEquivalentTo(AfterCC)
&& "Value number changed after main loop completed!"'
failed
Product: new-bugs
Version: trunk
Hardware: PC
OS: Linux
Status: NEW
Severity: normal
Priority: P
Component: new bugs
Assignee: unassignedb...@nondot.org
Reporter: stephan.bergmann.second...@googlemail.com
CC: llvm-bugs@lists.llvm.org
On recent trunk (r304142), building the attached source (from building CoinMP
as part of LibreOffice) with -enable-newgvn fails with
> clang-5.0:
> /data/sbergman/github.com/llvm-project/llvm-project-20170507/llvm/lib/Transforms/Scalar/NewGVN.cpp:3010:
> void {anonymous}::NewGVN::verifyIterationSettled(llvm::Function&): Assertion
> `BeforeCC->isEquivalentTo(AfterCC) && "Value number changed after main loop
> completed!"' failed.
> #0 0x00000000020448ba llvm::sys::PrintStackTrace(llvm::raw_ostream&)
> /data/sbergman/github.com/llvm-project/llvm-project-20170507/llvm/lib/Support/Unix/Signals.inc:402:0
> #1 0x000000000204275e llvm::sys::RunSignalHandlers()
> /data/sbergman/github.com/llvm-project/llvm-project-20170507/llvm/lib/Support/Signals.cpp:44:0
> #2 0x00000000020428ac SignalHandler(int)
> /data/sbergman/github.com/llvm-project/llvm-project-20170507/llvm/lib/Support/Unix/Signals.inc:252:0
> #3 0x00007f4cc0f215c0 __restore_rt (/lib64/libpthread.so.0+0x115c0)
> #4 0x00007f4cbfa8991f __GI_raise
> /usr/src/debug/glibc-2.24-33-ge9e69e4/signal/../sysdeps/unix/sysv/linux/raise.c:58:0
> #5 0x00007f4cbfa8b51a __GI_abort
> /usr/src/debug/glibc-2.24-33-ge9e69e4/stdlib/abort.c:91:0
> #6 0x00007f4cbfa81da7 __assert_fail_base
> /usr/src/debug/glibc-2.24-33-ge9e69e4/assert/assert.c:92:0
> #7 0x00007f4cbfa81e52 (/lib64/libc.so.6+0x2de52)
> #8 0x0000000001f524e6 verifyIterationSettled
> /data/sbergman/github.com/llvm-project/llvm-project-20170507/llvm/lib/Transforms/Scalar/NewGVN.cpp:3009:0
> #9 0x0000000001f524e6 (anonymous namespace)::NewGVN::runGVN()
> /data/sbergman/github.com/llvm-project/llvm-project-20170507/llvm/lib/Transforms/Scalar/NewGVN.cpp:3167:0
> #10 0x0000000001f53ba7 (anonymous
> namespace)::NewGVNLegacyPass::runOnFunction(llvm::Function&) [clone
> .part.1368]
> /data/sbergman/github.com/llvm-project/llvm-project-20170507/llvm/lib/Transforms/Scalar/NewGVN.cpp:3898:0
> #11 0x0000000001bc1d3b llvm::FPPassManager::runOnFunction(llvm::Function&)
> /data/sbergman/github.com/llvm-project/llvm-project-20170507/llvm/lib/IR/LegacyPassManager.cpp:1519:0
> #12 0x00000000039d054b RunPassOnSCC
> /data/sbergman/github.com/llvm-project/llvm-project-20170507/llvm/lib/Analysis/CallGraphSCCPass.cpp:149:0
> #13 0x00000000039d054b RunAllPassesOnSCC
> /data/sbergman/github.com/llvm-project/llvm-project-20170507/llvm/lib/Analysis/CallGraphSCCPass.cpp:418:0
> #14 0x00000000039d054b (anonymous
> namespace)::CGPassManager::runOnModule(llvm::Module&)
> /data/sbergman/github.com/llvm-project/llvm-project-20170507/llvm/lib/Analysis/CallGraphSCCPass.cpp:474:0
> #15 0x0000000001bc2991 runOnModule
> /data/sbergman/github.com/llvm-project/llvm-project-20170507/llvm/lib/IR/LegacyPassManager.cpp:1596:0
> #16 0x0000000001bc2991 llvm::legacy::PassManagerImpl::run(llvm::Module&)
> /data/sbergman/github.com/llvm-project/llvm-project-20170507/llvm/lib/IR/LegacyPassManager.cpp:1699:0
> #17 0x00000000021e69cf
> llvm::PrettyStackTraceString::~PrettyStackTraceString()
> /data/sbergman/github.com/llvm-project/llvm-project-20170507/llvm/include/llvm/Support/PrettyStackTrace.h:52:0
> #18 0x00000000021e69cf EmitAssembly
> /data/sbergman/github.com/llvm-project/llvm-project-20170507/clang/lib/CodeGen/BackendUtil.cpp:786:0
> #19 0x00000000021e69cf 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> >)
> /data/sbergman/github.com/llvm-project/llvm-project-20170507/clang/lib/CodeGen/BackendUtil.cpp:1101:0
> #20 0x000000000296b608 std::unique_ptr<llvm::raw_pwrite_stream,
> std::default_delete<llvm::raw_pwrite_stream> >::~unique_ptr()
> /usr/include/c++/6.3.1/bits/unique_ptr.h:238:0
> #21 0x000000000296b608
> clang::BackendConsumer::HandleTranslationUnit(clang::ASTContext&)
> /data/sbergman/github.com/llvm-project/llvm-project-20170507/clang/lib/CodeGen/CodeGenAction.cpp:258:0
> #22 0x0000000002b32308
> std::enable_if<std::__and_<std::is_move_constructible<bool>,
> std::is_move_assignable<bool> >::value, void>::type std::swap<bool>(bool&,
> bool&) /usr/include/c++/6.3.1/bits/move.h:192:0
> #23 0x0000000002b32308 clang::ParseAST(clang::Sema&, bool, bool)
> /data/sbergman/github.com/llvm-project/llvm-project-20170507/clang/lib/Parse/ParseAST.cpp:161:0
> #24 0x000000000296a9fc clang::CodeGenAction::ExecuteAction()
> /data/sbergman/github.com/llvm-project/llvm-project-20170507/clang/lib/CodeGen/CodeGenAction.cpp:990:0
> #25 0x0000000002561b3e clang::FrontendAction::Execute()
> /data/sbergman/github.com/llvm-project/llvm-project-20170507/clang/lib/Frontend/FrontendAction.cpp:838:0
> #26 0x00000000025352d6
> clang::CompilerInstance::ExecuteAction(clang::FrontendAction&)
> /data/sbergman/github.com/llvm-project/llvm-project-20170507/clang/lib/Frontend/CompilerInstance.cpp:971:0
> #27 0x00000000025ef2f2
> clang::ExecuteCompilerInvocation(clang::CompilerInstance*)
> /data/sbergman/github.com/llvm-project/llvm-project-20170507/clang/lib/FrontendTool/ExecuteCompilerInvocation.cpp:249:0
> #28 0x0000000000b83498 cc1_main(llvm::ArrayRef<char const*>, char const*,
> void*)
> /data/sbergman/github.com/llvm-project/llvm-project-20170507/clang/tools/driver/cc1_main.cpp:221:0
> #29 0x0000000000b0ada5 ExecuteCC1Tool
> /data/sbergman/github.com/llvm-project/llvm-project-20170507/clang/tools/driver/driver.cpp:299:0
> #30 0x0000000000b0ada5 main
> /data/sbergman/github.com/llvm-project/llvm-project-20170507/clang/tools/driver/driver.cpp:380:0
> #31 0x00007f4cbfa74401 __libc_start_main
> /usr/src/debug/glibc-2.24-33-ge9e69e4/csu/../csu/libc-start.c:323:0
> #32 0x0000000000b8006a _start
> (/data/sbergman/llvm/inst/bin/clang-5.0+0xb8006a)
> Stack dump:
> 0. Program arguments: /data/sbergman/llvm/inst/bin/clang-5.0 -cc1 -triple
> x86_64-unknown-linux-gnu -emit-obj -disable-free -main-file-name
> CoinOslFactorization3.cpp -mrelocation-model pic -pic-level 2 -mthread-model
> posix -fmath-errno -masm-verbose -mconstructor-aliases -munwind-tables
> -fuse-init-array -target-cpu x86-64 -momit-leaf-frame-pointer
> -dwarf-column-info -debugger-tuning=gdb -coverage-notes-file
> /data/sbergman/lo-etc/core/workdir/UnpackedTarball/coinmp/CoinUtils/src/.libs/CoinOslFactorization3.gcno
> -resource-dir /data/sbergman/llvm/inst/lib/clang/5.0.0 -dependency-file
> .deps/CoinOslFactorization3.Tpo -sys-header-deps -MP -MT
> CoinOslFactorization3.lo -D HAVE_CONFIG_H -I . -I . -D NDEBUG -D
> COINUTILS_BUILD -D PIC -internal-isystem
> /usr/lib/gcc/x86_64-redhat-linux/6.3.1/../../../../include/c++/6.3.1
> -internal-isystem
> /usr/lib/gcc/x86_64-redhat-linux/6.3.1/../../../../include/c++/6.3.1/x86_64-redhat-linux
> -internal-isystem
> /usr/lib/gcc/x86_64-redhat-linux/6.3.1/../../../../include/c++/6.3.1/backward
> -internal-isystem /usr/local/include -internal-isystem
> /data/sbergman/llvm/inst/lib/clang/5.0.0/include -internal-externc-isystem
> /include -internal-externc-isystem /usr/include -O3 -Wparentheses
> -Wreturn-type -Wcast-qual -Wall -Wpointer-arith -Wwrite-strings -Wconversion
> -Wno-unknown-pragmas -Wno-long-long -pedantic-errors -fdeprecated-macro
> -fdebug-compilation-dir
> /data/sbergman/lo-etc/core/workdir/UnpackedTarball/coinmp/CoinUtils/src
> -ferror-limit 19 -fmessage-length 0 -fobjc-runtime=gcc -fcxx-exceptions
> -fexceptions -fsized-deallocation -fdiagnostics-show-option
> -fcolor-diagnostics -vectorize-loops -vectorize-slp -mllvm -enable-newgvn -o
> .libs/CoinOslFactorization3.o -x c++ CoinOslFactorization3.cpp
> 1. <eof> parser at end of file
> 2. Per-module optimization passes
> 3. Running pass 'CallGraph Pass Manager' on module
> 'CoinOslFactorization3.cpp'.
> 4. Running pass 'Global Value Numbering' on function
> '@_Z9c_ekkcmfdP12_EKKfactinfoPiP8EKKHlinkS3_S1_iS1_S1_S1_'
> clang-5.0: error: unable to execute command: Aborted (core dumped)
> clang-5.0: error: clang frontend command failed due to signal (use -v to see
> invocation)
> clang version 5.0.0
> Target: x86_64-unknown-linux-gnu
> Thread model: posix
> InstalledDir: /data/sbergman/llvm/inst/bin
--
You are receiving this mail because:
You are on the CC list for the bug._______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
