[PATCH] D149668: [ShrinkWrap] Use underlying object to rule out stack access.

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

So the idea here is that things that are allocated before entry to the function can't point into the stack of the current function? The basic idea makes sense.

I'm a little concerned about the interaction with byval/preallocated/inalloca arguments, which are, depending on the calling convention, arguably part of the current function's stack. Any thoughts there?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D149668