Merge pull request #61848 from gottesmm/pr-1ce4557b1e09a2f5a8afd251c388492597ea3d9f

gottesmm · web-flow · commit 94b17595eeea · 2022-11-03T10:20:06.000-07:00
[silgen] Verify protocol witnesses's SIL right after emitting them.
diff --git a/lib/SILGen/SILGenPoly.cpp b/lib/SILGen/SILGenPoly.cpp
@@ -4617,4 +4617,7 @@ void SILGenFunction::emitProtocolWitness(
   formalEvalScope.pop();
   scope.pop();
   B.createReturn(loc, reqtResultValue);
+
+  // Now that we have finished emitting the function, verify it!
+  F.verify();
 }

Original file line number	Diff line number	Diff line change
`@@ -4617,4 +4617,7 @@ void SILGenFunction::emitProtocolWitness(`
`4617`	`4617`	`formalEvalScope.pop();`
`4618`	`4618`	`scope.pop();`
`4619`	`4619`	`B.createReturn(loc, reqtResultValue);`
	`4620`	`+`
	`4621`	`+ // Now that we have finished emitting the function, verify it!`
	`4622`	`+ F.verify();`
`4620`	`4623`	`}`