@inline(never)
func foo(_ t: UnsafeRawPointer) -> Int {
    return t.assumingMemoryBound(to: Int.self).pointee
}

@inline(never)
func test() {
    foo(UnsafeRawPointer(Array(repeating: 1, count: 1_000_000)))
}

test()

// test()
sil hidden [noinline] @$s4bug24testyyF : $@convention(thin) () -> () {
bb0:
  %0 = integer_literal $Builtin.Int64, 1          // users: %29, %3
  %1 = integer_literal $Builtin.Int64, 1000000    // users: %33, %2
  %2 = struct $Int (%1 : $Builtin.Int64)          // users: %14, %7
  %3 = struct $Int (%0 : $Builtin.Int64)          // user: %32
  %4 = integer_literal $Builtin.Int64, 0          // user: %19
  %5 = metatype $@thin Array<Int>.Type            // user: %7
  // function_ref static Array._allocateBufferUninitialized(minimumCapacity:)
  %6 = function_ref @$sSa28_allocateBufferUninitialized15minimumCapacitys06_ArrayB0VyxGSi_tFZ : $@convention(method) <τ_0_0> (Int, @thin Array<τ_0_0>.Type) -> @owned _ArrayBuffer<τ_0_0> // user: %7
  %7 = apply %6<Int>(%2, %5) : $@convention(method) <τ_0_0> (Int, @thin Array<τ_0_0>.Type) -> @owned _ArrayBuffer<τ_0_0> // users: %22, %8
  %8 = struct_extract %7 : $_ArrayBuffer<Int>, #_ArrayBuffer._storage // user: %9
  %9 = struct_extract %8 : $_BridgeStorage<__ContiguousArrayStorageBase>, #_BridgeStorage.rawValue // user: %10
  %10 = unchecked_ref_cast %9 : $Builtin.BridgeObject to $__ContiguousArrayStorageBase // users: %21, %15, %11
  %11 = ref_element_addr %10 : $__ContiguousArrayStorageBase, #__ContiguousArrayStorageBase.countAndCapacity // user: %12
  %12 = struct_element_addr %11 : $*_ArrayBody, #_ArrayBody._storage // user: %13
  %13 = struct_element_addr %12 : $*_SwiftArrayBodyStorage, #_SwiftArrayBodyStorage.count // user: %14
  store %2 to %13 : $*Int                         // id: %14
  %15 = ref_tail_addr %10 : $__ContiguousArrayStorageBase, $Int // user: %16
  %16 = address_to_pointer %15 : $*Int to $Builtin.RawPointer // users: %20, %19
  %17 = integer_literal $Builtin.Int1, -1         // user: %29
  %18 = integer_literal $Builtin.Word, 1          // user: %35
  br bb2(%16 : $Builtin.RawPointer, %4 : $Builtin.Int64) // id: %19

bb1:                                              // Preds: bb2
  %20 = struct $UnsafeRawPointer (%16 : $Builtin.RawPointer) // user: %21
  %21 = mark_dependence %20 : $UnsafeRawPointer on %10 : $__ContiguousArrayStorageBase // user: %24
  release_value %7 : $_ArrayBuffer<Int>           // id: %22
  // function_ref foo(_:)
  %23 = function_ref @$s4bug23fooySiSVF : $@convention(thin) (UnsafeRawPointer) -> Int // user: %24
  %24 = apply %23(%21) : $@convention(thin) (UnsafeRawPointer) -> Int
  %25 = tuple ()                                  // user: %26
  return %25 : $()                                // id: %26

// %27                                            // user: %31
// %28                                            // user: %29
bb2(%27 : $Builtin.RawPointer, %28 : $Builtin.Int64): // Preds: bb3 bb0
  %29 = builtin "sadd_with_overflow_Int64"(%28 : $Builtin.Int64, %0 : $Builtin.Int64, %17 : $Builtin.Int1) : $(Builtin.Int64, Builtin.Int1) // user: %30
  %30 = tuple_extract %29 : $(Builtin.Int64, Builtin.Int1), 0 // users: %37, %33
  %31 = pointer_to_address %27 : $Builtin.RawPointer to [strict] $*Int // users: %35, %32
  store %3 to %31 : $*Int                         // id: %32
  %33 = builtin "cmp_eq_Int64"(%30 : $Builtin.Int64, %1 : $Builtin.Int64) : $Builtin.Int1 // user: %34
  cond_br %33, bb1, bb3                           // id: %34

bb3:                                              // Preds: bb2
  %35 = index_addr %31 : $*Int, %18 : $Builtin.Word // user: %36
  %36 = address_to_pointer %35 : $*Int to $Builtin.RawPointer // user: %37
  br bb2(%36 : $Builtin.RawPointer, %30 : $Builtin.Int64) // id: %37
} // end sil function '$s4bug24testyyF'