HomePhabricator

[deref] Handle byval/byref/sret/inalloc/preallocated arguments for deref-at…

Authored by reames on Thu, Mar 25, 2:47 PM.

Description

[deref] Handle byval/byref/sret/inalloc/preallocated arguments for deref-at-point semantics

All of these are scoped allocations which remain dereferenceable during the lifetime of the callee.

Differential Revision: https://reviews.llvm.org/D99310