Fix SIL verifier's identification of @error_indirect operands

DougGregor · DougGregor · commit 118db28ab3e3 · 2023-11-03T19:07:20.000-07:00
diff --git a/include/swift/SIL/ApplySite.h b/include/swift/SIL/ApplySite.h
@@ -746,7 +746,7 @@ class FullApplySite : public ApplySite {
   bool isIndirectErrorResultOperand(const Operand &op) const {
     return isArgumentOperand(op)
       && (getCalleeArgIndex(op) >= getNumIndirectSILResults())
-      && (getCalleeArgIndex(op) < getNumIndirectSILErrorResults());
+      && (getCalleeArgIndex(op) < getNumIndirectSILResults() + getNumIndirectSILErrorResults());
   }
 
   static FullApplySite getFromOpaqueValue(void *p) { return FullApplySite(p); }

Original file line number	Diff line number	Diff line change
`@@ -746,7 +746,7 @@ class FullApplySite : public ApplySite {`
`746`	`746`	`bool isIndirectErrorResultOperand(const Operand &op) const {`
`747`	`747`	`return isArgumentOperand(op)`
`748`	`748`	`&& (getCalleeArgIndex(op) >= getNumIndirectSILResults())`
`749`		`- && (getCalleeArgIndex(op) < getNumIndirectSILErrorResults());`
	`749`	`+ && (getCalleeArgIndex(op) < getNumIndirectSILResults() + getNumIndirectSILErrorResults());`
`750`	`750`	`}`
`751`	`751`
`752`	`752`	`static FullApplySite getFromOpaqueValue(void *p) { return FullApplySite(p); }`