[SILGenCleanup] Added assert.

nate-chandler · nate-chandler · commit 4feae67f8df0 · 2023-09-07T07:05:33.000-07:00
diff --git a/lib/SILOptimizer/Mandatory/SILGenCleanup.cpp b/lib/SILOptimizer/Mandatory/SILGenCleanup.cpp
@@ -124,6 +124,7 @@ bool SILGenCleanup::completeOSSALifetimes(SILFunction *function) {
       }
     }
     for (SILArgument *arg : block->getArguments()) {
+      assert(!arg->isReborrow() && "reborrows not legal at this SIL stage");
       if (completion.completeOSSALifetime(arg) ==
           LifetimeCompletion::WasCompleted) {
         changed = true;

Original file line number	Diff line number	Diff line change
`@@ -124,6 +124,7 @@ bool SILGenCleanup::completeOSSALifetimes(SILFunction *function) {`
`124`	`124`	`}`
`125`	`125`	`}`
`126`	`126`	`for (SILArgument *arg : block->getArguments()) {`
	`127`	`+ assert(!arg->isReborrow() && "reborrows not legal at this SIL stage");`
`127`	`128`	`if (completion.completeOSSALifetime(arg) ==`
`128`	`129`	`LifetimeCompletion::WasCompleted) {`
`129`	`130`	`changed = true;`