Andrew Trick a8caedfbec LifetimeDependenceInsertion: fix dependence on store_borrow. ...

For a lifetime dependent call that depends on a temporary store_borrow, the
generated mark_dependendence should be on the stored value, not the stack
location.

  %temp = alloc_stack $AnyObject
  %sb = store_borrow %arg to %temp
  apply %10(%out, %sb)
  mark_dependence [unresolved] %out on %arg
  end_borrow %sb

Fixes rdar://142847915 (Crash during lifetime checking while
building new swift standard library `Span`-related features)

2025-01-14 00:11:17 -08:00

22 KiB

Raw Permalink Blame History

View Raw