---

yaml
---
r: 349477
b: refs/heads/master-next
c: 73ffbdf
h: refs/heads/master
i:
  349475: f2614f8

Author: swift-ci

[refs]

@@ -1,6 +1,6 @@
 ---
 refs/heads/master: 3574c513bbc5578dd9346b4ea9ab5995c5927bb5
-refs/heads/master-next: b0f74139d598a8c16dacfa5138466b3e19c92a9f
+refs/heads/master-next: 73ffbdf0813a6e99e803bd953459fa16a63e5564
 refs/tags/osx-passed: b6b74147ef8a386f532cf9357a1bde006e552c54
 refs/tags/swift-2.2-SNAPSHOT-2015-12-01-a: 6bb18e013c2284f2b45f5f84f2df2887dc0f7dea
 refs/tags/swift-2.2-SNAPSHOT-2015-12-01-b: 66d897bfcf64a82cb9a87f5e663d889189d06d07

branches/master-next/lib/SILOptimizer/Mandatory/SemanticARCOpts.cpp

@@ -369,7 +369,7 @@ static bool isWrittenTo(SILFunction &f, SILValue value) {
   // conservative and assume that the value is written to.
   const auto &storage = findAccessedStorageNonNested(value);
   if (!storage)
-    return false;
+    return true;
 
   // Then see if we ever write to this address in a flow insensitive
   // way (ignoring stores that are obviously the only initializer to