Merge pull request #24715 from gottesmm/pr-77235b46e32b8feb75c20ca06c668aeec1a36547

Author: swift-ci

lib/SIL/SILVerifier.cpp

@@ -512,6 +512,14 @@ struct ImmutableAddressUseVerifier {
         //
         // TODO: Can we do better?
         break;
+      case SILInstructionKind::BranchInst:
+      case SILInstructionKind::CondBranchInst:
+        // We do not analyze through branches and cond_br instructions and just
+        // assume correctness. This is so that we can avoid having to analyze
+        // through phi loops and since we want to remove address phis (meaning
+        // that this eventually would never be able to happen). Once that
+        // changes happens, we should remove this code and just error below.
+        break;
       case SILInstructionKind::ApplyInst:
       case SILInstructionKind::TryApplyInst:
       case SILInstructionKind::PartialApplyInst:

test/Prototypes/TextFormatting.swift

@@ -1,9 +1,6 @@
 // RUN: %target-run-simple-swift | %FileCheck %s
 // REQUIRES: executable_test
 
-// Temporary workaround; ImmutableAddressUseVerifier asserts nondeterministically. rdar://problem/50676315
-// REQUIRES: rdar50676315
-
 // Text Formatting Prototype
 //
 // This file demonstrates the concepts proposed in TextFormatting.rst