[llvm] [TailCallElim] Add flow-sensitivity to alloca escape analysis (PR #176825)

[Federico Bruzzone via llvm-commits]

FedericoBruzzone wrote:

> The `readonly nocapture` only makes a statement about `%holder`, it makes no statement about how that `%data` stored in it can be used

Okay, I wasn't aware of that semantic aspect. I would say that the PR can be closed without any problems.
Thanks anyway.

https://github.com/llvm/llvm-project/pull/176825