[llvm-bugs] [Bug 34473] New: void {anonymous}::NewGVN::verifyIterationSettled(llvm::Function&): Assertion `BeforeCC->isEquivalentTo(AfterCC) && "Value number changed after main loop completed!"' failed
via llvm-bugs
llvm-bugs at lists.llvm.org
Tue Sep 5 02:19:54 PDT 2017
https://bugs.llvm.org/show_bug.cgi?id=34473
Bug ID: 34473
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: enhancement
Priority: P
Component: new bugs
Assignee: unassignedbugs at nondot.org
Reporter: stephan.bergmann.secondary at googlemail.com
CC: llvm-bugs at lists.llvm.org
[created a fresh issue as requested in issue 33204 comment 15]
On recent trunk (r312520), building the attached source (see below; from
building CoinMP as part of LibreOffice) with -enable-newgvn fails with
> clang-6.0: /data/sbergman/github.com/llvm-project/llvm-project-20170507/llvm/lib/Transforms/Scalar/NewGVN.cpp:3139: void {anonymous}::NewGVN::verifyIterationSettled(llvm::Function&): Assertion `BeforeCC->isEquivalentTo(AfterCC) && "Value number changed after main loop completed!"' failed.
> #0 0x000000000202ec2a llvm::sys::PrintStackTrace(llvm::raw_ostream&) /data/sbergman/github.com/llvm-project/llvm-project-20170507/llvm/lib/Support/Unix/Signals.inc:402:0
> #1 0x000000000202cb5e llvm::sys::RunSignalHandlers() /data/sbergman/github.com/llvm-project/llvm-project-20170507/llvm/lib/Support/Signals.cpp:50:0
> #2 0x000000000202ccac SignalHandler(int) /data/sbergman/github.com/llvm-project/llvm-project-20170507/llvm/lib/Support/Unix/Signals.inc:252:0
> #3 0x00007fe9913e55b0 __restore_rt (/lib64/libpthread.so.0+0x115b0)
> #4 0x00007fe98ff4d8df __GI_raise /usr/src/debug/glibc-2.24-61-g605e6f9/signal/../sysdeps/unix/sysv/linux/raise.c:51:0
> #5 0x00007fe98ff4f4da __GI_abort /usr/src/debug/glibc-2.24-61-g605e6f9/stdlib/abort.c:91:0
> #6 0x00007fe98ff45d67 __assert_fail_base /usr/src/debug/glibc-2.24-61-g605e6f9/assert/assert.c:92:0
> #7 0x00007fe98ff45e12 (/lib64/libc.so.6+0x2de12)
> #8 0x0000000001f43329 verifyIterationSettled /data/sbergman/github.com/llvm-project/llvm-project-20170507/llvm/lib/Transforms/Scalar/NewGVN.cpp:3138:0
> #9 0x0000000001f43329 (anonymous namespace)::NewGVN::runGVN() /data/sbergman/github.com/llvm-project/llvm-project-20170507/llvm/lib/Transforms/Scalar/NewGVN.cpp:3309:0
> #10 0x0000000001f446a7 (anonymous namespace)::NewGVNLegacyPass::runOnFunction(llvm::Function&) [clone .part.1455] /data/sbergman/github.com/llvm-project/llvm-project-20170507/llvm/lib/Transforms/Scalar/NewGVN.cpp:4051:0
> #11 0x0000000001ba8f1b llvm::FPPassManager::runOnFunction(llvm::Function&) /data/sbergman/github.com/llvm-project/llvm-project-20170507/llvm/lib/IR/LegacyPassManager.cpp:1514:0
> #12 0x000000000165ecbb RunPassOnSCC /data/sbergman/github.com/llvm-project/llvm-project-20170507/llvm/lib/Analysis/CallGraphSCCPass.cpp:156:0
> #13 0x000000000165ecbb RunAllPassesOnSCC /data/sbergman/github.com/llvm-project/llvm-project-20170507/llvm/lib/Analysis/CallGraphSCCPass.cpp:423:0
> #14 0x000000000165ecbb (anonymous namespace)::CGPassManager::runOnModule(llvm::Module&) /data/sbergman/github.com/llvm-project/llvm-project-20170507/llvm/lib/Analysis/CallGraphSCCPass.cpp:479:0
> #15 0x0000000001ba9b41 runOnModule /data/sbergman/github.com/llvm-project/llvm-project-20170507/llvm/lib/IR/LegacyPassManager.cpp:1591:0
> #16 0x0000000001ba9b41 llvm::legacy::PassManagerImpl::run(llvm::Module&) /data/sbergman/github.com/llvm-project/llvm-project-20170507/llvm/lib/IR/LegacyPassManager.cpp:1694:0
> #17 0x00000000021d0d3f llvm::PrettyStackTraceString::~PrettyStackTraceString() /data/sbergman/github.com/llvm-project/llvm-project-20170507/llvm/include/llvm/Support/PrettyStackTrace.h:52:0
> #18 0x00000000021d0d3f EmitAssembly /data/sbergman/github.com/llvm-project/llvm-project-20170507/clang/lib/CodeGen/BackendUtil.cpp:788:0
> #19 0x00000000021d0d3f 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:1145:0
> #20 0x00000000029b6a78 std::unique_ptr<llvm::raw_pwrite_stream, std::default_delete<llvm::raw_pwrite_stream> >::~unique_ptr() /usr/include/c++/6.4.1/bits/unique_ptr.h:238:0
> #21 0x00000000029b6a78 clang::BackendConsumer::HandleTranslationUnit(clang::ASTContext&) /data/sbergman/github.com/llvm-project/llvm-project-20170507/clang/lib/CodeGen/CodeGenAction.cpp:261:0
> #22 0x0000000002b894b8 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.4.1/bits/move.h:192:0
> #23 0x0000000002b894b8 clang::ParseAST(clang::Sema&, bool, bool) /data/sbergman/github.com/llvm-project/llvm-project-20170507/clang/lib/Parse/ParseAST.cpp:161:0
> #24 0x00000000029b5d89 clang::CodeGenAction::ExecuteAction() /data/sbergman/github.com/llvm-project/llvm-project-20170507/clang/lib/CodeGen/CodeGenAction.cpp:993:0
> #25 0x00000000025686f6 clang::FrontendAction::Execute() /data/sbergman/github.com/llvm-project/llvm-project-20170507/clang/lib/Frontend/FrontendAction.cpp:902:0
> #26 0x0000000002536ac6 clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) /data/sbergman/github.com/llvm-project/llvm-project-20170507/clang/lib/Frontend/CompilerInstance.cpp:987:0
> #27 0x00000000025f71e2 clang::ExecuteCompilerInvocation(clang::CompilerInstance*) /data/sbergman/github.com/llvm-project/llvm-project-20170507/clang/lib/FrontendTool/ExecuteCompilerInvocation.cpp:252:0
> #28 0x0000000000af3698 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 0x0000000000a71bf9 ExecuteCC1Tool /data/sbergman/github.com/llvm-project/llvm-project-20170507/clang/tools/driver/driver.cpp:302:0
> #30 0x0000000000a71bf9 main /data/sbergman/github.com/llvm-project/llvm-project-20170507/clang/tools/driver/driver.cpp:381:0
> #31 0x00007fe98ff38401 __libc_start_main /usr/src/debug/glibc-2.24-61-g605e6f9/csu/../csu/libc-start.c:323:0
> #32 0x0000000000af000a _start (/data/sbergman/llvm/inst/bin/clang-6.0+0xaf000a)
> Stack dump:
> 0. Program arguments: /data/sbergman/llvm/inst/bin/clang-6.0 -cc1 -triple x86_64-unknown-linux-gnu -emit-obj -disable-free -main-file-name CoinPackedMatrix.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 -dwarf-column-info -debugger-tuning=gdb -momit-leaf-frame-pointer -coverage-notes-file /data/sbergman/lo-etc/core/workdir/UnpackedTarball/coinmp/CoinUtils/src/.libs/CoinPackedMatrix.gcno -sys-header-deps -D HAVE_CONFIG_H -D NDEBUG -D COINUTILS_BUILD -D PIC -O3 -Wparentheses -Wreturn-type -Wcast-qual -Wall -Wpointer-arith -Wwrite-strings -Wconversion -Wno-unknown-pragmas -Wno-long-long -pedantic-errors -fdeprecated-macro -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 -x c++ CoinPackedMatrix-dcdcb8.cpp
> 1. <eof> parser at end of file
> 2. Per-module optimization passes
> 3. Running pass 'CallGraph Pass Manager' on module 'CoinPackedMatrix-dcdcb8.cpp'.
> 4. Running pass 'Global Value Numbering' on function '@_ZL22CoinTestSortedIndexSetiPKiiPKc'
For the "attached source", the run script is issue 33204 attachment 19097 and
the preprocessed input is
<http://people.redhat.com/sbergman/CoinPackedMatrix-dcdcb8.cpp>.
--
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/20170905/1ba8ab3d/attachment-0001.html>
More information about the llvm-bugs
mailing list