Verifier: fix a stupid bug in borrowed-from verification

eeckstein · eeckstein · commit 21fedfa61e90 · 2024-08-07T18:02:39.000+02:00
... which made the verification useless.
diff --git a/SwiftCompilerSources/Sources/Optimizer/Utilities/Verifier.swift b/SwiftCompilerSources/Sources/Optimizer/Utilities/Verifier.swift
@@ -67,7 +67,7 @@ extension BorrowedFromInst : VerifyableInstruction {
     var existingEVs = ValueSet(insertContentsOf: enclosingValues, context)
     defer { existingEVs.deinitialize() }
 
-    for computedEV in enclosingValues {
+    for computedEV in computedEVs {
       require(existingEVs.contains(computedEV),
                    "\(computedEV)\n  missing in enclosing values of \(self)")
     }

Original file line number	Diff line number	Diff line change
`@@ -67,7 +67,7 @@ extension BorrowedFromInst : VerifyableInstruction {`
`67`	`67`	`var existingEVs = ValueSet(insertContentsOf: enclosingValues, context)`
`68`	`68`	`defer { existingEVs.deinitialize() }`
`69`	`69`
`70`		`- for computedEV in enclosingValues {`
	`70`	`+ for computedEV in computedEVs {`
`71`	`71`	`require(existingEVs.contains(computedEV),`
`72`	`72`	`"\(computedEV)\n missing in enclosing values of \(self)")`
`73`	`73`	`}`