Skip to content

Commit 9478d34

Browse files
committed
Fix ConsumeOperatorCopyableValuesChecker to ignore trivial values.
1 parent dc56f8e commit 9478d34

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

lib/SILOptimizer/Mandatory/ConsumeOperatorCopyableValuesChecker.cpp

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -428,7 +428,9 @@ bool ConsumeOperatorCopyableValuesChecker::check() {
428428
for (auto &block : *fn) {
429429
for (auto &ii : block) {
430430
if (auto *mvi = dyn_cast<MoveValueInst>(&ii)) {
431-
if (mvi->isFromVarDecl() && !mvi->getType().isMoveOnly()) {
431+
if (mvi->isFromVarDecl()
432+
&& mvi->getOwnershipKind() != OwnershipKind::None
433+
&& !mvi->getType().isMoveOnly()) {
432434
LLVM_DEBUG(llvm::dbgs()
433435
<< "Found lexical lifetime to check: " << *mvi);
434436
valuesToCheck.insert(mvi);

0 commit comments

Comments
 (0)