Teach TransferNonSendable that not all Error BB's have arguments

DougGregor · DougGregor · commit 3bc6497e4931 · 2023-11-13T14:21:36.000-08:00
diff --git a/lib/SILOptimizer/Mandatory/TransferNonSendable.cpp b/lib/SILOptimizer/Mandatory/TransferNonSendable.cpp
@@ -647,7 +647,8 @@ class PartitionOpTranslator {
 
     if (auto tryApplyInst = dyn_cast<TryApplyInst>(inst)) {
       foundResults.emplace_back(tryApplyInst->getNormalBB()->getArgument(0));
-      foundResults.emplace_back(tryApplyInst->getErrorBB()->getArgument(0));
+      if (tryApplyInst->getErrorBB()->getNumArguments() > 0)
+        foundResults.emplace_back(tryApplyInst->getErrorBB()->getArgument(0));
       return;
     }
 

Original file line number	Diff line number	Diff line change
`@@ -647,7 +647,8 @@ class PartitionOpTranslator {`
`647`	`647`
`648`	`648`	`if (auto tryApplyInst = dyn_cast<TryApplyInst>(inst)) {`
`649`	`649`	`foundResults.emplace_back(tryApplyInst->getNormalBB()->getArgument(0));`
`650`		`- foundResults.emplace_back(tryApplyInst->getErrorBB()->getArgument(0));`
	`650`	`+ if (tryApplyInst->getErrorBB()->getNumArguments() > 0)`
	`651`	`+ foundResults.emplace_back(tryApplyInst->getErrorBB()->getArgument(0));`
`651`	`652`	`return;`
`652`	`653`	`}`
`653`	`654`