Merge pull request #6872 from gottesmm/assign_store_of_trivial

[ownership-verifier] When checking uses, make sure to treat sources of assign/store that are trivially typed as trivial.

Author: gottesmm

lib/SIL/SILOwnershipVerifier.cpp

@@ -521,15 +521,24 @@ OwnershipCompatibilityUseChecker::visitBuiltinInst(BuiltinInst *I) {
 
 OwnershipUseCheckerResult
 OwnershipCompatibilityUseChecker::visitAssignInst(AssignInst *I) {
-  if (getValue() == I->getSrc())
+  if (getValue() == I->getSrc()) {
+    if (isAddressOrTrivialType()) {
+      return {compatibleWithOwnership(ValueOwnershipKind::Trivial), false};
+    }
     return {compatibleWithOwnership(ValueOwnershipKind::Owned), true};
+  }
+
   return {true, false};
 }
 
 OwnershipUseCheckerResult
 OwnershipCompatibilityUseChecker::visitStoreInst(StoreInst *I) {
-  if (getValue() == I->getSrc())
+  if (getValue() == I->getSrc()) {
+    if (isAddressOrTrivialType()) {
+      return {compatibleWithOwnership(ValueOwnershipKind::Trivial), false};
+    }
     return {compatibleWithOwnership(ValueOwnershipKind::Owned), true};
+  }
   return {true, false};
 }