[region-isolation] Enable address walker verification on AllocPackInst.

gottesmm · gottesmm · commit 94acfd28733b · 2024-02-02T14:50:10.000-08:00
This provides a guarantee that the address walker will not miss walking any
addresses due to the walker not being updated.
diff --git a/lib/SIL/Verifier/SILVerifier.cpp b/lib/SIL/Verifier/SILVerifier.cpp
@@ -1627,6 +1627,7 @@ class SILVerifier : public SILVerifierBase<SILVerifier> {
     requireAddressType(SILPackType, AI->getType(),
                        "result of alloc_pack must be an address of "
                        "lowered pack type");
+    checkAddressWalkerCanVisitAllTransitiveUses(AI);
   }
 
   void checkAllocRefBase(AllocRefInstBase *ARI) {

Original file line number	Diff line number	Diff line change
`@@ -1627,6 +1627,7 @@ class SILVerifier : public SILVerifierBase<SILVerifier> {`
`1627`	`1627`	`requireAddressType(SILPackType, AI->getType(),`
`1628`	`1628`	`"result of alloc_pack must be an address of "`
`1629`	`1629`	`"lowered pack type");`
	`1630`	`+ checkAddressWalkerCanVisitAllTransitiveUses(AI);`
`1630`	`1631`	`}`
`1631`	`1632`
`1632`	`1633`	`void checkAllocRefBase(AllocRefInstBase *ARI) {`