Merge pull request swiftlang#30392 from gottesmm/pr-03e3d52c4db923b12298a536cc10b52fd26d7f88

[ownership] Add an interior_pointer test that validates we get the error msg we expect for ref_elt_addr, ref_tail_addr.

Author: gottesmm

test/SIL/ownership-verifier/interior_pointer.sil

@@ -0,0 +1,42 @@
+// RUN: %target-sil-opt -sil-ownership-verifier-enable-testing -enable-sil-verify-all=0 %s -o /dev/null 2>&1 | %FileCheck %s
+// REQUIRES: asserts
+
+sil_stage canonical
+
+class Klass {}
+
+class KlassUser {
+  var field: Klass
+}
+
+// CHECK-LABEL: Function: 'simple_error_ref_element_addr'
+// CHECK-NEXT: Found use after free?!
+// CHECK-NEXT: Value:   %1 = begin_borrow %0 : $KlassUser               // users: %3, %2
+// CHECK-NEXT: Consuming User:   end_borrow %1 : $KlassUser                      // id: %3
+// CHECK-NEXT: Non Consuming User:   %5 = load [copy] %2 : $*Klass                   // user: %6
+// CHECK-NEXT: Block: bb0
+sil [ossa] @simple_error_ref_element_addr : $@convention(thin) (@owned KlassUser) -> @owned Klass {
+bb0(%0 : @owned $KlassUser):
+  %1 = begin_borrow %0 : $KlassUser
+  %2 = ref_element_addr %1 : $KlassUser, #KlassUser.field
+  end_borrow %1 : $KlassUser
+  destroy_value %0 : $KlassUser
+  %3 = load [copy] %2 : $*Klass
+  return %3 : $Klass
+}
+
+// CHECK-LABEL: Function: 'simple_error_ref_tail_addr'
+// CHECK-NEXT: Found use after free?!
+// CHECK-NEXT: Value:   %1 = begin_borrow %0 : $KlassUser               // users: %3, %2
+// CHECK-NEXT: Consuming User:   end_borrow %1 : $KlassUser                      // id: %3
+// CHECK-NEXT: Non Consuming User:   %5 = load [copy] %2 : $*Klass                   // user: %6
+// CHECK-NEXT: Block: bb0
+sil [ossa] @simple_error_ref_tail_addr : $@convention(thin) (@owned KlassUser) -> @owned Klass {
+bb0(%0 : @owned $KlassUser):
+  %1 = begin_borrow %0 : $KlassUser
+  %2 = ref_tail_addr %1 : $KlassUser, $Klass
+  end_borrow %1 : $KlassUser
+  destroy_value %0 : $KlassUser
+  %3 = load [copy] %2 : $*Klass
+  return %3 : $Klass
+}