[PATCH] D135783: [FunctionAttrs] Account for memory effects of inalloca/preallocated

[Reid Kleckner via Phabricator via llvm-commits]

rnk accepted this revision.
rnk added a subscriber: akhuang.
rnk added a comment.
This revision is now accepted and ready to land.

Inalloca (& preallcoated) effectively allows the caller to take the address of the argument stack memory used for the call. The call effectively **deallocates** the argument memory, since it can immediately be reused by the next call, so it should be modeled like `free`.

+ at akhuang because we were just discussing documentation of this feature


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D135783/new/

https://reviews.llvm.org/D135783