[SILVerifier] Added null check.

nate-chandler · nate-chandler · commit 1e5a7aab9a91 · 2023-09-20T13:38:06.000-07:00
The deadEndBlocks field isn't always present so first check that it's
defined.
diff --git a/lib/SIL/Verifier/SILVerifier.cpp b/lib/SIL/Verifier/SILVerifier.cpp
@@ -2413,7 +2413,7 @@ class SILVerifier : public SILVerifierBase<SILVerifier> {
     // Check if the collected uses are well-scoped.
     for (auto *use : uses) {
       auto *user = use->getUser();
-      if (deadEndBlocks->isDeadEnd(user->getParent())) {
+      if (deadEndBlocks && deadEndBlocks->isDeadEnd(user->getParent())) {
         continue;
       }
       if (scopedAddress.isScopeEndingUse(use)) {

Original file line number	Diff line number	Diff line change
`@@ -2413,7 +2413,7 @@ class SILVerifier : public SILVerifierBase<SILVerifier> {`
`2413`	`2413`	`// Check if the collected uses are well-scoped.`
`2414`	`2414`	`for (auto *use : uses) {`
`2415`	`2415`	`auto *user = use->getUser();`
`2416`		`- if (deadEndBlocks->isDeadEnd(user->getParent())) {`
	`2416`	`+ if (deadEndBlocks && deadEndBlocks->isDeadEnd(user->getParent())) {`
`2417`	`2417`	`continue;`
`2418`	`2418`	`}`
`2419`	`2419`	`if (scopedAddress.isScopeEndingUse(use)) {`