<html>
    <head>
      <base href="https://bugs.llvm.org/">
    </head>
    <body><table border="1" cellspacing="0" cellpadding="8">
        <tr>
          <th>Bug ID</th>
          <td><a class="bz_bug_link 
          bz_status_NEW "
   title="NEW - Assertion `BB->getTerminator()->getNumSuccessors() == 1 && "Should have a single succ!"' failed"
   href="https://bugs.llvm.org/show_bug.cgi?id=42544">42544</a>
          </td>
        </tr>

        <tr>
          <th>Summary</th>
          <td>Assertion `BB->getTerminator()->getNumSuccessors() == 1 && "Should have a single succ!"' failed
          </td>
        </tr>

        <tr>
          <th>Product</th>
          <td>libraries
          </td>
        </tr>

        <tr>
          <th>Version</th>
          <td>trunk
          </td>
        </tr>

        <tr>
          <th>Hardware</th>
          <td>PC
          </td>
        </tr>

        <tr>
          <th>OS</th>
          <td>Linux
          </td>
        </tr>

        <tr>
          <th>Status</th>
          <td>NEW
          </td>
        </tr>

        <tr>
          <th>Severity</th>
          <td>enhancement
          </td>
        </tr>

        <tr>
          <th>Priority</th>
          <td>P
          </td>
        </tr>

        <tr>
          <th>Component</th>
          <td>Transformation Utilities
          </td>
        </tr>

        <tr>
          <th>Assignee</th>
          <td>unassignedbugs@nondot.org
          </td>
        </tr>

        <tr>
          <th>Reporter</th>
          <td>peter@pcc.me.uk
          </td>
        </tr>

        <tr>
          <th>CC</th>
          <td>llvm-bugs@lists.llvm.org
          </td>
        </tr></table>
      <p>
        <div>
        <pre>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.</pre>
        </div>
      </p>


      <hr>
      <span>You are receiving this mail because:</span>

      <ul>
          <li>You are on the CC list for the bug.</li>
      </ul>
    </body>
</html>