Merge pull request swiftlang#14526 from aschwaighofer/indirect_out_accessenforcementselection

AccessEnforcementSelection: An @out parameter can be used

Author: aschwaighofer

lib/SILOptimizer/Mandatory/AccessEnforcementSelection.cpp

@@ -647,6 +647,10 @@ SourceAccess AccessEnforcementSelection::getSourceAccess(SILValue address) {
       // on the caller side.
       return SourceAccess::getStaticAccess();
 
+    case SILArgumentConvention::Indirect_Out:
+      // We use an initialized 'out' argument as a parameter.
+      return SourceAccess::getStaticAccess();
+
     default:
       llvm_unreachable("Expecting an inout argument.");
     }

test/SILOptimizer/access_enforcement_selection.sil

@@ -220,3 +220,11 @@ sil @borrowClosure : $@convention(thin) () -> () {
   %empty = tuple ()
   return %empty : $()
 }
+
+sil @dontAssert : $@convention(thin) (Builtin.Int64) -> (@out Builtin.Int64) {
+bb0(%0 : @trivial $*Builtin.Int64, %1 : @trivial $Builtin.Int64):
+  store %1 to [trivial] %0 : $*Builtin.Int64
+  %f = function_ref @closureCapturingByStorageAddress : $@convention(thin) (@inout_aliasable Builtin.Int64) -> ()
+  %closure = partial_apply %f(%0) : $@convention(thin) (@inout_aliasable Builtin.Int64) -> ()
+  unreachable
+}