Merge pull request #15281 from gottesmm/pr-8eebff2ad3ce23bb2992d71de1a31b1421b2194f

gottesmm · web-flow · commit 9c00c3884930 · 2018-03-15T15:09:16.000-07:00
[silgen] When emitting a vtable thunk, verify the thunk after emissio…
diff --git a/lib/SILGen/SILGenPoly.cpp b/lib/SILGen/SILGenPoly.cpp
@@ -3404,6 +3404,10 @@ SILGenFunction::emitVTableThunk(SILDeclRef derived,
   
   scope.pop();
   B.createReturn(loc, result);
+
+  // Now that the thunk body has been completely emitted, verify the
+  // body early.
+  F.verify();
 }
 
 //===----------------------------------------------------------------------===//

Original file line number	Diff line number	Diff line change
`@@ -3404,6 +3404,10 @@ SILGenFunction::emitVTableThunk(SILDeclRef derived,`
`3404`	`3404`
`3405`	`3405`	`scope.pop();`
`3406`	`3406`	`B.createReturn(loc, result);`
	`3407`	`+`
	`3408`	`+ // Now that the thunk body has been completely emitted, verify the`
	`3409`	`+ // body early.`
	`3410`	`+ F.verify();`
`3407`	`3411`	`}`
`3408`	`3412`
`3409`	`3413`	`//===----------------------------------------------------------------------===//`