[MachineBB] Make sure there are successors in terminatorIsComputedGoto.

fhahn · fhahn · commit b1ed553366d7 · 2025-07-28T09:39:30.000+01:00
diff --git a/llvm/include/llvm/CodeGen/MachineBasicBlock.h b/llvm/include/llvm/CodeGen/MachineBasicBlock.h
@@ -327,7 +327,7 @@ class MachineBasicBlock
   /// typically corresponds to a `goto` in C, rather than jump tables.
   bool terminatorIsComputedGoto() const {
     return back().isIndirectBranch() &&
-           llvm::all_of(successors(), [](const MachineBasicBlock *Succ) {
+           !succ_empty() && llvm::all_of(successors(), [](const MachineBasicBlock *Succ) {
              return Succ->isIRBlockAddressTaken();
            });
   }

Original file line number	Diff line number	Diff line change
`@@ -327,7 +327,7 @@ class MachineBasicBlock`
`327`	`327`	/// typically corresponds to a `goto` in C, rather than jump tables.
`328`	`328`	`bool terminatorIsComputedGoto() const {`
`329`	`329`	`return back().isIndirectBranch() &&`
`330`		`- llvm::all_of(successors(), [](const MachineBasicBlock *Succ) {`
	`330`	`+ !succ_empty() && llvm::all_of(successors(), [](const MachineBasicBlock *Succ) {`
`331`	`331`	`return Succ->isIRBlockAddressTaken();`
`332`	`332`	`});`
`333`	`333`	`}`