[llvm] [InstCombine] Read-only call without return can capture (PR #157878)

[Tomasz Miąsko via llvm-commits]

tmiasko wrote:

> we can still infer nocapture if the callee has willreturn + nounwind

That would be insufficient still, since a callee can exhibit undefined behavior conditionally based on captured address. A counter example from a similar issue https://github.com/llvm/llvm-project/issues/129090#issuecomment-2692183437.


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