[llvm-bugs] [Bug 42544] New: Assertion `BB->getTerminator()->getNumSuccessors() == 1 && "Should have a single succ!"' failed

[via llvm-bugs]

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

            Bug ID: 42544
           Summary: Assertion `BB->getTerminator()->getNumSuccessors() ==
                    1 && "Should have a single succ!"' failed
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Transformation Utilities
          Assignee: unassignedbugs at nondot.org
          Reporter: peter at pcc.me.uk
                CC: llvm-bugs at lists.llvm.org

With the following test case (reduced from an LTO build of the Linux kernel) I
get:

$ cat fair.i
enum {
  a,
  b
}
# 1 "" 3
c() {
  asm goto("" : : : : d);
  asm("");
  return a;
d:
  return b;
}
ag;
e(f) {
  ag &&f;
  _Bool am = c();
  e(am);
}
$ clang -flto -O2 -c -o fair.o fair.i -fno-optimize-sibling-calls
$ ld.lld -r -o vmlinux.o fair.o 
ld.lld: [...]/llvm/lib/Transforms/Utils/BasicBlockUtils.cpp:348:
llvm::BasicBlock *llvm::SplitEdge(llvm::BasicBlock *, llvm::BasicBlock *,
llvm::DominatorTree *, llvm::LoopInfo *, llvm::MemorySSAUpdater *): Assertion
`BB->getTerminator()->getNumSuccessors() == 1 && "Should have a single succ!"'
failed.

-- 
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/20190708/9637e86a/attachment.html>