Skip to content

Commit 570a583

Browse files
committed
[NFC] Tweaked memory verifier require messages.
Grammar.
1 parent f8f32a6 commit 570a583

File tree

1 file changed

+5
-4
lines changed

1 file changed

+5
-4
lines changed

lib/SIL/Verifier/MemoryLifetimeVerifier.cpp

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -562,15 +562,16 @@ void MemoryLifetimeVerifier::checkFunction(BitDataflow &dataFlow) {
562562
require(expectedReturnBits & ~bs.data.exitSet,
563563
"indirect argument is not alive at function return", term);
564564
require(bs.data.exitSet & ~expectedReturnBits & nonTrivialLocations,
565-
"memory is initialized at function return but shouldn't", term,
566-
/*excludeTrivialEnums*/ true);
565+
"memory is initialized at function return but shouldn't be",
566+
term,
567+
/*excludeTrivialEnums*/ true);
567568
break;
568569
case SILInstructionKind::ThrowInst:
569570
require(expectedThrowBits & ~bs.data.exitSet,
570571
"indirect argument is not alive at throw", term);
571572
require(bs.data.exitSet & ~expectedThrowBits & nonTrivialLocations,
572-
"memory is initialized at throw but shouldn't", term,
573-
/*excludeTrivialEnums*/ true);
573+
"memory is initialized at throw but shouldn't be", term,
574+
/*excludeTrivialEnums*/ true);
574575
break;
575576
default:
576577
break;

0 commit comments

Comments
 (0)