Skip to content

Commit 79655d9

Browse files
authored
Merge pull request #14836 from rjmccall/remove-dead-return-loc-verification
2 parents f64d885 + a3d4014 commit 79655d9

File tree

1 file changed

+0
-11
lines changed

1 file changed

+0
-11
lines changed

lib/SIL/SILVerifier.cpp

Lines changed: 0 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -506,17 +506,6 @@ class SILVerifier : public SILVerifierBase<SILVerifier> {
506506
if (LocKind == SILLocation::RegularKind)
507507
return;
508508

509-
#if 0
510-
// FIXME: This check was tautological before the removal of
511-
// AutoreleaseReturnInst, and it turns out that we're violating it.
512-
// Fix incoming.
513-
if (LocKind == SILLocation::CleanupKind ||
514-
LocKind == SILLocation::InlinedKind)
515-
require(InstKind != SILInstructionKind::ReturnInst ||
516-
InstKind != SILInstructionKind::AutoreleaseReturnInst,
517-
"cleanup and inlined locations are not allowed on return instructions");
518-
#endif
519-
520509
if (LocKind == SILLocation::ReturnKind ||
521510
LocKind == SILLocation::ImplicitReturnKind)
522511
require(InstKind == SILInstructionKind::BranchInst ||

0 commit comments

Comments
 (0)