[llvm-bugs] [Bug 38480] New: [SimplifyCFG] Assertion `PN->use_empty() && "There shouldn't be any uses here!"' failed.

[via llvm-bugs]

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

            Bug ID: 38480
           Summary: [SimplifyCFG] Assertion `PN->use_empty() && "There
                    shouldn't be any uses here!"' failed.
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Scalar Optimizations
          Assignee: unassignedbugs at nondot.org
          Reporter: karl-johan.karlsson at ericsson.com
                CC: llvm-bugs at lists.llvm.org

Created attachment 20655
  --> https://bugs.llvm.org/attachment.cgi?id=20655&action=edit
opt -S -simplifycfg ./simplifycfg_crash.ll

$ ./opt -S -simplifycfg ./simplifycfg_crash.ll
opt: ../lib/Transforms/Utils/Local.cpp:1027: bool
llvm::TryToSimplifyUncondBranchFromEmptyBlock(llvm::BasicBlock *,
llvm::DomTreeUpdater *): Assertion `PN->use_empty() && "There shouldn't be any
uses here!"' failed.
Stack dump:
0.      Program arguments: ./opt -S -simplifycfg ./simplifycfg_crash.ll 
1.      Running pass 'Function Pass Manager' on module
'./simplifycfg_crash.ll'.
2.      Running pass 'Simplify the CFG' on function '@f1'
#0 0x000000000208ab14 PrintStackTraceSignalHandler(void*) (./opt+0x208ab14)
#1 0x0000000002088c70 llvm::sys::RunSignalHandlers() (./opt+0x2088c70)
#2 0x000000000208ae78 SignalHandler(int) (./opt+0x208ae78)
#3 0x00007fe6a136b330 __restore_rt
(/lib/x86_64-linux-gnu/libpthread.so.0+0x10330)
#4 0x00007fe69ff5ac37 gsignal
/build/eglibc-ripdx6/eglibc-2.19/signal/../nptl/sysdeps/unix/sysv/linux/raise.c:56:0
#5 0x00007fe69ff5e028 abort
/build/eglibc-ripdx6/eglibc-2.19/stdlib/abort.c:91:0
#6 0x00007fe69ff53bf6 __assert_fail_base
/build/eglibc-ripdx6/eglibc-2.19/assert/assert.c:92:0
#7 0x00007fe69ff53ca2 (/lib/x86_64-linux-gnu/libc.so.6+0x2fca2)
#8 0x00000000020f39ff
llvm::TryToSimplifyUncondBranchFromEmptyBlock(llvm::BasicBlock*,
llvm::DomTreeUpdater*) (./opt+0x20f39ff)
#9 0x0000000002153075 (anonymous
namespace)::SimplifyCFGOpt::run(llvm::BasicBlock*) (./opt+0x2153075)
#10 0x000000000215cc89 (anonymous
namespace)::SimplifyCFGOpt::SimplifyCondBranch(llvm::BranchInst*,
llvm::IRBuilder<llvm::ConstantFolder, llvm::IRBuilderDefaultInserter>&)
(./opt+0x215cc89)
#11 0x0000000002153000 (anonymous
namespace)::SimplifyCFGOpt::run(llvm::BasicBlock*) (./opt+0x2153000)
#12 0x0000000002161d4a (anonymous
namespace)::SimplifyCFGOpt::SimplifySwitch(llvm::SwitchInst*,
llvm::IRBuilder<llvm::ConstantFolder, llvm::IRBuilderDefaultInserter>&)
(./opt+0x2161d4a)
#13 0x0000000002153193 (anonymous
namespace)::SimplifyCFGOpt::run(llvm::BasicBlock*) (./opt+0x2153193)
#14 0x0000000002151b25 llvm::simplifyCFG(llvm::BasicBlock*,
llvm::TargetTransformInfo const&, llvm::SimplifyCFGOptions const&,
llvm::SmallPtrSetImpl<llvm::BasicBlock*>*) (./opt+0x2151b25)
#15 0x0000000001fd1404 iterativelySimplifyCFG(llvm::Function&,
llvm::TargetTransformInfo const&, llvm::SimplifyCFGOptions const&)
(./opt+0x1fd1404)
#16 0x0000000001fd0ab6 simplifyFunctionCFG(llvm::Function&,
llvm::TargetTransformInfo const&, llvm::SimplifyCFGOptions const&)
(./opt+0x1fd0ab6)
#17 0x0000000001fd11cf (anonymous
namespace)::CFGSimplifyPass::runOnFunction(llvm::Function&) (./opt+0x1fd11cf)
#18 0x0000000001afd9b3 llvm::FPPassManager::runOnFunction(llvm::Function&)
(./opt+0x1afd9b3)
#19 0x0000000001afdbc8 llvm::FPPassManager::runOnModule(llvm::Module&)
(./opt+0x1afdbc8)
#20 0x0000000001afe07a llvm::legacy::PassManagerImpl::run(llvm::Module&)
(./opt+0x1afe07a)
#21 0x000000000075d414 main (./opt+0x75d414)
#22 0x00007fe69ff45f45 __libc_start_main
/build/eglibc-ripdx6/eglibc-2.19/csu/libc-start.c:321:0
#23 0x0000000000745b5d _start (./opt+0x745b5d)
Aborted (core dumped)

-- 
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/20180808/58d60bb0/attachment-0001.html>